WADT 1999 | Sciweavers

11

click to vote

WADT
1999
Springer

73views Software Engineering» more WADT 1999»

Extraction of Structured Programs from Specification Proofs

13 years 10 months ago

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

John N. Crossley, Iman Poernomo, Martin Wirsing

claim paper

Read More »

18

click to vote

WADT
1999
Springer

126views Software Engineering» more WADT 1999»

From States to Histories

13 years 10 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 »

12

click to vote

WADT
1999
Springer

103views Software Engineering» more WADT 1999»

Higher-Order Logic and Theorem Proving for Structured Specifications

13 years 10 months ago

Download delta.math.univ.gda.pl

Tomasz Borzyszkowski

claim paper

Read More »

13

click to vote

WADT
1999
Springer

90views Software Engineering» more WADT 1999»

Relating Abstract Datatypes and Z-Schemata

13 years 10 months ago

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

Hubert Baumeister

claim paper

Read More »

10

click to vote

WADT
1999
Springer

73views Software Engineering» more WADT 1999»

Towards an Evolutionary Formal Software-Development Using CASL

13 years 10 months ago

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

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

claim paper

Read More »

15

click to vote

WADT
1999
Springer

78views Software Engineering» more WADT 1999»

A Model for Interaction of Agents and Environments

13 years 10 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