Search Sciweavers | Sciweavers

15787 search results - page 179 / 3158

» Is Software Engineering Training Enough for Software Enginee...

Voted

RE
1997
Springer

80views Software Engineering» more RE 1997»

Calculating with Requirements

15 years 7 months ago

Download sdg.csail.mit.edu

John M. Rushby

claim paper

Read More »

click to vote

TACS
1997
Springer

89views Software Engineering» more TACS 1997»

System F with Width-Subtyping and Record Updating

15 years 7 months ago

Download www.cs.ru.nl

Erik Poll

claim paper

Read More »

click to vote

TACS
1997
Springer

122views Software Engineering» more TACS 1997»

Sets in Types, Types in Sets

15 years 7 months ago

Download www.lix.polytechnique.fr

Benjamin Werner

claim paper

Read More »

114

click to vote

TAPSOFT
1997
Springer

139views Software Engineering» more TAPSOFT 1997»

Semantics of Architectural Connectors

15 years 7 months ago

Download www.cse.iitb.ac.in

José Luiz Fiadeiro, Antónia Lopes

claim paper

Read More »

162

click to vote

TAPSOFT
1997
Springer

124views Software Engineering» more TAPSOFT 1997»

CoFI: The Common Framework Initiative for Algebraic Specification and Development

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers