返回Google圖書搜尋

Transition Specifications & the Algebraic Core of the Z Notation

出版	Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4, 1996
URL	http://books.google.com.hk/books?id=S36fGwAACAAJ&hl=&source=gbs_api

註釋Abstract: "The Z-notation is a powerful tool for the formal specification of software systems, based on a model theoretic approach. Transition specifications are an extension of algebraic data type specifications to dynamic abstract data types, based on the idea of states as environments. Our aim in this paper is to define an (informal) translation between an algebraic core of the Z-notation and transition specifications. This allows to compare the approaches, relate their mutual benefits as well as to clarify how some main concepts -- locality, compositionality, and separation of concerns -- that are realized in transition specifications, could be carried over Z."