Roberto Acerbis, Aldo Bongio, Marco Brambilla & Stefano Butti (2015):
Model-Driven Development of Cross-Platform Mobile Applications with Web Ratio and IFML.
In: Proceedings of the 2015 2nd ACM International Conference on Mobile Software Engineering and Systems,
MOBILESOFT '15.
IEEE Computer Society,
Washington, DC, USA,
pp. 170–171,
doi:10.1109/MobileSoft.2015.49.
Judy Bowen (2008):
Formal Models and Refinement for Graphical User Interface Design,
Hamilton, New Zealand.
Available at http://hdl.handle.net/10289/3995.
Doctoral.
Judy Bowen & Steve Reeves (2007):
Formal models for informal GUI designs.
Electronic Notes in Theoretical Computer Science 183,
pp. 57–72,
doi:10.1016/j.entcs.2007.01.061.
Gudmund Grov (2017):
The Tinker GUI for Graphical Proof Strategies (tool demo).
In: 3rd workshop on Formal Integrated Development Environment (F-IDE),
doi:10.4204/EPTCS.240.8.
Gudmund Grov & Yuhui Lin (2018):
The Tinker tool for graphical tactic development.
International Journal on Software Tools for Technology Transfer 20(2),
pp. 139–155,
doi:10.1007/s10009-017-0452-7.
Constance Heitmeyer, James Kirby, Bruce Labaw & Ramesh Bharadwaj (1998):
SCR: A toolset for specifying and analyzing software requirements.
In: International Conference on Computer Aided Verification.
Springer,
pp. 526–531,
doi:10.1007/BFb0028775.
Thai Son Hoang, Colin Snook, Lukas Ladenberger & Michael Butler (2016):
Validating the requirements and design of a hemodialysis machine using iUML-B, BMotion Studio, and co-simulation.
In: International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z.
Springer,
pp. 360–375,
doi:10.1007/978-3-319-33600-8_31.
Ciera Jaspan, Michael Keeling, Larry Maccherone, Gabriel L Zenarosa & Mary Shaw (2009):
Software mythbusters explore formal methods.
IEEE Software 26(6),
pp. 60,
doi:10.1109/MS.2009.188.
Jörg Kreiker, Andrzej Tarlecki, Moshe Y Vardi & Reinhard Wilhelm (2011):
Modeling, Analysis, and Verification - The Formal Methods Manifesto 2010.
Dagstuhl Manifestos 1(1).
Lukas Ladenberger, Jens Bendisposto & Michael Leuschel (2009):
Visualising event-B models with B-motion studio.
In: International Workshop on Formal Methods for Industrial Critical Systems.
Springer,
pp. 202–204,
doi:10.1007/978-3-642-04570-7_17.
Peter Gorm Larsen, John S Fitzgerald & Sune Wolff (2010):
Are Formal Methods Ready for Agility? A Reality Check..
In: FM+ AM,
pp. 13–25.
Paolo Masci, Patrick Oladimeji, Yi Zhang, Paul Jones, Paul Curzon & Harold Thimbleby (2015):
PVSio-web 2.0: Joining PVS to HCI.
In: International Conference on Computer Aided Verification.
Springer,
pp. 470–478,
doi:10.1007/978-3-319-21690-4_30.
T. Oda, K. Araki & P. G. Larsen (2015):
VDMPad: A Lightweight IDE for Exploratory VDM-SL Specification.
In: 2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering,
pp. 33–39,
doi:10.1109/FormaliSE.2015.13.
Tomohiro Oda, Y Yamomoto, Kumiyo Nakakoji, Keijiro Araki & Peter Gorm Larsen (2015):
VDM animation for a wider range of stakeholders.
In: Proceedings of the 13th Overture Workshop,
pp. 18–32.
Sam Owre, John M. Rushby & Natarajan Shankar (1992):
PVS: A Prototype Verification System.
In: Proceedings of the 11th International Conference on Automated Deduction: Automated Deduction,
CADE-11.
Springer Berlin Heidelberg,
pp. 748–752,
doi:10.1007/3-540-55602-8_217.
Ana CR Paiva, João CP Faria & Pedro MC Mendes (2007):
Reverse engineered formal models for GUI testing.
In: Formal methods for industrial critical systems.
Springer,
pp. 218–233,
doi:10.1007/978-3-540-79707-4_16.
Nathan Robb (2015):
Exploring Aspects of Automated Test Generation on Models.
Unpublished honours report.
University of Waikato.
Jon Whittle, John Hutchinson & Mark Rouncefield (2014):
The state of practice in model-driven engineering.
IEEE Software 31(3),
pp. 79–85,
doi:10.1109/MS.2013.65.
Marco Winckler & Philippe Palanque (2003):
StateWebCharts: A formal description technique dedicated to navigation modelling of web applications.
In: Interactive Systems. Design, Specification, and Verification.
Springer,
pp. 61–76,
doi:10.1007/978-3-540-39929-2_5.