ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
Automatic Analysis of Consistency between Requirements and Designs
IEEE Transactions on Software Engineering
Program Synthesis from Formal Requirements Specifications Using APTS
Higher-Order and Symbolic Computation
Evolving car designs using model-based automated safety analysis and optimisation techniques
Journal of Systems and Software - Special issue: Computer software & applications
Using Ontologies and Algebra of Algorithms for Formalized Development of Parallel Programs
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Code generation for a family of executable modelling notations
Software and Systems Modeling (SoSyM)
Using Ontologies and Algebra of Algorithms for Formalized Development of Parallel Programs
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
| Hi-index | 0.00 |
Computer software is playing an increasingly important role in safety-critical embedded computer systems, where incorrect operation of the software could lead to loss of life, substantial material or environmental damage, or large monetary losses. Although software is a powerful and flexible tool for industry, these very advantages have contributed to a corresponding increase in system complexity. In a previous investigation, the Irvine Safety Research Group developed a requirements specification language called the Requirements State Machine Language (RSML) suitable for the specification of safety critical control embedded systems. To simplify and automate the design and implementation process, we have investigated the possibility of automatically generating code from RSML specifications.