Sciweavers

9006 search results - page 18 / 1802
» Modeling Software
Sort
View
WCRE
2000
IEEE
14 years 2 months ago
Traceability Recovery by Modeling Programmer Behavior
Giuliano Antoniol, Gerardo Casazza, Aniello Cimiti...
WOSP
2000
ACM
14 years 2 months ago
Deriving a queueing network based performance model from UML diagrams
Keywords
Vittorio Cortellessa, Raffaela Mirandola
ESEC
1999
Springer
14 years 2 months ago
Using Model Checking to Generate Tests from Requirements Specifications
Angelo Gargantini, Constance L. Heitmeyer