Sciweavers

15860 search results - page 359 / 3172
» On agent-based software engineering
Sort
View
109
Voted
PEPM
1999
ACM
15 years 9 months ago
An Integration of Partial Evaluation in a Generic Abstract Interpretation Framework
Germán Puebla, Manuel V. Hermenegildo, John...
RE
1999
Springer
15 years 9 months ago
Human Errors and System Requirements
Alistair G. Sutcliffe, Julia Rose Galliers, Shaile...
SCI
1999
Springer
15 years 9 months ago
Monitoring SCI Clusters
Matthias Maier-Stahel, Roger Butenuth, Hans-Ulrich...
WADT
1999
Springer
15 years 9 months ago
Extraction of Structured Programs from Specification Proofs
John N. Crossley, Iman Poernomo, Martin Wirsing
METRICS
1998
IEEE
15 years 9 months ago
Experimenting with Error Abstraction in Requirements Documents
Filippo Lanubile, Forrest Shull, Victor R. Basili