Searching...
Advanced Search
Publication
1995
Issue No. 2 - February
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
February 1995 (vol. 21 no. 2)
ISSN: 0098-5589
Table of Contents
Guest Editorial
Guest Editorial: Introduction to Special Section
(Abstract)
pp. 61-62
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
Best Papers of FME (Formal Methods Europe) '93
Specification and Validation of a Security Policy Model
(Abstract)
Anthony Boswell
pp. 63-68
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Model Checking in Practice: The T9000 Virtual Channel Processor
(Abstract)
Geoff Barrett
pp. 69-78
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Invariants, Frames and Postconditions: A Comparison of the VDM and B Notations
(Abstract)
Juan Bicarregui
Brian Ritchie
pp. 79-89
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Formal Methods Reality Check: Industrial Usage
(Abstract)
Dan Craigen
Susan Gerhart
Ted Ralston
pp. 90-98
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Specifying a Safety-Critical Control System in Z
(Abstract)
Jonathan Jacky
pp. 99-106
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Formal Verification for Fault-Tolerant Architectures: Prolegomena to the Design of PVS
(Abstract)
Sam Owre
John Rushby
Natarajan Shankar
Friedrich von Henke
pp. 107-125
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Papers
Machine Learning Approaches to Estimating Software Development Effort
(Abstract)
Krishnamoorthy Srinivasan
Douglas Fisher
pp. 126-137
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Literate Smalltalk Programming Using Hypertext
(Abstract)
Kasper Østerbye
pp. 138-145
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
A Model for Software Product Quality
(Abstract)
R. Geoff Dromey
pp. 146-162
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Testing and Debugging Distributed Programs Using Global Predicates
(Abstract)
S. Venkatesan
Brahma Dathan
pp. 163-177
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
1994 Reviewers List
1994 Reviewers List
(Abstract)
pp. 178-180
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
Print and Online Advertising Opportunities
