Sciweavers

8627 search results - page 22 / 1726
» Software Engineering Using RATionale
Sort
View
ESEC
1999
Springer
15 years 10 months ago
Using Model Checking to Generate Tests from Requirements Specifications
Angelo Gargantini, Constance L. Heitmeyer
ICSM
1998
IEEE
15 years 10 months ago
Slicing Objects Using System Dependence Graphs
Donglin Liang, Mary Jean Harrold
KBSE
1998
IEEE
15 years 10 months ago
Management of Evolving Specifications using Category Theory
Virginie Wiels, Steve M. Easterbrook