Searching...
Advanced Search
Publication
1992
Issue No. 8 - August
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/EndNote
IEEE Transactions on Software Engineering
August 1992 (vol. 18 no. 8)
ISSN: 0098-5589
Table of Contents
PAPERS
Working with Persistent Objects: To Swizzle or Not to Swizzle
(Abstract)
J.E.B. Moss
pp. 657-673
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Fundamentals of Deductive Program Synthesis
(Abstract)
Z. Manna
R. Waldinger
pp. 674-704
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Querying of Executable Software Specifications
(Abstract)
G. Nota
G. Pacini
pp. 705-716
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
PIE: A Dynamic Failure-Based Technique
(Abstract)
J.M. Voas
pp. 717-727
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Computer Aided Analysis and Derivation for Artificial Neural Systems
(Abstract)
D. Wang
B. Schurmann
pp. 728-735
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Dynamic Scheduling of Hard Real-Time Tasks and Real-Time Threads
(Abstract)
K. Schwan
H. Zhou
pp. 736-748
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Detecting Unsafe Error Recovery Schedules
(Abstract)
R.R. Lutz
J.S.K. Wong
pp. 749-760
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Peer Review Notice
|
Give Us Feedback
Usage of this product signifies your acceptance of the
Terms of Use
.
Open
Download
Print and Online Advertising Opportunities
