Keyphrases
- simulated annealing
- code generation
- rapid prototyping
- high level
- formal specification
- delay insensitive
- specification language
- development process
- tabu search
- reactive systems
- control flow
- genetic algorithm ga
- multi agent
- software engineering
- error rate
- databases
- data model
- optimal solution
- finite state machines
- conceptual models
- similarity measure
- knowledge base
- information systems
- formal language
- genetic algorithm
- real world
- concurrent systems
- neural network