Formalizing and verifying stochastic system architectures using Monterey Phoenix

Formalizing and verifying stochastic system architectures using Monterey Phoenix

The analysis of software architecture plays an important role in understanding the system structures and facilitate proper implementation of user requirements. Despite its importance in the software engineering practice, the lack of formal description and verification support in this domain hinders...

Full description

Saved in:
Bibliographic Details
Main Authors: SONG, Songzheng, ZHANG, Jiexin, LIU, Yang, AUGUSTON, Mikhail, SUN, Jun, DONG, Jin Song, CHEN, Tieming
Format: text
Language:English
Published: Institutional Knowledge at Singapore Management University 2016
Subjects:
Software Engineering
Systems Architecture
Online Access:https://ink.library.smu.edu.sg/sis_research/4970
https://ink.library.smu.edu.sg/context/sis_research/article/5973/viewcontent/FORMALIZING.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/4970
https://ink.library.smu.edu.sg/context/sis_research/article/5973/viewcontent/FORMALIZING.pdf

Similar Items