next up previous
Next: Table of Contents

Foundations of
Systems Workshop
Proceedings, Zurich, Switzerland
September 26, 1997
Gary T. Leavens and Murali Sitaraman (editors)

Keywords: component-based systems, specification

1997 CR Categories: D.1.m [Programming Techniques] Miscellaneous -- component-based; D.2.1 [Software Engineering] Requirements/Specifications -- Languages, methodology, theory, tools; D.2.4 [Software Engineering] Program Verification -- Correctness proofs, reliabilty, validation; D.2.10 [Software Engineering] Design -- Methodologies, representation; D.2.m [Software Engineering] Miscellaneous -- Reuse; F.3.1 [Logics and Meaning of Programs] Specifying and verifying and reasoning about programs -- Assertions, invariants, pre- and post-conditions, specification techniques.

Copyright © 1997 each paper's copyright is held by its author.


Gary T. Leavens and Murali Sitaraman
Sep. 12 1997