FM 1999:
Toulouse,
France,
Volume 2
Jeannette M. Wing, Jim Woodcock, Jim Davies (Eds.):
FM'99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume II.
Lecture Notes in Computer Science 1709 Springer 1999, ISBN 3-540-66588-9 BibTeX
@proceedings{DBLP:conf/fm/1999-2,
editor = {Jeannette M. Wing and
Jim Woodcock and
Jim Davies},
title = {FM'99 - Formal Methods, World Congress on Formal Methods in the
Development of Computing Systems, Toulouse, France, September
20-24, 1999, Proceedings, Volume II},
booktitle = {World Congress on Formal Methods},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {1709},
year = {1999},
isbn = {3-540-66588-9},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Foundations of System Specification (IFIP WG 1.3)
European Theory and Practice of Software (ETAPS)
Program Verification
Integration of Notation and Techniques
Formal Description of Programming Concepts (IFIP WG 2.2)
Open Information Systems
Co-design
Refinement
Safety
- Michel R. V. Chaudron, Jan Tretmans, Klaas Wijbrans:
Lessons from the Application of Formal Methods to the Design of a Storm Surge Barrier Control System.
1511-1526
Electronic Edition (Springer LINK) BibTeX
- Steve King, Jonathan Hammond, Roderick Chapman, Andy Pryor:
The Value of Verification: Positive Experience of Industrial Proof.
1527-1545
Electronic Edition (Springer LINK) BibTeX
- Anne Elisabeth Haxthausen, Jan Peleska:
Formal Development and Verification of a Distributed Railway Control System.
1546-1563
Electronic Edition (Springer LINK) BibTeX
- Kaisa Sere, Elena Troubitsyna:
Safety Analysis in Formal Specification.
1564-1583
Electronic Edition (Springer LINK) BibTeX
- Alessandro Cimatti, P. L. Pieraccini, Roberto Sebastiani, Paolo Traverso, Adolfo Villafiorita:
Formal Specification and Validation of a Vital Communication Protocol.
1584-1604
Electronic Edition (Springer LINK) BibTeX
- Hervé Marchand, Mazen Samaan:
Incremental Design of a Power Transformer Station Controller Using a Controller Synthesis Methodology.
1605-1624
Electronic Edition (Springer LINK) BibTeX
OBJ/Cafe OBJ/Maude
Abstract State Machines (ASM) and Algebraic Methods in Software Technology (AMAST)
Avionics
- Famantanantsoa Randimbivololona, Jean Souyris, Patrick Baudin, Anne Pacalet, Jacques Raguideau, Dominique Schoen:
Applying Formal Proof Techniques to Avionics Software: A Pragmatic Approach.
1798-1815
Electronic Edition (Springer LINK) BibTeX
- P. Garbett, J. P. Parkes, M. Shackleton, S. Anderson:
Secure Synthesis of Code: A Process Improvement Experiment.
1816-1835
Electronic Edition (Springer LINK) BibTeX
- Olivier Hainque, Laurent Pautet, Yann Le Biannic, Eric Nassor:
Cronos: A Separate Compilation Toolset for Modular Esterel Applications.
1836-1853
Electronic Edition (Springer LINK) BibTeX
Works-in-Progress
- John C. Knight, P. Thomas Fletcher, Brian R. Hicks:
Tool Support for Production Use of Formal Techniques.
1854
Electronic Edition (Springer LINK) BibTeX
- Jin Song Dong, Brendan P. Mahony, Neale Fulton:
Modeling Aircraft Mission Computer Task Rates.
1855
Electronic Edition (Springer LINK) BibTeX
- Henri Habrias, Pascal Poizat, Jean-Yves Lafaye:
A Study of Collaborative Work: Answers to a Test on Formal Specification in B.
1856-1857
Electronic Edition (Springer LINK) BibTeX
- Pertti Kellomäki, Tommi Mikkonen:
Archived Design Steps in Temporal Logic.
1858
Electronic Edition (Springer LINK) BibTeX
- Michel Levy, Laurent Trilling:
A PVS-Based Approach for Teaching Constructing Correct Iterations.
1859-1860
Electronic Edition (Springer LINK) BibTeX
- Bernd Baumgarten:
A Minimal Framework for Specification Theory.
1861
Electronic Edition (Springer LINK) BibTeX
- Ian MacColl, David A. Carrington:
A Model of Specification-Based Testing of Interactive Systems.
1862
Electronic Edition (Springer LINK) BibTeX
- Radu Ocica, Dan Ionescu:
Algebraic Aspects of the Mapping between Abstract Syntax Notation One and CORBA IDL.
1863
Electronic Edition (Springer LINK) BibTeX
- Richard Banach, Michael Poppleton:
Retrenchment.
1864-1865
Electronic Edition (Springer LINK) BibTeX
- Anamaria Martins Moreira:
Proof Preservation in Component Generalization.
1866
Electronic Edition (Springer LINK) BibTeX
Industrial Experience
Copyright © Sat May 16 23:12:15 2009
by Michael Ley (ley@uni-trier.de)
