Formal Methods in Systems Engineering - researchr publication

researchr

You are not signed in
Sign in
Sign up

Peter Ryan, Chris T. Sennett, editors, Formal Methods in Systems Engineering. Springer, 1993. [doi]

Abstract is missing.

IntroductionJoseph A. Goguen. 1-10 [doi]

Formal Methods of Software Development : Painted into the Corner of High-Integrity Computing?Margaret Tierney. 11-22 [doi]

The Social Negotiation of Proof: An Analysis and a further PredictionDonald MacKenzie. 23-31 [doi]

On constructing large software systemsJean-Raymond Abrial. 32-40 [doi]

Composition of Descriptions : A Progress ReportPamela Zave, Michael Jackson 0001. 41-50 [doi]

Integrating Methods in PracticeAnthony Hall. 51-59 [doi]

Formal methods and product documentationJohn Wordsworth. 60-70 [doi]

Software Quality : A Modelling and Measurement ViewVictor R. Basili. 71-80 [doi]

Modelling Working Group SummaryDan Craigen. 81-87 [doi]

Quality Assurance Working GroupRichard A. Kemmerer. 88-91 [doi]

Design Methods Working GroupChris T. Sennett. 92-99 [doi]

ConclusionsPeter Ryan, Chris T. Sennett. 100 [doi]

runs on WebDSL