Modeling in event-b: System and software engineering

Modeling in Event-B: System and Software Engineering

Volumn 9780521895569, Issue , 2011, Pages 1-586

  Abrial, Jean Raymond ^a  

^a NONE

Author keywords

[No Author keywords available]

Indexed keywords

SOFTWARE ENGINEERING;

COMPUTER SYSTEM DEVELOPMENT; CONCURRENT PROGRAM; CONSTRUCT MODELS; DESIGNING SYSTEMS; DISCRETE SYSTEMS; MATHEMATICAL APPROACH; REASONING METHODS; SEQUENTIAL PROGRAMS;

FORMAL METHODS;

EID: 84922902390     PISSN: None     EISSN: None     Source Type: Book    
DOI: 10.1017/CBO9781139195881     Document Type: Book

References (38)

1. J.R. Abrial. The B-book: Assigning Programs to Meanings. Cambridge University Press, 1996
2. L. Lamport. Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers. Addison-Wesley, 1999.
3. F. Badeau. Using B as a high level programming language in an industrial project: Roissy val. In Proceedings of ZB’05, 2005.
4. P. Behm. Meteor: A successful application of B in a large project. In Proceedings of FM’99, 1999.
5. K.M. Chandy and J. Misra. Parallel Program Design: A Foundation. Addison-Wesley, 1988.
6. R. J. Back and R. Kurki-Suonio. Distributed cooperation with action systems. ACM Transactions on Programming Languages and Systems.10(4): 513-554, 1988.
7. Rodin. European Project Rodin. http://rodin.cs.ncl.ac.uk.
8. J.F. Groote and J.C. Van de Pol. A bounded retransmission protocol for large data packets - a case study in computer checked algebraic verification. Algebraic Methodology and Software Technology: 5th International Conference AMAST’96, Munich. Lecture Notes in Computer Science 1101.
9. G. Le Lann. Distributed systems - towards a formal approach. In B. Gilchrist, editor, Information Processing 77 North-Holland, 1977.
10. N. Lynch. Distributed Algorithms. Morgan Kaufmann Publishers, 1996.
11. W. H. J. Feijen and A. J. M. van Gasteren. On a Method of Multi-programming., Springer. 1999.
12. L. Moreau. Distributed Directory Service and Message Routers for Mobile Agent. Science of Computer Programming 39(2-3): 249-272, 2001.
13. IEEE Standard for a High Performance Serial Bus. Std 1394-1995, August 1995.
14. H.R. Simpson. Four-slot fully asynchronous communication mechanism. Computer and Digital Techniques. IEE Proceedings. 137 (1) (Jan 1990).
15. L. Lamport. Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers. Addison-Wesley, 1999.
16. J. F. Groote and J. C. Van de Pol. A bounded retransmission protocol for large data packets – a case study in computer checked algebraic verification. Lecture Notes in Computer Science 1101. Algebraic Methodology and Software Technology, 5th International Conference AMAST’96, Munich.
17. H. R. Simpson. Four-slot fully asynchronous communication mechanism. Computer and Digital Techniques. IEE Proceedings. Vol. 137 (1) (January 1990).
18. T. Kropf. Formal Hardware Verification: Methods and Systems in Comparison. LNCS State-of-the-art Survey. Springer, 1991
19. G. Le Lann. Distributed systems – towards a formal approach. In B. Gilchrist, editor, Information Processing 77. North-Holland, 1977.
20. N. Lynch. Distributed Algorithms. Morgan Kaufmann Publishers, 1996.
21. W. H. J. Feijen and A. J. M. van Gasteren. On a Method of Multi-programming. Springer, 1999.
22. L. Moreau. Distributed directory service and message routers for mobile agent. Science of Computer Programming39 (2–3): 249–272, 2001.
23. M. Butler. A system-based approach to the formal development of embedded controllers for a railway. Design Automation for Embedded Systems 6, 2002.
24. M. Butler, E. Sekerinski, and K. Sere. An action system approach to the steam boiler problem. In Formal Methods for Industrial Applications. Lecture Notes in Computer Science 1165. Springer-verlag, 1996.
25. A. E. Haxthausen and J. Peleska. Formal Development and Verification of a Distributed Railway Control System. FM’99, Lecture Notes in Computer Science Volume 1709. Springer-verlag, 1999.
26. D. Gries. The Science of Programming. Springer Verlag, 1981
27. 3. Software and Systems Modeling, 2005.
28. G. Berry. Private Communication, 2008.
29. D. Jackson. Software Abstractions: Logic, Language, and Analysis. MIT Press, 2006.
30. T. Nipkow. Verifying a Hotel Key Card System. ICTAC, 2006.
31. J. Earley. An Efficient Context-free Parsing Algorithm. CACM, 1970
32. H. Schorr and W Waite. An Efficient Machine Independent Procedure for Garbage Collection in Various List Structures. CACM, 1967.
33. K. Robinson Private Communication, 2008.
34. J. R. Abrial and D. Cansell. Formal Construction of a Non-blocking Concurrent Queue Algorithm (a Case Study in Atomicity) J. UCS, 2005.
35. N. Lynch. Distributed Algorithms. Morgan Kaufmann Publishers, 1996.
36. S. Wieczorek, A. Roth, A. Stefanescu, and A. Charfi. Precise Steps for Choreography Modeling for SOA Validation and Verification. Proceedings of the Fourth IEEE International Symposium on Service-Oriented System Engineering, 2008.
37. E. W. Dijkstra and C. S. Scholten. Termination Detection for Diffusing Computations. Information Processing Letters, 1980.
38. J. R. Abrial, D. Cansell, and G. Lafitte. Doing Higher-order Mathematics in B, 2005