Transforming Specification Architectures by GenGED.

Roswitha Bardohl Claudia Ermel Julia Padberg

Published in: ICGT (2002)

Keyphrases

high level
data sets
temporal ordering
formal methods
state transition
digital libraries
machine learning
neural network
decision making
website
case study
genetic algorithm
multiscale
special case
object oriented
software engineering
formal specification
databases
state machine
real time