An axiomatic approach to structuring specifications


In this paper we develop an axiomatic approach to structured specifications in which both the underlying logical system and corresponding institution of the structured specifications are treated as abstract institutions, which means two levels of institution independence. This abstract axiomatic approach provides a uniform framework for the study of… (More)
DOI: 10.1016/j.tcs.2012.03.001


  • Presentations referencing similar topics