Searching...
Advanced Search
Publication
1998
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 1998 (vol. 24 no. 9)
ISSN: 0098-5589
Table of Contents
SPECIAL SECTION
Guest Editorial: Introduction to the Special Section
(Abstract)
pp. 681
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
A C++ Data Model Supporting Reachability Analysis and Dead Code Detection
(Abstract)
Yih-Farn Chen
Emden R. Gansner
Eleftherios Koutsofios
pp. 682-694
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Integration of Sequential Scenarios
(Abstract)
Jules Desharnais
Marc Frappier
Ridha Khédri
Ali Mili
pp. 695-708
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Subtypes for Specifications: Predicate Subtyping in PVS
(Abstract)
John Rushby
Sam Owre
Natarajan Shankar
pp. 709-720
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
REGULAR PAPERS
An Extensible System for Source Code Analysis
(Abstract)
Gerardo Canfora
Aniello Cimitile
Ugo De Carlini
Andrea De Lucia
pp. 721-740
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Verifying Authentication Protocols in CSP
(Abstract)
Steve Schneider
pp. 741-758
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Engineering Software Design Processes to Guide Process Execution
(Abstract)
Xiping Song
Leon J. Osterweil
pp. 759-775
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
