Sciweavers

Share
3 search results - page 1 / 1
» compass 1994
Sort
View
COMPASS
1994
12 years 9 months ago
Types, Subtypes, and ASL+
ASL+ is a formalism for speci cation and programming in-the-large, based on an arbitrary institution. It has rules for proving the satisfaction and re nement of speci cations, whic...
David Aspinall
COMPASS
1994
12 years 9 months ago
Equations for Describing Dynamic Nets of Communicating Systems
We give a notation and a logical calculus for the description and deductive manipulation of dynamic networks of communicating components. We represent such nets by hierarchical sys...
Manfred Broy
KORSO
1995
12 years 9 months ago
TROLL light - The Language and its Development Environment
in Data Types Speciļ¬cation, Proc. 10th Workshop on Speciļ¬cation of Abstract Data Types joint with the 5th COMPASS Workshop, S.Margherita, Italy, May/June 1994, Selected papers,...
Martin Gogolla, Stefan Conrad, Grit Denker, Rudolf...
books