From Informal Requirements to a Running Program: A Case Study in Algebraic Specification and Transformational Programming.
Helmuth PartschPublished in: Sci. Comput. Program. (1989)
Keyphrases
- computer programs
- programming environment
- programming course
- program understanding
- high level programming language
- programming language
- programming environments
- case study
- novice programmers
- reactive systems
- programming education
- control flow
- program code
- automatic programming
- test bed
- control program
- specification language
- formal verification
- exception handling
- high level
- requirements analysis
- development environment
- concurrent programming
- introductory programming
- application specific
- fault localization
- informal learning
- computer programming
- modelling language
- formal specification
- functional requirements
- database