Sciweavers

15777 search results - page 144 / 3156
» Engineering in Software
Sort
View
91
Voted
WOSP
2000
ACM
15 years 8 months ago
Deriving a queueing network based performance model from UML diagrams
Keywords
Vittorio Cortellessa, Raffaela Mirandola
96
Voted
AADEBUG
2000
Springer
15 years 8 months ago
Finding Failure Causes through Automated Testing
Holger Cleve, Andreas Zeller
114
Voted
AC
2000
Springer
15 years 8 months ago
An Introduction to Dependent Type Theory
Gilles Barthe, Thierry Coquand
124
Voted
AC
2000
Springer
15 years 8 months ago
Normalization and Partial Evaluation
Peter Dybjer, Andrzej Filinski
90
Voted
CODES
1999
IEEE
15 years 8 months ago
Automatic detection of recurring operation patterns
Marnix Arnold, Henk Corporaal