Search Sciweavers | Sciweavers

16725 search results - page 418 / 3345

» Engineering Software Correctness

107

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

Download www.cs.bris.ac.uk

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

claim paper

Read More »

125

Voted

RE
1999
Springer

84views Software Engineering» more RE 1999»

Human Errors and System Requirements

15 years 9 months ago

Download wwwbruegge.in.tum.de

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

claim paper

Read More »

101

click to vote

SCI
1999
Springer

95views Software Engineering» more SCI 1999»

Monitoring SCI Clusters

15 years 9 months ago

Download kbs.cs.tu-berlin.de

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

claim paper

Read More »

117

Voted

WADT
1999
Springer

73views Software Engineering» more WADT 1999»

Extraction of Structured Programs from Specification Proofs

15 years 9 months ago

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

John N. Crossley, Iman Poernomo, Martin Wirsing

claim paper

Read More »

111

Voted

METRICS
1998
IEEE

85views Software Engineering» more METRICS 1998»

Experimenting with Error Abstraction in Requirements Documents

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers