Sciweavers

15794 search results - page 72 / 3159
» Agent-Oriented Software Engineering
Sort
View
ICSE
2001
IEEE-ACM
15 years 11 months ago
Static Checking of Interrupt-Driven Software
Dennis Brylow, Niels Damgaard, Jens Palsberg
ICSE
2001
IEEE-ACM
15 years 11 months ago
Describing Software Architecture with UML
Philippe Kruchten, Bran Selic, Wojtek Kozaczynski
ICSE
2001
IEEE-ACM
15 years 11 months ago
Holmes: An Intelligent System to Support Software Product Line Development
Giancarlo Succi, Jason Yip, Witold Pedrycz
166
Voted
APSEC
2000
IEEE
15 years 11 months ago
Building Formal Models for Software Requirements
Axel van Lamsweerde