IFM
2009
Springer
13 years 9 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 9 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 9 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 4 months ago
2009
Springer
IFM
2009
Springer
14 years 6 months ago
2009
Springer
IFM
2009
Springer
14 years 6 months ago
2009
Springer
IFM
2009
Springer
14 years 6 months ago
2009
Springer
IFM
2009
Springer
14 years 6 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 6 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 6 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, ...