Searching...
Advanced Search
Publication
1997
Issue No. 9 - September
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
September 1997 (vol. 23 no. 9)
ISSN: 0098-5589
Table of Contents
REGULAR PAPERS
An Empirical Study of Software Reuse with Special Attention to Ada
(Abstract)
Nam-Yong Lee
Charles R. Litecky
pp. 537-549
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
The Compositional Security Checker: A Tool for the Verification of Information Flow Security Properties
(Abstract)
Riccardo Focardi
Roberto Gorrieri
pp. 550-571
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Specification of Realtime Systems Using ASTRAL
(Abstract)
Alberto Coen-Porisini
Carlo Ghezzi
Richard A. Kemmerer
pp. 572-598
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
CORRESPONDENCE
Comment on "A Pre-Run-Time Scheduling Algorithm for Hard Real-Time Systems"
(Abstract)
Tarek F. Abdelzaher
Kang G. Shin
pp. 599-600
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
