Using Transformations in Specification-Based Prototyping.

Valdis Berzins Luqi Amiram Yehudai

Published in: IEEE Trans. Software Eng. (1993)

Keyphrases

formal specification
neural network
specification language
decision making
code generation
data sets
genetic algorithm
website
temporal ordering