Transformational Design of Real-Time Systems. Part II: From Program Specifications to Programs.

Michael Schenke

Published in: Acta Informatica (1999)

Keyphrases

real time systems
control program
embedded systems
real time embedded
control flow
automatic programming
computer programs
architectural model
recursive programs
distributed systems
program execution
low cost
design process
software architecture
program synthesis
high level programming