4. FASE 2001:
Genova,
Italy (Part of ETAPS 2001)
Heinrich Hußmann (Ed.):
Fundamental Approaches to Software Engineering, 4th International Conference, FASE 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings.
Lecture Notes in Computer Science 2029 Springer 2001, ISBN 3-540-41863-6 BibTeX
@proceedings{DBLP:conf/fase/2001,
editor = {Heinrich Hu{\ss}mann},
title = {Fundamental Approaches to Software Engineering, 4th International
Conference, FASE 2001 Held as Part of the Joint European Conferences
on Theory and Practice of Software, ETAPS 2001 Genova, Italy,
April 2-6, 2001, Proceedings},
booktitle = {FASE},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {2029},
year = {2001},
isbn = {3-540-41863-6},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Invited Paper
Metamodelling
Distributed Components
UML
Testing
- Ralf Lämmel:
Grammar Testing.
201-216
Electronic Edition (Springer LINK) BibTeX
- Alexey Loginov, Suan Hsi Yong, Susan Horwitz, Thomas W. Reps:
Debugging via Run-Time Type Checking.
217-232
Electronic Edition (Springer LINK) BibTeX
- Oliver Niese, Bernhard Steffen, Tiziana Margaria, Andreas Hagerer, Georg Brune, Hans-Dieter Ide:
Library-Based Design and Consistency Checking of System-Level Industrial Test Cases.
233-248
Electronic Edition (Springer LINK) BibTeX
- Oliver Niese, Markus Nagelmann, Andreas Hagerer, Klaus Kolodziejczyk-Strunck, Werner Goerigk, Andrei Erochok, Bernhard Hammelmann:
Demonstration of an Automated Integrated Testing Environment for CTI Systems.
249-252
Electronic Edition (Springer LINK) BibTeX
Formal Methods
Case Studies
Copyright © Sat May 16 23:11:47 2009
by Michael Ley (ley@uni-trier.de)