2nd Irish Workshop on Formal Methods, Cork, Eire, 2-3 July 1998 - researchr publication

researchr

You are not signed in
Sign in
Sign up

Sharon Flynn, Andrew Butterfield, editors, 2nd Irish Workshop on Formal Methods, Cork, Eire, 2-3 July 1998. Workshops in Computing, BCS, 1998.

Conference: iwfm1998

Abstract is missing.

Translating Structured Database Schemas into Abstract MachinesBrian Matthews, Elvira Locuratolo.

Declarative View of Imperative ProgramsHugh Gibbons.

Facilitating Modular Property-Preserving Extensions of Programming LanguagesClaus Pahl.

Formal Engineering of the Bitonic Sort using PVSRaphaël Couturier.

Teaching Formal Methods: Lessons to LearnJ. Paul Gibson, Dominique Méry.

Towards an Override in TopoiArthur P. Hughes.

Mathematics for Formal Methods, a Proposal for Education ReformMícheál Mac an Airchinnigh.

Strictly Level-Decreasing Logic ProgramsAnthony Karel Seda, Pascal Hitzler.

A Use Case Interpretation of B AMNRichard Shore.

Applications of the TAMPR Transformation SystemTerence J. Harmer, Patrick J. McParland, James M. Boyle.

Motivation for a New Semantics for VaguenessMark Changizi.

A Case Study on Proving Transformations Correct: Data-Parallel ConversionStephen Kilpatrick, Maurice Clint, Peter Kilpatrick. [doi]

An Unbounded Nondeterministic Model for CSP-like LanguagesLuming Lai.

runs on WebDSL