default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFormal Methods in Software Development 1990: Napa, CA, USA
- Mark Moriconi:
Conference proceedings on Formal methods in software development, Napa, California, USA, May 9-11, 1990. ACM 1990 - Tommaso Bolognesi:
On the soundness of graphical representations of interconnected processes in LOTOS. 1-7 - Anthony Chung, Deepinder P. Sidhu:
Experience with an Estelle development system. 8-17 - Jozef De Man:
Making languages more powerful by removing limitations. 18-24 - Paul Eggert:
Toward special-purpose program verification. 25-29 - Richard A. Frost:
Constructing programs in a calculus of lazy interpreters. 30-41 - David Garlan:
The role of formal reusable frameworks. 42-44 - Jonathan Jacky:
Formal specification for a clinical cyclotron control system. 45-54 - Yves Ledru, Pierre-Yves Schobbens
:
Applying VDM to large developments. 55-58 - Luigi Logrippo, Tim Melanchuk, Robert J. Du Wors:
The algebraic specification language LOTOS: an industrial experience. 59-66 - K. T. Narayana, Sanjeev Dharap:
Invariant properties in a dialog system. 67-79 - Linda Ness:
L.0: a parallel executable temporal logic language. 80-89 - Robert L. Nord, Peter Lee, William L. Scherlis:
Formal manipulation of modular software systems. 90-99 - Richard Platek:
Formal methods in mathematics. 100-103 - Uday S. Reddy:
Formal methods in transformational derivation of programs. 104-114 - Colin Runciman, Mike Firth:
Formalised development of software by machine assisted transformation. 115-117 - Hans Toetenel, Jan van Katwijk, Nico Plat:
Structured analysis - formal design, using stream and object oriented formal specifications. 118-127 - David S. Wile:
Adding relational abstraction to programming languages. 128-139 - Jeannette M. Wing, Chun Gong:
Experience with the Larch Prover. 140-143 - William G. Wood:
Application of formal methods to system and software specification. 144-146 - William D. Young:
Verified program support environments. 147-149
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-12 01:08 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
