Model checking software architecture design
Software Architecture plays an essential role in the high level description of a system design. Despite its importance in the software engineering practice, the lack of formal description and verification support hinders the development of quality architectural models. In this paper, we present an a...
Saved in:
| Main Authors: | , , , , |
|---|---|
| 格式: | text |
| 語言: | English |
| 出版: |
Institutional Knowledge at Singapore Management University
2012
|
| 主題: | |
| 在線閱讀: | https://ink.library.smu.edu.sg/sis_research/5018 https://ink.library.smu.edu.sg/context/sis_research/article/6021/viewcontent/hase12.pdf |
| 標簽: |
添加標簽
沒有標簽, 成為第一個標記此記錄!
|
| 機構: | Singapore Management University |
| 語言: | English |