Search Sciweavers | Sciweavers

3 search results - page 1 / 1

» compass 1994

click to vote

COMPASS
1994

86views Programming Languages» more COMPASS 1994»

Types, Subtypes, and ASL+

13 years 8 months ago

Download eref.uqu.edu.sa

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

claim paper

Read More »

click to vote

COMPASS
1994

172views Programming Languages» more COMPASS 1994»

Equations for Describing Dynamic Nets of Communicating Systems

13 years 8 months ago

Download www4.in.tum.de

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

claim paper

Read More »

click to vote

KORSO
1995

87views Software Engineering» more KORSO 1995»

TROLL light - The Language and its Development Environment

13 years 8 months ago

Download wwwalt.ifis.cs.tu-bs.de

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...

claim paper

Read More »

« Prev « First page 1 / 1 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers