Sciweavers

15787 search results - page 153 / 3158
» Is Software Engineering Training Enough for Software Enginee...
Sort
View
WOSP
2000
ACM
15 years 10 months ago
Deriving a queueing network based performance model from UML diagrams
Keywords
Vittorio Cortellessa, Raffaela Mirandola
AADEBUG
2000
Springer
15 years 10 months ago
Slicing of Constraint Logic Programs
Gyöngyi Szilágyi, Tibor Gyimóth...
AC
2000
Springer
15 years 10 months ago
An Introduction to Dependent Type Theory
Gilles Barthe, Thierry Coquand