3. IWFM 1999:
Galway,
Ireland
Andrew Butterfield, Klemens Haegele (Eds.):
3rd Irish Workshop on Formal Methods, Galway, Eire, July 1999.
Workshops in Computing BCS 1999 
Online Edition
- Juan Bicarregui, Brian Matthews:
Proof and Refutation in Formal Software Development.
- Mark Bickford, Jason Hickey:
Predicate Transformers for Infinite-State Automata in NuPRL Type Theory.
- Jeremy Bryans, John Derrick:
Stochastic Specification and Verification.
- Georg Droschl:
On the Integration of Formal Methods: Events and Scenarios in PVS and VDM.
- William M. Farmer:
A Scheme for Defining Partial Higher-Order Functions by Recursion.
- David Gray, Geoff Hamilton, David Sinclair, J. Paul Gibson, James F. Power:
Four Logics and a Protocol.
- Pascal Hitzler, Anthony Karel Seda:
Multivalued Mappings, Fixed-Point Theorems and Disjunctive Databases.
- Helen Lowe, John Lowe:
The Role of Proof in a Formal Specification of the Speedway Rulebook.
- Henry McLoughlin, Kevin Hely:
Some optimisation problems revisited.
- Christophe Meudec:
Tests Derivation from Model Based Formal Specifications.
- J. F. Miller:
Teaching and Learning Formal Methods, Improving Productivity.
- Claus Pahl:
Modular Composition of Language Features through Extensions of Semantic Language Models.
- Vanderlei Moraes Rodrigues, Flávio Rech Wagner:
A Logic to Specify and Verify Synchronous Transitions.
- Michel P. Schellekens:
Valuations revisited.
- J. Artur Serrano:
Formal Specifications of Software Design Methods.
Copyright © Tue Nov 17 00:51:01 2009
by Michael Ley (ley@uni-trier.de)
