Sciweavers

WADT
1999
Springer
14 years 3 months ago
Extraction of Structured Programs from Specification Proofs
John N. Crossley, Iman Poernomo, Martin Wirsing
WADT
1999
Springer
14 years 3 months ago
From States to Histories
Based on the FOCUS theory of distributed systems (see [Broy, Stølen 01]) that are composed of interacting components we introduce a formal model of services and layered architectu...
Manfred Broy
WADT
1999
Springer
14 years 3 months ago
Towards an Evolutionary Formal Software-Development Using CASL
Serge Autexier, Dieter Hutter, Heiko Mantel, Axel ...
WADT
1999
Springer
14 years 3 months ago
A Model for Interaction of Agents and Environments
Alexander A. Letichevsky, David Gilbert