Volume 9,
Number 1,
February 1999
Special Issue:
Migration Strategies for Legacy Systems
Regular Paper
Volume 9,
Number 2,
April 1999
Special Issue:
High Assurance Systems
- Carol L. Hoover, Pradeep K. Khosla:
Analytical Partition of Software Components for Evolvable and Reliable MEMS Design Tools.
153-172
Electronic Edition (link) BibTeX
- Jun Xu, Mukesh Singhal:
A Firewalling Scheme for Securing MPOA-Based Enterprise Networks.
173-180
Electronic Edition (link) BibTeX
- I-Ling Yen, Iftikhar Ahmed, Ramanujam Jagannath, Sreeparna Kundu:
The Design and Implementation of a Customizable Fault Tolerance Framework.
181-202
Electronic Edition (link) BibTeX
- Avinash Sahay, Jeffrey J. P. Tsai, A. Prasad Sistla:
An Incremental Verification Algorithm for Real-Time Systems.
203-216
Electronic Edition (link) BibTeX
- Taghi M. Khoshgoftaar, Edward B. Allen, Archana Naik, Wendell D. Jones, John P. Hudepohl:
Using Classification Trees for Software Quality Models: Lessons Learned.
217-232
Electronic Edition (link) BibTeX
- Stephen J. H. Yang, William C. Chu, Jonathan Lee:
Specifying and Verifying Temporal Behavior of High Assurance Systems Using Reachability Tree Logic.
233-250
Electronic Edition (link) BibTeX
- K. H. Kim:
Real-Time Object-Oriented Distributed Software Engineering and the TMO Scheme.
251-
Electronic Edition (link) BibTeX
Volume 9,
Number 3,
June 1999
Special Issue:
Software/Knowledge Sharing and Reuse via Networks
Volume 9,
Number 4,
August 1999
Volume 9,
Number 5,
October 1999
Special Issue:
Knowledge Discovery from Empirical Software Engineering Data
Regular Papers
Volume 9,
Number 6,
December 1999
Special Issue:
Multimedia Software Engineering
Copyright © Sun May 17 00:03:12 2009
by Michael Ley (ley@uni-trier.de)
