Search Sciweavers | Sciweavers

15727 search results - page 333 / 3146

» Software Engineering - Introduction

140

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 »

166

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 »

123

click to vote

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 »

145

Voted

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 »

139

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