Titlebook: Recent Trends in Data Type Specification; 9th Workshop on Spec Hartmut Ehrig,Fernando Orejas Conference proceedings 1994 Springer-Verlag Be

過份

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.

交響樂

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

借喻

Fantasy

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

擴(kuò)大

inculpate

HEDGE

Infiltrate

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

谷類

領(lǐng)巾