From system specifications to component behavioral models.

Ivo Krka George Edwards Yuriy Brun Nenad Medvidovic

Published in: ICSE Companion (2009)

Keyphrases

behavioral models
hierarchical structures
formal specification
database
databases
information retrieval
high level
artificial neural networks
supply chain
information retrieval systems
architectural models