Sciweavers

15799 search results - page 182 / 3160

» Software engineering: a roadmap

134

Voted

RE
1997
Springer

72views Software Engineering» more RE 1997»

Requirements Traceability

15 years 11 months ago

Requirements Traceability

Download www.cs.helsinki.fi

Anthony Finkelstein, Richard Stevens

claim paper

Read More »

135

Voted

RE
1997
Springer

80views Software Engineering» more RE 1997»

Calculating with Requirements

15 years 11 months ago

Calculating with Requirements

Download sdg.csail.mit.edu

John M. Rushby

claim paper

Read More »

143

Voted

TACS
1997
Springer

89views Software Engineering» more TACS 1997»

System F with Width-Subtyping and Record Updating

15 years 11 months ago

System F with Width-Subtyping and Record Updating

Download www.cs.ru.nl

Erik Poll

claim paper

Read More »

138

TACS
1997
Springer

122views Software Engineering» more TACS 1997»

Sets in Types, Types in Sets

15 years 11 months ago

Sets in Types, Types in Sets

Download www.lix.polytechnique.fr

Benjamin Werner

claim paper

Read More »

159

TAPSOFT
1997
Springer

139views Software Engineering» more TAPSOFT 1997»

Semantics of Architectural Connectors

15 years 11 months ago

Semantics of Architectural Connectors

Download www.cse.iitb.ac.in

José Luiz Fiadeiro, Antónia Lopes

claim paper

Read More »

« Prev « First page 182 / 3160 Last » Next »