3. FASE 2000:
Berlin,
Germany (Part of ETAPS 2000)
T. S. E. Maibaum (Ed.):
Fundamental Approaches to Software Engineering, Third Internationsl Conference, FASE 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings.
Lecture Notes in Computer Science 1783 Springer 2000, ISBN 3-540-67261-3 BibTeX
@proceedings{DBLP:conf/fase/2000,
editor = {T. S. E. Maibaum},
title = {Fundamental Approaches to Software Engineering, Third Internationsl
Conference, FASE 2000, Held as Part of the European Joint Conferences
on the Theory and Practice of Software, ETAPS 2000, Berlin, Germany,
March 25 - April 2, 2000, Proceedings},
booktitle = {FASE},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {1783},
year = {2000},
isbn = {3-540-67261-3},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Invited Papers
Real-Time Systems
Formally Engineering Systems
Software Engineering
Object Orientation
Formallz Engineering Systems
Theory and Applications
Case Studies
Demonstrations
- Michael Balser, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel, Andreas Thums:
Formal System Development with KIV.
363-366
Electronic Edition (Springer LINK) BibTeX
- Christoph Lüth, Burkhart Wolff:
More About TAS and IsaWin - Tools for Formal Program Development.
367-370
Electronic Edition (Springer LINK) BibTeX
- Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada:
Using Maude.
371-374
Electronic Edition (Springer LINK) BibTeX
Copyright © Sat May 16 23:11:47 2009
by Michael Ley (ley@uni-trier.de)