Sciweavers

16725 search results - page 222 / 3345

» Engineering Software Correctness

89

TACS
1997
Springer

122views Software Engineering» more TACS 1997»

Sets in Types, Types in Sets

15 years 7 months ago

Sets in Types, Types in Sets

Download www.lix.polytechnique.fr

Benjamin Werner

claim paper

Read More »

115

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 »

163

Voted

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 »

86

Voted

ISPW
1993
IEEE

85views Software Engineering» more ISPW 1993»

Humans in the Process: Architectural Implications

15 years 7 months ago

Humans in the Process: Architectural Implications

Download users.ece.utexas.edu

Dewayne E. Perry

claim paper

Read More »

108

ICSM
1994
IEEE

93views Software Engineering» more ICSM 1994»

Substring Matching for Clone Detection and Change Tracking

15 years 7 months ago

Substring Matching for Clone Detection and Change Tracking

Download plg.uwaterloo.ca

J. Howard Johnson

claim paper

Read More »

« Prev « First page 222 / 3345 Last » Next »