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