Search Sciweavers | Sciweavers

15778 search results - page 138 / 3156

» Aikido and software engineering

126

click to vote

PEPM
1999
ACM

96views Software Engineering» more PEPM 1999»

An Integration of Partial Evaluation in a Generic Abstract Interpretation Framework

15 years 10 months ago

Download www.cs.bris.ac.uk

Germán Puebla, Manuel V. Hermenegildo, John...

claim paper

Read More »

138

click to vote

RE
1999
Springer

84views Software Engineering» more RE 1999»

Human Errors and System Requirements

15 years 10 months ago

Download wwwbruegge.in.tum.de

Alistair G. Sutcliffe, Julia Rose Galliers, Shaile...

claim paper

Read More »

115

click to vote

SCI
1999
Springer

95views Software Engineering» more SCI 1999»

Monitoring SCI Clusters

15 years 10 months ago

Download kbs.cs.tu-berlin.de

Matthias Maier-Stahel, Roger Butenuth, Hans-Ulrich...

claim paper

Read More »

134

click to vote

WADT
1999
Springer

73views Software Engineering» more WADT 1999»

Extraction of Structured Programs from Specification Proofs

15 years 10 months ago

Download www.pst.informatik.uni-muenchen.de

John N. Crossley, Iman Poernomo, Martin Wirsing

claim paper

Read More »

127

click to vote

METRICS
1998
IEEE

85views Software Engineering» more METRICS 1998»

Experimenting with Error Abstraction in Requirements Documents

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers