4350 search results - page 597 / 870 » Case studies for contract-based systems |
172
click to vote
DFG
2004
Springer
16 years 5 days ago
2004
Springer
In the ForMoSA project [17] an integrated approach for safety analysis of critical, embedded systems has been developed. The approach brings together the best of engineering practi...
165
click to vote
MIDDLEWARE
2004
Springer
16 years 4 days ago
2004
Springer
In this paper, we survey three generation of reflective middleware research carried out at Lancaster University, present experiences gained from this research, and highlight a num...
175
click to vote
MIDDLEWARE
2004
Springer
16 years 4 days ago
2004
Springer
In pervasive computing environments, conditions are highly variable and resources are limited. In order to meet the needs of applications, systems must adapt dynamically to changi...
236
click to vote
CCGRID
2003
IEEE
16 years 2 days ago
2003
IEEE
Grid computing is becoming a mainstream technology for large-scale distributed resource sharing and system integration. Workflow management is emerging as one of the most importan...
197
click to vote
FM
2003
Springer
16 years 4 hour ago
2003
Springer
Incomplete, inaccurate, ambiguous, and volatile requirements have plagued the software industry since its inception. The convergence of model-based development and formal methods o...