Searching...
Advanced Search
Publication
2000
Issue No. 7 - July
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
July 2000 (vol. 26 no. 7)
ISSN: 0098-5589
Table of Contents
Special Section on Formal Methods for Object Systems
Selected Papers from the Second IFIP Int'l Conference on Formal Methods for Open Object Based Distributed Systems, 1997
(Abstract)
Howard Bowman
John Derrick
Ed Brinksma
pp. 577-578
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Respectful Type Converters
(Abstract)
Jeannette M. Wing
John Ockerbloom
pp. 579-593
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Toward Constraint-Object-Oriented Development
(Abstract)
Tommaso Bolognesi
pp. 594-616
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
A Control-Flow Analysis for a Calculus of Concurrent Objects
(Abstract)
Paolo Di Blasio
Kathleen Fisher
Carolyn Talcott
pp. 617-634
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
A Formal Specification Framework for Object-Oriented Distributed Systems
(Abstract)
Didier Buchs
Nicolas Guelfi
pp. 635-652
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
REGULAR PAPERS
Predicting Fault Incidence Using Software Change History
(Abstract)
Todd L. Graves
Alan F. Karr
J.s. Marron
Harvey Siy
pp. 653-661
ABSTRACT
PDF
HTML
PURCHASE ARTICLE: $19
IEEE
Xplore
Subscribers
Supertotal Function Definition in Mathematics and Software Engineering
(Abstract)
Raymond Boute
pp. 662-672
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
