IEEE - Institute of Electrical and Electronics Engineers, Inc. - A Case Study on Code Generation of an ERP System from Event-B

2015 IEEE International Conference on Software Quality, Reliability and Security (QRS)

Author(s): Nestor Catano ; Tim Wahls
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 August 2015
Conference Location: Vancouver, BC, Canada
Conference Date: 3 August 2015
Page(s): 183 - 188
ISBN (CD): 978-1-4673-7988-5
ISBN (Electronic): 978-1-4673-7989-2
DOI: 10.1109/QRS.2015.34
Regular:

Most code generation tools for Event-B are designed for generating small, in-memory applications such as embedded controllers. In this work, we investigate whether the EventB2SQL tool (Wang and... View More

Advertisement