default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFormal Methods in Systems Engineering, 1993
- Peter Ryan, Chris T. Sennett:
Formal Methods in Systems Engineering. Springer 1993, ISBN 978-3-540-19751-5 - Joseph A. Goguen:
Introduction. 1-10 - Margaret Tierney:
Formal Methods of Software Development : Painted into the Corner of High-Integrity Computing? 11-22 - Donald MacKenzie:
The Social Negotiation of Proof: An Analysis and a further Prediction. 23-31 - Jean-Raymond Abrial:
On constructing large software systems. 32-40 - Pamela Zave, Michael Jackson:
Composition of Descriptions : A Progress Report. 41-50 - Anthony Hall:
Integrating Methods in Practice. 51-59 - John Wordsworth:
Formal methods and product documentation. 60-70 - Victor R. Basili:
Software Quality : A Modelling and Measurement View. 71-80 - Dan Craigen:
Modelling Working Group Summary. 81-87 - Richard A. Kemmerer:
Quality Assurance Working Group. 88-91 - Chris T. Sennett:
Design Methods Working Group. 92-99 - Peter Ryan, Chris T. Sennett:
Conclusions. 100
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 2024-10-04 20:00 CEST 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:
