References

  1. Jean-Raymond Abrial (2010): Modeling in Event-B - System and Software Engineering. Cambridge University Press. Available at http://www.cambridge.org/uk/catalogue/catalogue.asp?isbn=9780521895569, doi:10.1017/CBO9781139195881.
  2. Jean-Raymond Abrial, Michael Butler, Stefan Hallerstede, Thai Son Hoang, Farhad Mehta & Laurent Voisin (2010): Rodin: an open toolset for modelling and reasoning in Event-B. Int. J. Softw. Tools Technol. Transf. 12, pp. 447–466, doi:10.1007/s10009-010-0145-y.
  3. Jean-Raymond Abrial & Stefan Hallerstede (2007): Refinement, Decomposition, and Instantiation of Discrete Models: Application to Event-B. Fundam. Inf. 77(1-2), pp. 1–28.
  4. Eric Allen, David Chase, Victor Luchangco, Jan-Willem Maessen & Guy L Steele Jr (2004): Object-oriented units of measurement. ACM SIGPLAN Notices 39(10), pp. 384–403, doi:10.1145/1028976.1029008.
  5. Frédéric Boniol & Virginie Wiels (2014): The Landing Gear System Case Study. In: ABZ 2014: The Landing Gear Case Study. Springer, pp. 1–18, doi:10.1007/978-3-319-07512-9_1.
  6. Jonathan Bowen & Victoria Stavridou (1993): Safety-critical systems, formal methods and standards. Software Engineering Journal 8(4), pp. 189–209, doi:10.1049/sej.1993.0025.
  7. Hervé Brönnimann, Guillaume Melquiond & Sylvain Pion (2003): The Boost interval arithmetic library. In: Real Numbers and Computers, pp. 65–80.
  8. Jonathan Cooper & Steve McKeever (2008): A model-driven approach to automatic conversion of physical units. Software: Practice and Experience 38(4), pp. 337–359, doi:10.1002/spe.828.
  9. Sophia Drossopoulou, Susan Eisenbach & Sarfraz Khurshid (1999): Is the Java type system sound?. TAPOS 5(1), pp. 3–24.
  10. Jérôme Euzenat & Pavel Shvaiko (2007): Ontology matching 18. Springer, doi:10.1007/978-3-642-38721-0.
  11. J. Paul Gibson, Eric Lallet & Jean-Luc Raffy (2011): Formal Object Oriented Development of a Voting System Test Oracle. Innovations in Systems and Software Engineering (Special issue UML-FM11) 7(4), pp. 237–245, doi:10.1007/s11334-011-0167-y.
  12. James Gleick (2011): Chaos: Making a new science (Enhanced edition). Open Road Media.
  13. David Goldberg (1991): What every computer scientist should know about floating-point arithmetic. ACM Computing Surveys (CSUR) 23(1), pp. 5–48, doi:10.1145/103162.103163.
  14. Thomas R Gruber & Gregory R Olsen (1994): An Ontology for Engineering Mathematics. KR 94, pp. 258–269.
  15. Timothy Hickey, Qun Ju & Maarten H Van Emden (2001): Interval arithmetic: From principles to implementation. Journal of the ACM (JACM) 48(5), pp. 1038–1068, doi:10.1145/502102.502106.
  16. Thai Son Hoang, Laurent Voisin, A. Salehi, Michael J. Butler, Toby Wilkinson & N. Beauger (2017): Theory Plug-in for Rodin 3.x. CoRR abs/1701.08625. Available at http://arxiv.org/abs/1701.08625.
  17. Lingxiao Jiang & Zhendong Su (2006): Osprey: a practical type system for validating dimensional unit correctness of C programs. In: Proceedings of the 28th international conference on Software engineering. ACM, pp. 262–271, doi:10.1145/1134285.1134323.
  18. R Baker Kearfott (1996): Interval computations: Introduction, uses, and resources. Euromath Bulletin 2(1), pp. 95–112.
  19. Andrew Kennedy (1996): Programming languages and dimensions. University of Cambridge, Computer Laboratory.
  20. Amel Mammar & Régine Laleau (2014): Modeling a landing gear system in Event-B. In: International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z. Springer, pp. 80–94, doi:10.1007/978-3-319-07512-9_6.
  21. Dominique Méry, Rushikesh Sawant & Anton Tarasyuk (2015): Integrating Domain-Based Features into Event-B: A Nose Gear Velocity Case Study. In: Ladjel Bellatreche & Yannis Manolopoulos: Model and Data Engineering - 5th International Conference, MEDI 2015, Rhodes, Greece, September 26-28, 2015, Proceedings, Lecture Notes in Computer Science 9344. Springer, pp. 89–102, doi:10.1007/978-3-319-23781-7_8.
  22. Ramon E. Moore (1962): Interval Arithmetic and Automatic Error Analysis in Digital Computing. Department of Computer Science, Stanford University.
  23. TJ Quinn (1995): Base units of the Système International d'Unités, their accuracy, dissemination and international traceability. Metrologia 31(6), pp. 515, doi:10.1088/0026-1394/31/6/011.
  24. V Frederick Rickey (1992): How Columbus encountered America. Mathematics Magazine 65(4), pp. 219–225, doi:10.2307/2691445.
  25. Brian J Sauser, Richard R Reilly & Aaron J Shenhar (2009): Why projects fail? How contingency theory can provide new insights - A comparative analysis of NASA’s Mars Climate Orbiter loss. International Journal of Project Management 27(7), pp. 665–679, doi:10.1016/j.ijproman.2009.01.004.
  26. Wen Su, Jean-Raymond Abrial & Huibiao Zhu (2014): Formalizing hybrid systems with Event-B and the Rodin platform. Science of Computer Programming 94, pp. 164–202, doi:10.1016/j.scico.2014.04.015.
  27. Ambler Thompson & Barry N Taylor (2008): Guide for the Use of the International System of Units (SI). Special Publication (NIST SP)-811, doi:10.6028/NIST.SP.811e2008.
  28. Hernán Wilkinson, Máximo Prieto & Luciano Romeo (2005): Arithmetic with Measurements on Dynamically-typed Object-oriented Languages. In: Companion to the 20th Annual ACM SIGPLAN Conference on Object-oriented Programming, Systems, Languages, and Applications, OOPSLA '05. ACM, New York, NY, USA, pp. 292–300, doi:10.1145/1094855.1094964.

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org