Abstract | ||
---|---|---|
In this paper, we propose a framework to study refinement of abstract machines in the B-method. It allows us to properly deal
with shared variables, possibly introduced by composition primitives sees and imports. We exhibit local conditions on components which are sufficient to ensure global correctness of a software system. Finally,
we show how restrictions on the architecture of software systems may guarantee these conditions.
|
Year | DOI | Venue |
---|---|---|
1998 | 10.1007/BFb0053355 | B |
Keywords | DocType | Volume |
b method,software systems,abstract machine | Conference | 1393 |
ISSN | ISBN | Citations |
0302-9743 | 3-540-64405-9 | 15 |
PageRank | References | Authors |
0.95 | 5 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Marie-Laure Potet | 1 | 190 | 21.34 |
Yann Rouzaud | 2 | 31 | 2.35 |