Model-Based Design for IEC 61508: Towards Translation Validation of Generated Code.

Published in: Software Engineering (Workshops) (2008)

Keyphrases

real time
engineering design
interactive evolutionary computation
learning environment
expert systems
source code
design process
computer aided
clustering algorithm
software systems
design methodology