Login / Signup
Structural Synthesis of Programs from Refined User Requirements (Programming Boiler Control in NUT).
Mattin Addibpour
Enn Tyugu
Published 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