Using monterey phoenix to formalize and verify system architectures
Modeling and analyzing software architectures are useful for helping to understand 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 hinders the develop...
Saved in:
Main Authors: | ZHANG, Jiexin, LIU, Yang, AUGUSTON, Mikhail, SUN, Jun, DONG, Jin Song |
---|---|
Format: | text |
Language: | English |
Published: |
Institutional Knowledge at Singapore Management University
2012
|
Subjects: | |
Online Access: | https://ink.library.smu.edu.sg/sis_research/5014 https://ink.library.smu.edu.sg/context/sis_research/article/6017/viewcontent/APSEC_2012.pdf |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | Singapore Management University |
Language: | English |
Similar Items
-
Formalizing and verifying stochastic system architectures using Monterey Phoenix
by: SONG, Songzheng, et al.
Published: (2016) -
Using monterey phoenix to formalize and verify system architectures
by: Zhang, Jiexin, et al.
Published: (2013) -
Using monterey phoenix to formalize and verify system architectures
by: Zhang, J., et al.
Published: (2013) -
Formalizing and verifying software architectures
by: ZHANG JIEXIN
Published: (2012) -
Modeling and verifying hierarchical real-time systems using stateful timed CSP
by: SUN, Jun, et al.
Published: (2013)