Search Sciweavers | Sciweavers

15777 search results - page 168 / 3156

» The Reformulation-Optimization Software Engine

click to vote

PEPM
1997
ACM

79views Software Engineering» more PEPM 1997»

Resource-Bounded Partial Evaluation

14 years 10 days ago

Download www.cs.arizona.edu

Saumya K. Debray

claim paper

Read More »

click to vote

RE
1997
Springer

72views Software Engineering» more RE 1997»

Requirements Traceability

14 years 10 days ago

Download www.cs.helsinki.fi

Anthony Finkelstein, Richard Stevens

claim paper

Read More »

click to vote

RE
1997
Springer

80views Software Engineering» more RE 1997»

Calculating with Requirements

14 years 10 days 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

14 years 10 days 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

14 years 10 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers