A heterogeneous approach to service-oriented systems specification.

Alexander Knapp Grzegorz Marczynski Martin Wirsing Artur Zawlocki

Published in: SAC (2010)

Keyphrases

high level
formal specification
formal verification
conceptual model
specification language
neural network
genetic algorithm
feature selection
multiscale
natural language
multi agent systems
data management
model checking
highly dynamic
formal methods