Sciweavers

15777 search results - page 561 / 3156
» The Reformulation-Optimization Software Engine
Sort
View
METRICS
2003
IEEE
15 years 11 months ago
Analyzing the Cost and Benefit of Pair Programming
Frank Padberg, Matthias M. Müller
SWSTE
2003
IEEE
15 years 11 months ago
Higher Quality Requirements Specifications through Natural Language Patterns
Christian Denger, Daniel M. Berry, Erik Kamsties
EMSOFT
2003
Springer
15 years 11 months ago
Clock-Driven Automatic Distribution of Lustre Programs
Alain Girault, Xavier Nicollin
FATES
2003
Springer
15 years 11 months ago
Compositional Testing with ioco
Machiel van der Bijl, Arend Rensink, Jan Tretmans