Sciweavers

19587 search results - page 265 / 3918
» Systems Engineering for software Engineers
Sort
View
WOSP
2000
ACM
15 years 11 months ago
Deriving a queueing network based performance model from UML diagrams
Keywords
Vittorio Cortellessa, Raffaela Mirandola
AADEBUG
2000
Springer
15 years 11 months ago
Slicing of Constraint Logic Programs
Gyöngyi Szilágyi, Tibor Gyimóth...
AC
2000
Springer
15 years 11 months ago
An Introduction to Dependent Type Theory
Gilles Barthe, Thierry Coquand