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.