Sciweavers

16 search results - page 1 / 4

» tapsoft 1997

47

TAPSOFT
1997
Springer

124views Software Engineering» more TAPSOFT 1997»

CoFI: The Common Framework Initiative for Algebraic Specification and Development

14 years 8 months ago

CoFI: The Common Framework Initiative for Algebraic Specification and Development

Download www.brics.dk

Peter D. Mosses

claim paper

Read More »

41

TAPSOFT
1997
Springer

139views Software Engineering» more TAPSOFT 1997»

Semantics of Architectural Connectors

14 years 8 months ago

Semantics of Architectural Connectors

Download www.cse.iitb.ac.in

José Luiz Fiadeiro, Antónia Lopes

claim paper

Read More »

52

TAPSOFT
1997
Springer

113views Software Engineering» more TAPSOFT 1997»

Protective Interface Specifications

14 years 8 months ago

Protective Interface Specifications

Download www.cs.cmu.edu

Gary T. Leavens, Jeannette M. Wing

claim paper

Read More »

29

TAPSOFT
1997
Springer

138views Software Engineering» more TAPSOFT 1997»

A Comparison of Modular Verification Techniques

14 years 8 months ago

A Comparison of Modular Verification Techniques

Download www.configit.com

Henrik Reif Andersen, Jørgen Staunstrup, Ni...

claim paper

Read More »

53

TAPSOFT
1997
Springer

129views Software Engineering» more TAPSOFT 1997»

A Compositional Proof of a Real-Time Mutual Exclusion Protocol

14 years 8 months ago

A Compositional Proof of a Real-Time Mutual Exclusion Protocol

Download www.brics.dk

Kåre J. Kristoffersen, François Larou...

claim paper

Read More »

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