Sciweavers

15777 search results - page 161 / 3156
» The Reformulation-Optimization Software Engine
Sort
View
128
Voted
ICSE
1998
IEEE-ACM
15 years 10 months ago
Process Assurance Audits: Lessons Learned
Alain April, Alain Abran, Ettore Merlo
126
Voted
ICSE
1998
IEEE-ACM
15 years 10 months ago
Formalizing Design Patterns
Tommi Mikkonen
CSMR
1997
IEEE
15 years 10 months ago
Formal Methods
Michael Löwe