Volume 6,
Number 1/2,
March 1996
- Xiangyang Li, Mohammad A. Ketabchi:
A Model-Based Computer-Aided Prototyping System.
19-39 BibTeX
- Luqi, Man-tak Shing:
Real-Time Scheduling for Software Prototyping.
41-72 BibTeX
- Aloysius K. Mok, Rwo-Hsi Wang, Chih-Kan Wang:
Realizing EQL Programs for Bounded-Time Execution.
73-92 BibTeX
- Joseph A. Goguen, Doan Nguyen, José Meseguer, Luqi, Du Zhang, Valdis Berzins:
Software Component Search.
93-134 BibTeX
- Valdis Berzins, David A. Dampier:
Software Merge: Combining Changes to Decompositions.
135-150 BibTeX
Volume 6,
Number 3,
August 1996
Volume 6,
Number 4,
November 1996
Copyright © Sun May 17 00:11:33 2009
by Michael Ley (ley@uni-trier.de)