Sciweavers

16541 search results - page 202 / 3309
» Ontologies and Software Engineering
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