Deriving Architecture Specifications from KAOS Specifications: A Research Case Study.

Divya Jani Damien Vanderveken Dewayne E. Perry

Published in: EWSA (2005)

Keyphrases

case study
delay insensitive
formal specification
reactive systems
high level
data structure
software development
specification language
management system
functional requirements
real time
neural network
knowledge base
artificial neural networks
control flow