过份
发表于 2025-3-25 03:24:37
Rewriting techniques for software engineering,ety of questions expressed as logical queries that can be solved by using rewriting techniques, without hiding the limitations of the method. Using rewriting itself as a specification language is investigated next. Recent trends in rewriting are briefly sketched.
交响乐
发表于 2025-3-25 07:35:22
Overloading and inheritance,ject-oriented languages. Concepts considered include are over-loading, encapsulation, the message paradigm, and a limited form of inheritance. We also introduce formulations of the concepts of overload-systems and coercion-systems, and we present a treatment of (+, ×)-recursive classes and the defin
借喻
发表于 2025-3-25 13:54:56
http://reply.papertrans.cn/83/8235/823429/823429_23.png
Fantasy
发表于 2025-3-25 18:32:01
On certification of specifications for TROLL , objects,ior-oriented specification of information systems. It allows orthogonal construction of large systems from subsystems. The certification calculus provides a basis for verifying properties of specified objects. Besides an introduction to this calculus we show how formulae of this calculus can be deri
扩大
发表于 2025-3-25 23:15:20
http://reply.papertrans.cn/83/8235/823429/823429_25.png
inculpate
发表于 2025-3-26 01:39:40
http://reply.papertrans.cn/83/8235/823429/823429_26.png
HEDGE
发表于 2025-3-26 04:47:29
http://reply.papertrans.cn/83/8235/823429/823429_27.png
Infiltrate
发表于 2025-3-26 10:48:46
A behavioural algebraic framework for modular system design with reuse,ons. The approach is based on structured algebraic specifications with behavioural semantics. In order to provide a clean interconnection mechanism for specifications, behavioural specifications with import interfaces are considered and their composition with respect to the behavioural requirements
谷类
发表于 2025-3-26 16:37:28
http://reply.papertrans.cn/83/8235/823429/823429_29.png
领巾
发表于 2025-3-26 20:42:42
http://reply.papertrans.cn/83/8235/823429/823429_30.png