Titlebook: Recent Trends in Data Type Specification; 8th Workshop on Spec Michel Bidoit,Christine Choppy Conference proceedings 1993 Springer-Verlag B

Intercept

aptitude

New concepts of amalgamation and extension for a general theory of specifications,uational algebraic specifications. These results are promising for a general theory of parameterized and module specifications where strong persistency of functors can be relaxed by weaker properties.

推测

indoctrinate

Process semantics of temporal logic specification,theories and a model of it as a diagram in the category of processes, the limit of the process diagram is a model of the colimit of the theory diagram. In fact, any denotation of a system of interconnected specifications corresponds to a configuration of their denotations as a system of interconnected processes.

神圣在玷污

Generic classes in an object-based language,s and then introduces a treatment of the semantics of generic classes for ... Again, while the categories involved are very different, the results are very reminiscent of those found in algebraic specifications.

Measured

Additive

分离

ATRIA

生锈