Structural Synthesis of Programs from Refined User Requirements (Programming Boiler Control in NUT).
Mattin AddibpourEnn TyuguPublished in: Formal Methods for Industrial Applications (1995)
Keyphrases
- user requirements
- end users
- programming environment
- control structures
- control program
- high level language
- functional programs
- programming language
- structural information
- automatic programming
- computer programs
- structural analysis
- error handling
- data acquisition
- high level programming language
- programming environments
- control structure
- neural network
- power plant
- control method
- program code
- monitoring system
- artificial neural networks
- real time