Sciweavers

5407 search results - page 25 / 1082
» The Software Engineering Global Model
Sort
View
112
Voted
EUROMICRO
1998
IEEE
15 years 7 months ago
Grammar Based Modelling and Synthesis of Device Drivers and Bus Interfaces
Mattias O'Nils, Johnny Öberg, Axel Jantsch
ICSM
1998
IEEE
15 years 7 months ago
Dynamic Model for Maintenance and Testing Effort
F. Calzolari, Paolo Tonella, Giuliano Antoniol
WADT
1999
Springer
15 years 7 months ago
A Model for Interaction of Agents and Environments
Alexander A. Letichevsky, David Gilbert
102
Voted
FSTTCS
1998
Springer
15 years 7 months ago
Descriptive Complexity and Model Checking
Neil Immerman