Search Sciweavers | Sciweavers

15727 search results - page 333 / 3146

» Software Engineering - Introduction

100

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

Download www.cs.bris.ac.uk

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

claim paper

Read More »

117

click to vote

RE
1999
Springer

84views Software Engineering» more RE 1999»

Human Errors and System Requirements

15 years 8 months ago

Download wwwbruegge.in.tum.de

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

claim paper

Read More »

Voted

SCI
1999
Springer

95views Software Engineering» more SCI 1999»

Monitoring SCI Clusters

15 years 8 months ago

Download kbs.cs.tu-berlin.de

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

claim paper

Read More »

108

click to vote

WADT
1999
Springer

73views Software Engineering» more WADT 1999»

Extraction of Structured Programs from Specification Proofs

15 years 8 months ago

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

John N. Crossley, Iman Poernomo, Martin Wirsing

claim paper

Read More »

102

click to vote

METRICS
1998
IEEE

85views Software Engineering» more METRICS 1998»

Experimenting with Error Abstraction in Requirements Documents

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers