3rd Irish Workshop on Formal Methods - Index

Abstract

IWFM'99 is the Third International Workshop in Formal Methods. It follows in the series of workshops organised by the Irish Formal Methods Special Interest Group (IFMSIG) and previously known as the Irish Workshop in Formal Methods. This year it was held in Galway, Ireland on 1st - 2nd July, 1999.

The workshop has traditionally been an occasion for scholars and industry experts from Europe and further a field to share knowledge and develop ideas within the general scope of the workshop, which covers a wide range of topics related to formal methods and foundations of computing.

Main article text

Papers:

J.C. Bicarregui & B.M. Matthews Proof and Refutation in Formal Software Development http://dx.doi.org/10.14236/ewic/IWFM1999.1

M. Bickford & J. Hickey Predicate Transformers for Infinite-State Automata in NuPRL Type Theory http://dx.doi.org/10.14236/ewic/IWFM1999.2

J. Bryans & J. Derrick Stochastic Specification and Verification http://dx.doi.org/10.14236/ewic/IWFM1999.3

G. Droschl On the Integration of Formal Methods: Events and Scenarios in PVS and VDM http://dx.doi.org/10.14236/ewic/IWFM1999.4

W. M. Farmer A Scheme for Defining Partial Higher-Order Functions by Recursion http://dx.doi.org/10.14236/ewic/IWFM1999.5

D. Gray, G. Hamilton, D. Sinclair, P.Gibson & J. Power Four Logics and a Protocol http://dx.doi.org/10.14236/ewic/IWFM1999.6

D. Hamlet Checking Formal Specifications by Testing http://dx.doi.org/10.14236/ewic/IWFM1999.7

P. Hitzler & A.K. Seda Multivalued Mappings, Fixed-Point Theorems and Disjunctive Databases http://dx.doi.org/10.14236/ewic/IWFM1999.8

H. Lowe & J. Lowe The Role of Proof in a Formal Specification of the Speedway Rulebook http://dx.doi.org/10.14236/ewic/IWFM1999.9

H.B. McLoughlin & K. Hely Some Optimisation Problems Revisited http://dx.doi.org/10.14236/ewic/IWFM1999.10

C. Meudec Tests Derivation from Model Based Formal Specifications http://dx.doi.org/10.14236/ewic/IWFM1999.11

J.F. Miller Teaching and Learning Formal Methods, Improving Productivity http://dx.doi.org/10.14236/ewic/IWFM1999.12

C. Pahl Modular Composition of Language Features Through Extensions of Semantic Language Models http://dx.doi.org/10.14236/ewic/IWFM1999.13

V.M. Rodrigues & F.R. Wagner A Logic to Specify and Verify Synchronous Transitions http://dx.doi.org/10.14236/ewic/IWFM1999.14

M.P. Schellekens Valuations Revisited http://dx.doi.org/10.14236/ewic/IWFM1999.15

J.A. Serrano Formal Specifications of Software Design Methods http://dx.doi.org/10.14236/ewic/IWFM1999.16