Titlebook: Recent Trends in Data Type Specification; 10th Workshop on Spe Egidio Astesiano,Gianna Reggio,Andrzej Tarlecki Conference proceedings 1995

翻布尋找

A lazy approach to partial algebras, and functional programming, a framework is proposed, collecting many techniques and ideas from the algebraic community, with the capability for an immediate representation of partiality and error-recovery. This formalism, of so called lazy algebras, inherits mainly from two parents: partial and lab

廢止

Transactions in object-oriented specifications, and hence split the software development process in manageable portions. Due to the complex notion of objects as units of structure and behavior, the refinement process has to be reconsidered in the object-oriented framework. Apart from refining structure the behavioral part gives rise to refine ac

高歌

LIKEN

Dynamic abstract data types based on algebraic graph transformations,ta types, motivated by several recent approaches in the areas of algebraic specifications, object-orientation, evolving algebras and graph transformations. The basic idea of dynamic abstract data types is to extend abstract data types by dynamic operations which are transformations between abstract

CROAK

厭惡

出價(jià)

Fantasy

難管

Axiomatic specification of large information systems: Experiences and consequences,tem. In order to cope with the size of the specification and with the process of requirements engineering, a combination of semi-formal (mainly diagrammatic) and purely formal notations were used. For the semi-formal notations, a translation into axiomatic specifications was defined such that the wh

龍卷風(fēng)

An object-oriented airport: Specification and refinement in Maude,lanes, gates, baggage handling, ground control and tower and has been implemented on the OBJ3 system, which serves as a rudimentary interpreter for Maude. We discuss two ways of specifying objects and present two notions of behavioral refinement in Maude.