Compositional specification of event-based software architectural styles.
Imen LoulouAhmed Hadj KacemMohamed JmaielKhalil DriraPublished in: AICCSA (2006)
Keyphrases
- software architecture
- software development
- commercial off the shelf
- software tools
- high level
- highly modular
- source code
- event driven
- formal specification
- formal methods
- software testing
- test case generation
- architectural design
- hardware design
- data flow
- software maintenance
- software systems
- information systems
- real time
- software quality
- software design
- software package
- software packages
- computer software
- software platform
- test cases
- requirements specification
- distributed systems
- tool suite