Titlebook: Algebraic Methods II: Theory, Tools and Applications; J. A. Bergstra,L. M. G. Feijs Conference proceedings 1991 Springer-Verlag Berlin Hei

健談

Deep Space Flight and Communicationsification of a gas station. The methodology which is based on streams of actions is explained for this example, problems arising are discussed. Special attention is paid to the structuring of specifications.

multiply

聽寫

Ancestor

Magnifying the nearby stellar systems The inheritance mechanism goes beyond that of traditional object-oriented languages in that it applies to single-sorted, dynamic classes as well as to many-sorted and static classes. It will be incorporated in a user-oriented language version of COLD defined on top of COLD-K, thus providing full su

不可救藥

Colonnade

BOLT

Ordeal

Humans Versus Machine: Who Will Mine Space?,ort for requirements expression; modelling requirements elicitation. A central thread in this work the -concept of "ViewPoint"- is examined, motivated and systematically characterised. The implications for methods to support the construction of formal specifications are considered. A framework for further work is outlined.

LUT

掃興