Model checking software architecture design

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...

Full description

Saved in:
Bibliographic Details
Main Authors: ZHANG, Jiexin, LIU, Yang, SUN, Jing, DONG, Jin Song, SUN, Jun
Format: text
Language:English
Published: Institutional Knowledge at Singapore Management University 2012
Subjects:
Software Architecture
Formal Verification
Model Checking
Wright
PAT
Software Engineering
Systems Architecture
Online Access:https://ink.library.smu.edu.sg/sis_research/5018
https://ink.library.smu.edu.sg/context/sis_research/article/6021/viewcontent/hase12.pdf
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: Singapore Management University
Language: English

Internet

https://ink.library.smu.edu.sg/sis_research/5018
https://ink.library.smu.edu.sg/context/sis_research/article/6021/viewcontent/hase12.pdf

Similar Items