Sciweavers

16206 search results - page 168 / 3242
» Software Engineering is Not Enough
Sort
View
WOSP
2000
ACM
15 years 9 months ago
Deriving a queueing network based performance model from UML diagrams
Keywords
Vittorio Cortellessa, Raffaela Mirandola
110
Voted
AADEBUG
2000
Springer
15 years 9 months ago
Finding Failure Causes through Automated Testing
Holger Cleve, Andreas Zeller
AADEBUG
2000
Springer
15 years 9 months ago
Slicing of Constraint Logic Programs
Gyöngyi Szilágyi, Tibor Gyimóth...
AC
2000
Springer
15 years 9 months ago
An Introduction to Dependent Type Theory
Gilles Barthe, Thierry Coquand