Sciweavers

8627 search results - page 38 / 1726
» Software Engineering Using RATionale
Sort
View
VMCAI
2005
Springer
15 years 11 months ago
Scalable Analysis of Linear Systems Using Mathematical Programming
Sriram Sankaranarayanan, Henny B. Sipma, Zohar Man...
123
Voted
ICSE
2009
IEEE-ACM
15 years 11 months ago
Developing Acceptance Tests from Existing Documentation Using Annotations: An Experiment
David Connolly, Frank Keenan, Fergal McCaffery