A framework for composition

23 December 2002

proceedings article
Published by Institute of Electrical and Electronics Engineers (IEEE)

p. 199-212
https://doi.org/10.1109/cmpass.1996.507888

Abstract

Analysis of complex systems requires the use of a "divide- and-conquer" approach to specification and verification. Existing theories for specification composition provide a starting point for a framework for such an approach. This paper describes a new framework that is a hybrid of two ex- isting frameworks, explains the advantages of the new frame- work, and illustrates its use through a simple example.

Keywords

SOCIOTECHNICAL SYSTEMS
FORMAL SPECIFICATION
DIVIDE AND CONQUER
COMPLEX SYSTEM
VERIFICATION
COMPLEX SYSTEMS

This publication has 1 reference indexed in Scilit:

Assuring Distributed Trusted Mach
Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002