Formal Abstract Architecture for Use Case Specifications.
Ondrej RysavýFrantisek BuresPublished in: ECBS (2004)
Keyphrases
- reactive systems
- formal specification
- high level
- formal model
- operational semantics
- software architecture
- formal language
- management system
- network architecture
- state machines
- real time
- formal methods
- class diagram
- transition systems
- code generation
- distributed architecture
- control flow
- data flow
- website
- neural network