Searching...
Advanced Search
Publication
1994
Issue No. 12 - December
This Publication
Digital Library
Advanced Search
This Publication
Subscribe to this Publication
Login to access your subscribed content
RSS feed for this Publication
Bibliographic References
ASCII Text
BibTex
Refworks Procite/RefMan
IEEE Transactions on Software Engineering
December 1994 (vol. 20 no. 12)
ISSN: 0098-5589
Table of Contents
PAPERS
Automatic Generation of Path Covers Based on the Control Flow Analysis of Computer Programs
(Abstract)
A. Bertolino
M. Marre
pp. 885-899
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Observer-A Concept for Formal On-Line Validation of Distributed Systems
(Abstract)
M. Diaz
G. Juanole
J.-P. Courtiat
pp. 900-913
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
A Decompositional Approach to the Design of Parallel Programs
(Abstract)
Ying Liu
A.K. Singh
R.L. Bagrodia
pp. 914-932
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Modechart: A Specification Language for Real-Time Systems
(Abstract)
F. Jahanian
A.K. Mok
pp. 933-947
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Precise Documentation of Well-Structured Programs
(Abstract)
D. Lorge Parnas
J. Madey
M. Iglewski
pp. 948-976
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
CONCISE PAPERS
On the Relationship Between Partition and Random Testing
(Abstract)
T.Y. Chen
Y.T. Yu
pp. 977-980
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
1994 INDEX
1994 Index
(Abstract)
pp. 981-988
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
Peer Review Notice
|
Give Us Feedback
Usage of this product signifies your acceptance of the
Terms of Use
.
Open
Download
