Next: Table of Contents
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.