Sciweavers

16 search results - page 1 / 4

» tapsoft 1997

159

TAPSOFT
1997
Springer

124views Software Engineering» more TAPSOFT 1997»

CoFI: The Common Framework Initiative for Algebraic Specification and Development

15 years 7 months ago

CoFI: The Common Framework Initiative for Algebraic Specification and Development

Download www.brics.dk

Peter D. Mosses

claim paper

Read More »

110

Voted

TAPSOFT
1997
Springer

139views Software Engineering» more TAPSOFT 1997»

Semantics of Architectural Connectors

15 years 7 months ago

Semantics of Architectural Connectors

Download www.cse.iitb.ac.in

José Luiz Fiadeiro, Antónia Lopes

claim paper

Read More »

120

TAPSOFT
1997
Springer

113views Software Engineering» more TAPSOFT 1997»

Protective Interface Specifications

15 years 6 months ago

Protective Interface Specifications

Download www.cs.cmu.edu

Gary T. Leavens, Jeannette M. Wing

claim paper

Read More »

85

TAPSOFT
1997
Springer

138views Software Engineering» more TAPSOFT 1997»

A Comparison of Modular Verification Techniques

15 years 7 months ago

A Comparison of Modular Verification Techniques

Download www.configit.com

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

claim paper

Read More »

140

TAPSOFT
1997
Springer

129views Software Engineering» more TAPSOFT 1997»

A Compositional Proof of a Real-Time Mutual Exclusion Protocol

15 years 7 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 »