2261 search results - page 93 / 453 » Modeling the Experimental Software Engineering Process |
147
click to vote
ICFEM
2004
Springer
15 years 10 months ago
2004
Springer
Iterative abstraction refinement has emerged in the last few years as the leading approach to software model checking. In this context Boolean programs are commonly employed as si...
133
click to vote
MODELS
2009
Springer
15 years 11 months ago
2009
Springer
The proliferation of smart spaces and emergence of new standards, such as Web Services, have paved the way for a new breed of software systems. Often the complete functional and Qo...
125
click to vote
AOSE
2007
Springer
15 years 11 months ago
2007
Springer
This paper describes how the Organization-based Multiagent Systems Engineering (O-MaSE) methodology can be applied to an exemplar multiagent system, the Conference Management Syste...
127
click to vote
EUROMICRO
1998
IEEE
15 years 9 months ago
1998
IEEE
Industry is facing a crisis in the design of complex hardware/software systems. Due to the increasing complexity, the gap between the generation of a product idea and the realisat...
163
click to vote
WCRE
2003
IEEE
15 years 10 months ago
2003
IEEE
Graphical user interfaces (GUIs) are important parts of today’s software and their correct execution is required to ensure the correctness of the overall software. A popular tec...