Formally analyzing software architectural specifications using SAM .
Xudong HeHuiqun YuTianjun ShiJunhua DingYi DengPublished in: J. Syst. Softw. (2004)
Keyphrases
- software architecture
- control flow
- written in natural language
- software systems
- high level
- architectural models
- computer systems
- software development
- software design
- real time
- commercial off the shelf
- functional requirements
- distributed systems
- test cases
- software components
- software projects
- software maintenance
- design patterns
- software quality
- development process
- mobile devices
- hardware design
- architectural design
- automated tools
- natural language