1676 search results - page 19 / 336 » Formal System Development with KIV |
BIRTHDAY
2010
Springer
14 years 12 months ago
2010
Springer
Abstract. The error-prone process of formal specification and verification of large systems requires an efficient, evolutionary formal development approach. Development graphs have...
104
click to vote
SDL
2007
15 years 1 months ago
2007
Describing an application as a simple composition of services allows advanced features that exploit different platforms to be conceived e formalized at a high abstraction level. S...
102
click to vote
CSREAEEE
2006
15 years 1 months ago
2006
- Improving software quality remains a key challenge. Software development formal peer inspection has emerged as an effective approach to address this challenge. Software peer insp...
110
click to vote
ISOLA
2007
Springer
15 years 5 months ago
2007
Springer
We present a model of the IEEE 1394 Root Contention Protocol with a proof of Safety. This model has real-time properties which are expressed in the language of the event B method: ...
117
click to vote
FORMATS
2007
Springer
15 years 3 months ago
2007
Springer
Resource limited DRE (Distributed Real-time Embedded) systems can benefit greatly from dynamic adaptation of system parameters. We propose a novel approach that employs iterative t...