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

15 years 5 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

15 years 5 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

15 years 5 months ago

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

Barbara Raither, Leon J. Osterweil

claim paper

Read More »

101

click to vote

ICSE
1987
IEEE-ACM

50views Software Engineering» more ICSE 1987»

Production of Large Computer Programs

15 years 5 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

15 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers