IFM
2009
Springer
13 years 10 months ago
2009
Springer
This paper introduces action refinement in the context of CSP B. Our motivation to include this notion of refinement within the CSP B framework is the desire to increase flexibilit...
IFM
2009
Springer
13 years 10 months ago
2009
Springer
Abstract. A communication system evolves dynamically with the addition and deletion of services. In our previous work [12], a graph transformation system (GTS) was used to model th...
IFM
2009
Springer
13 years 10 months ago
2009
Springer
Abstract. The complete specification of full contracts -- contracts which include tolerated exceptions, and which enable reasoning about the contracts themselves, can be achieved u...
IFM
2009
Springer
14 years 5 months ago
2009
Springer
IFM
2009
Springer
14 years 7 months ago
2009
Springer
IFM
2009
Springer
14 years 7 months ago
2009
Springer
IFM
2009
Springer
14 years 7 months ago
2009
Springer
IFM
2009
Springer
14 years 7 months ago
2009
Springer
Abstract. We present a formal development in Event-B of a distributed topology discovery algorithm. Distributed topology discovery is at the core of several routing algorithms and ...
IFM
2009
Springer
14 years 7 months ago
2009
Springer
Object-orientation supports code reuse and incremental programming. Multiple inheritance increases the power of code reuse, but complicates the binding of method calls and thereby ...
IFM
2009
Springer
14 years 7 months ago
2009
Springer
Abstract. To model real-life critical systems, one needs“high-level”languages to express three important concepts: complex data structures, concurrency, and real-time. So far, ...