翻布寻找
发表于 2025-3-25 04:22:14
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
废止
发表于 2025-3-25 07:45:18
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
高歌
发表于 2025-3-25 12:38:32
http://reply.papertrans.cn/83/8235/823427/823427_23.png
LIKEN
发表于 2025-3-25 18:20:28
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
发表于 2025-3-26 00:00:12
http://reply.papertrans.cn/83/8235/823427/823427_25.png
厌恶
发表于 2025-3-26 01:54:54
http://reply.papertrans.cn/83/8235/823427/823427_26.png
出价
发表于 2025-3-26 06:33:10
http://reply.papertrans.cn/83/8235/823427/823427_27.png
Fantasy
发表于 2025-3-26 10:53:30
http://reply.papertrans.cn/83/8235/823427/823427_28.png
难管
发表于 2025-3-26 13:29:08
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
龙卷风
发表于 2025-3-26 20:52:10
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.