Abstract | ||
---|---|---|
The B method is a well known approach to the formal specification and development of sequential computer programs. Inspired by action systems, the B method has evolved to incorporate system modelling and distributed system development. This extension is called Event-B. Even though several of the structuring mechanisms of the original B method are absent from Event-B, the desire to define and maintain structured data persists. We propose the introduction of records to Event-B for this purpose. Our approach upholds the refinement principles of Event-B by allowing the stepwise development of records too. |
Year | DOI | Venue |
---|---|---|
2006 | 10.1007/11813040_16 | FM |
Keywords | Field | DocType |
sequential computer program,b method,stepwise development,formal specification,refinement principle,action system,system development,structuring mechanism,original b method,system modelling,distributed system | Data structure,Programming language,Computer science,Formal specification,Theoretical computer science,B-Method,Computer program,Artificial intelligence,Formal methods,Structuring,Data model,Software development | Conference |
Volume | ISSN | ISBN |
4085 | 0302-9743 | 3-540-37215-6 |
Citations | PageRank | References |
9 | 0.95 | 6 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Neil Evans | 1 | 26 | 3.87 |
Michael Butler | 2 | 1768 | 104.74 |