Search Sciweavers | Sciweavers

16206 search results - page 370 / 3242

» Software Engineering is Not Enough

135

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 11 months ago

Download www.cs.bris.ac.uk

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

claim paper

Read More »

154

click to vote

RE
1999
Springer

84views Software Engineering» more RE 1999»

Human Errors and System Requirements

15 years 11 months ago

Download wwwbruegge.in.tum.de

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

claim paper

Read More »

120

Voted

SCI
1999
Springer

95views Software Engineering» more SCI 1999»

Monitoring SCI Clusters

15 years 11 months ago

Download kbs.cs.tu-berlin.de

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

claim paper

Read More »

142

click to vote

WADT
1999
Springer

73views Software Engineering» more WADT 1999»

Extraction of Structured Programs from Specification Proofs

15 years 11 months ago

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

John N. Crossley, Iman Poernomo, Martin Wirsing

claim paper

Read More »

138

click to vote

METRICS
1998
IEEE

85views Software Engineering» more METRICS 1998»

Experimenting with Error Abstraction in Requirements Documents

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers