Sciweavers

8627 search results - page 33 / 1726
» Software Engineering Using RATionale
Sort
View
ISSRE
2008
IEEE
16 years 12 days ago
RUGRAT: Runtime Test Case Generation Using Dynamic Compilers
Ben Breech, Lori L. Pollock, John Cavazos
ASWEC
2007
IEEE
16 years 11 days ago
Benchmark Generation Using Domain Specific Modeling
Ngoc Bao Bui, Liming Zhu, Ian Gorton, Yan Liu
VLSI
2007
Springer
16 years 3 days ago
SWORD: A SAT like prover using word level information
Robert Wille, Görschwin Fey, Daniel Groß...
APSEC
2003
IEEE
15 years 11 months ago
Security-Critical System Development with Extended Use Cases
Gerhard Popp, Jan Jürjens, Guido Wimmel, Ruth...