Search Sciweavers | Sciweavers

15777 search results - page 203 / 3156

» The Reformulation-Optimization Software Engine

click to vote

TACS
1991
Springer

79views Software Engineering» more TACS 1991»

Full Abstraction and the Context Lemma

13 years 11 months ago

Download publications.csail.mit.edu

Trevor Jim, Albert R. Meyer

claim paper

Read More »

click to vote

TAPSOFT
1991
Springer

77views Software Engineering» more TAPSOFT 1991»

On Causality Observed Incrementally, Finally

13 years 11 months ago

Download www.hpl.hp.com

Gian Luigi Ferrari

claim paper

Read More »

click to vote

ESEC
1987
Springer

40views Software Engineering» more ESEC 1987»

TRICS: A Testing Tool for C

13 years 11 months ago

Download sel.ics.es.osaka-u.ac.jp

Barbara Raither, Leon J. Osterweil

claim paper

Read More »

click to vote

ICSE
1987
IEEE-ACM

50views Software Engineering» more ICSE 1987»

Production of Large Computer Programs

13 years 11 months ago

Download csse.usc.edu

H. D. Benington

claim paper

Read More »

click to vote

ICSE
1987
IEEE-ACM

54views Software Engineering» more ICSE 1987»

Version Control in the Inscape Environment

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers