Sciweavers

15778 search results - page 46 / 3156

» Aikido and software engineering

24

RE
1997
Springer

72views Software Engineering» more RE 1997»

Requirements Traceability

14 years 2 months ago

Requirements Traceability

Download www.cs.helsinki.fi

Anthony Finkelstein, Richard Stevens

claim paper

Read More »

24

RE
1997
Springer

80views Software Engineering» more RE 1997»

Calculating with Requirements

14 years 2 months ago

Calculating with Requirements

Download sdg.csail.mit.edu

John M. Rushby

claim paper

Read More »

30

TACS
1997
Springer

89views Software Engineering» more TACS 1997»

System F with Width-Subtyping and Record Updating

14 years 2 months ago

System F with Width-Subtyping and Record Updating

Download www.cs.ru.nl

Erik Poll

claim paper

Read More »

20

TACS
1997
Springer

122views Software Engineering» more TACS 1997»

Sets in Types, Types in Sets

14 years 2 months ago

Sets in Types, Types in Sets

Download www.lix.polytechnique.fr

Benjamin Werner

claim paper

Read More »

31

TAPSOFT
1997
Springer

139views Software Engineering» more TAPSOFT 1997»

Semantics of Architectural Connectors

14 years 2 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 46 / 3156 Last » Next »