Volume 10,
Number 1,
February 2000
Best Papers from SEKE'98
Volume 10,
Number 2,
April 2000
- K. Ganesan, Taghi M. Khoshgoftaar, Edward B. Allen:
Verifying Requirements Through Mathematical Modelling and Animation.
139-152 BibTeX
- Andrea De Lucia, Genoveffa Tortora, Maurizio Tucci:
Creating Tools in a Software Environment Based on Graph Rewriting Rules.
153-183 BibTeX
- Kai H. Chang, Shih-Sung Liao, Richard Chapman, Chun-Yu Chen:
Test Scenario Generation Based on Formal Specification and Usage Profile.
185-201 BibTeX
- Ji-Tzay Yang, Feng-Jian Wang, William C. Chu, Chung-Hua Hu:
Constructing Flow-Based Tools with Generative and Compositional Techniques.
203-226 BibTeX
- Csaba J. Egyhazy:
From Software Reuse to Database Reuse.
227-249 BibTeX
- Edmund Kazmierczak, Philip W. Dart, Leon Sterling, Michael Winikoff:
Verifying Requirements Through Mathematical Modelling and Animation.
251-273 BibTeX
Volume 10,
Number 3,
June 2000
Copyright © Sun May 17 00:03:12 2009
by Michael Ley (ley@uni-trier.de)