Sciweavers

15777 search results - page 33 / 3156
» The Reformulation-Optimization Software Engine
Sort
View
ICSE
2001
IEEE-ACM
15 years 6 months ago
Static Checking of Interrupt-Driven Software
Dennis Brylow, Niels Damgaard, Jens Palsberg
83
Voted
ICSE
2001
IEEE-ACM
15 years 6 months ago
Describing Software Architecture with UML
Philippe Kruchten, Bran Selic, Wojtek Kozaczynski
105
Voted
ICSE
2001
IEEE-ACM
15 years 6 months ago
Holmes: An Intelligent System to Support Software Product Line Development
Giancarlo Succi, Jason Yip, Witold Pedrycz
97
Voted
APSEC
2000
IEEE
15 years 6 months ago
Building Formal Models for Software Requirements
Axel van Lamsweerde