Sign in

Using Transformations in Specification-Based Prototyping.

Valdis Berzins LuqiAmiram 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