Login / Signup
Rigorous development process of a safety-critical system: from ASM models to Java code.
Paolo Arcaini
Angelo Gargantini
Elvinia Riccobene
Published in:
Int. J. Softw. Tools Technol. Transf. (2017)
Keyphrases
</>
development process
metamodel
software engineering
safety critical
application development
case study
database systems
software development
databases
learning environment
decision support system
software projects