Code Generation from Requirements Specifications: A Case Study
📜 Abstract
To demonstrate the viability of a new paradigm in software requirements analysis and to evaluate a process model that implements this paradigm, a case study was undertaken. The study involved the automated transformation of a requirements specification into an executable program. This transformation was performed by first producing a formal specification in the process programming language, Little-JIL, and then by executing this specification using the process execution environment, Juliette. The experience of conducting this study and some preliminary evaluations of the process model are described.
✨ Summary
This paper, titled “Code Generation from Requirements Specifications: A Case Study,” was published in 2003 by authors Locke Carter and Leon J. Osterweil. It explores a novel approach in software requirements analysis by conducting a case study on the automated transformation of requirements specifications into executable programs. The authors use the process programming language Little-JIL and its execution environment Juliette to demonstrate this transformation.
The study provides insights into how formal methods can be applied to requirements analysis and highlights the potential of automatic transformation tools in software development workflows.
In the wider academic and industrial context, this paper contributes to the field of formal methods and software engineering, opening pathways for further exploration and development of tools that automate code generation from specifications. However, a web search indicates that the specific references to further research or industrial applications citing this particular paper directly are limited. Despite this, the concepts discussed in the paper are foundational and relevant to fields such as program synthesis and automatic software tool development. No direct citations were found linking back to this work in subsequent research or industry applications.