Sciweavers

15784 search results - page 51 / 3157
» Mega Software Engineering
Sort
View
ICSE
2001
IEEE-ACM
15 years 6 months ago
Static Checking of Interrupt-Driven Software
Dennis Brylow, Niels Damgaard, Jens Palsberg
84
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