A framework for composition

T. Fine
Proceedings of 11th Annual Conference on Computer Assurance. COMPASS '96  
Analysis of complex systems requires the use of a "divideand-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 existing frameworks, explains the advantages of the new framework, and illustrates its use through a simple example. 1
doi:10.1109/cmpass.1996.507888 fatcat:mel3hivs7jfgvlymg5susmxlnu