Formal Methods in Software Development

Keyphrases

Publications

1990

Conference proceedings on Formal methods in software development, Napa, California, USA, May 9-11, 1990 Formal Methods in Software Development (1990)
Colin Runciman, Mike Firth
Formalised development of software by machine assisted transformation. Formal Methods in Software Development (1990)
Anthony Chung, Deepinder P. Sidhu
Experience with an Estelle development system. Formal Methods in Software Development (1990)
K. T. Narayana, Sanjeev Dharap
Invariant properties in a dialog system. Formal Methods in Software Development (1990)
Richard Platek
Formal methods in mathematics. Formal Methods in Software Development (1990)
Paul Eggert
Toward special-purpose program verification. Formal Methods in Software Development (1990)
William D. Young
Verified program support environments. Formal Methods in Software Development (1990)
Jeannette M. Wing, Chun Gong
Experience with the Larch Prover. Formal Methods in Software Development (1990)
Jonathan Jacky
Formal specification for a clinical cyclotron control system. Formal Methods in Software Development (1990)
Robert L. Nord, Peter Lee, William L. Scherlis
Formal manipulation of modular software systems. Formal Methods in Software Development (1990)
David S. Wile
Adding relational abstraction to programming languages. Formal Methods in Software Development (1990)
Linda Ness
L.0: a parallel executable temporal logic language. Formal Methods in Software Development (1990)
Luigi Logrippo, Tim Melanchuk, Robert J. Du Wors
The algebraic specification language LOTOS: an industrial experience. Formal Methods in Software Development (1990)
William G. Wood
Application of formal methods to system and software specification. Formal Methods in Software Development (1990)
David Garlan
The role of formal reusable frameworks. Formal Methods in Software Development (1990)
Uday S. Reddy
Formal methods in transformational derivation of programs. Formal Methods in Software Development (1990)
Tommaso Bolognesi
On the soundness of graphical representations of interconnected processes in LOTOS. Formal Methods in Software Development (1990)
Yves Ledru, Pierre-Yves Schobbens
Applying VDM to large developments. Formal Methods in Software Development (1990)
Hans Toetenel, Jan van Katwijk, Nico Plat
Structured analysis - formal design, using stream and object oriented formal specifications. Formal Methods in Software Development (1990)
Richard A. Frost
Constructing programs in a calculus of lazy interpreters. Formal Methods in Software Development (1990)
Jozef De Man
Making languages more powerful by removing limitations. Formal Methods in Software Development (1990)