DocumentCode
2129597
Title
A framework for composition
Author
Fine, Todd
Author_Institution
Secure Comput. Corp., Roseville, MN, USA
fYear
1996
fDate
17-21 Jun 1996
Firstpage
199
Lastpage
212
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. The paper describes a new framework that is a hybrid of two existing frameworks, explains the advantages of the new framework, and illustrates its use through a simple example
Keywords
divide and conquer methods; formal specification; problem solving; complex systems; composition framework; divide and conquer approach; specification composition; verification; Buildings; Lakes; Sociotechnical systems; Specification languages;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Assurance, 1996. COMPASS '96, Systems Integrity. Software Safety. Process Security. Proceedings of the Eleventh Annual Conference on
Conference_Location
Gaithersburg, MD
Print_ISBN
0-7803-3390-X
Type
conf
DOI
10.1109/CMPASS.1996.507888
Filename
507888
Link To Document