Searching...
Advanced Search
Publication
1997
Issue No. 5 - May
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
May 1997 (vol. 23 no. 5)
ISSN: 0098-5589
Table of Contents
Guest Editorial
Introduction to the Special Issue
(Abstract)
pp. 265-266
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
SPECIAL ISSUE
Formal Requirements Analysis of an Avionics Control System
(Abstract)
Bruno Dutertre
Victoria Stavridou
pp. 267-278
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
The Model Checker SPIN
(Abstract)
Gerard J. Holzmann
pp. 279-295
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
EVA: A Flexible Programming Method for Evolving Systems
(Abstract)
Saeko Matsuura
Hironobu Kuruma
Shinichi Honiden
pp. 296-313
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Dynamic Verification of C++ Generic Algorithms
(Abstract)
Changqing Wang
David R. Musser
pp. 314-323
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
