4350 search results - page 187 / 870 » Case studies for contract-based systems |
149
click to vote
ICFEM
1998
Springer
15 years 8 months ago
1998
Springer
Studying industrial systems by simulation enables the designer to study the dynamic behaviour and to determine some characteristics of the system. Unfortunately, simulation also h...
167
click to vote
TPDS
1998
15 years 4 months ago
1998
—Many time-critical applications require predictable performance and tasks in these applications have deadlines to be met. In this paper, we propose an efficient algorithm for no...
142
click to vote
KBSE
2008
IEEE
15 years 11 months ago
2008
IEEE
Evolution of software systems is characterized by inevitable changes of software and increasing software complexity, which in turn may lead to huge maintenance and development cos...
107
click to vote
AMAST
2008
Springer
15 years 6 months ago
2008
Springer
The complexity of specification development and verification of large systems has to be mastered. In this paper a specification of a real case study, a platoon of Cristal vehicles ...
190
click to vote
FMCO
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. Atomicity Decomposition is a technique in the Event-B formal method, which augments Event-B refinement with additional structuring in a diagrammatic notation to support c...