Sciweavers

8627 search results - page 38 / 1726
» Software Engineering Using RATionale
Sort
View
IWPC
2006
IEEE
15 years 8 months ago
Leveraged Quality Assessment using Information Retrieval Techniques
Dawn J. Lawrie, Henry Feild, David Binkley
102
Voted
VMCAI
2005
Springer
15 years 8 months ago
Scalable Analysis of Linear Systems Using Mathematical Programming
Sriram Sankaranarayanan, Henny B. Sipma, Zohar Man...
92
Voted
PASTE
1999
ACM
15 years 6 months ago
Using Partial Order Techniques to Improve Performance of Data Flow Analysis Based Verification
Gleb Naumovich, Lori A. Clarke, Jamieson M. Coblei...