WADT 1999 | Sciweavers

25

click to vote

WADT
1999
Springer

73views Software Engineering» more WADT 1999»

Extraction of Structured Programs from Specification Proofs

14 years 4 months ago

Download www.pst.informatik.uni-muenchen.de

John N. Crossley, Iman Poernomo, Martin Wirsing

claim paper

Read More »

42

click to vote

WADT
1999
Springer

126views Software Engineering» more WADT 1999»

From States to Histories

14 years 4 months ago

Download asimod.in.tum.de

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

claim paper

Read More »

28

click to vote

WADT
1999
Springer

103views Software Engineering» more WADT 1999»

Higher-Order Logic and Theorem Proving for Structured Specifications

14 years 4 months ago

Download delta.math.univ.gda.pl

Tomasz Borzyszkowski

claim paper

Read More »

25

click to vote

WADT
1999
Springer

90views Software Engineering» more WADT 1999»

Relating Abstract Datatypes and Z-Schemata

14 years 4 months ago

Download www.pst.informatik.uni-muenchen.de

Hubert Baumeister

claim paper

Read More »

27

click to vote

WADT
1999
Springer

73views Software Engineering» more WADT 1999»

Towards an Evolutionary Formal Software-Development Using CASL

14 years 4 months ago

Download www.mais.informatik.tu-darmstadt.de

Serge Autexier, Dieter Hutter, Heiko Mantel, Axel ...

claim paper

Read More »

28

click to vote

WADT
1999
Springer

78views Software Engineering» more WADT 1999»

A Model for Interaction of Agents and Environments

14 years 4 months ago

Download apsystem.org.ua

Alexander A. Letichevsky, David Gilbert

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers