An axiomatic approach to structuring specifications

Abstract

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

Topics

  • Presentations referencing similar topics