Formalizing and verifying software architectures

Master's

Saved in:

Bibliographic Details
Main Author:	ZHANG JIEXIN
Other Authors:	COMPUTER SCIENCE
Format:	Theses and Dissertations
Language:	English
Published:	2012
Subjects:	Software Architecture, Model Checking, Formal Verification, Software Architecture Description Language, Architecture Style, PAT
Online Access:	http://scholarbank.nus.edu.sg/handle/10635/35534
Tags:	Add Tag No Tags, Be the first to tag this record!
Institution:	National University of Singapore
Language:	English

id	sg-nus-scholar.10635-35534
record_format	dspace
spelling	sg-nus-scholar.10635-355342015-01-10T20:30:04Z Formalizing and verifying software architectures ZHANG JIEXIN COMPUTER SCIENCE DONG JIN SONG Software Architecture, Model Checking, Formal Verification, Software Architecture Description Language, Architecture Style, PAT Master's MASTER OF SCIENCE 2012-11-30T18:01:07Z 2012-11-30T18:01:07Z 2012-08-17 Thesis ZHANG JIEXIN (2012-08-17). Formalizing and verifying software architectures. ScholarBank@NUS Repository. http://scholarbank.nus.edu.sg/handle/10635/35534 NOT_IN_WOS en
institution	National University of Singapore
building	NUS Library
country	Singapore
collection	ScholarBank@NUS
language	English
topic	Software Architecture, Model Checking, Formal Verification, Software Architecture Description Language, Architecture Style, PAT
spellingShingle	Software Architecture, Model Checking, Formal Verification, Software Architecture Description Language, Architecture Style, PAT ZHANG JIEXIN Formalizing and verifying software architectures
description	Master's
author2	COMPUTER SCIENCE
author_facet	COMPUTER SCIENCE ZHANG JIEXIN
format	Theses and Dissertations
author	ZHANG JIEXIN
author_sort	ZHANG JIEXIN
title	Formalizing and verifying software architectures
title_short	Formalizing and verifying software architectures
title_full	Formalizing and verifying software architectures
title_fullStr	Formalizing and verifying software architectures
title_full_unstemmed	Formalizing and verifying software architectures
title_sort	formalizing and verifying software architectures
publishDate	2012
url	http://scholarbank.nus.edu.sg/handle/10635/35534
_version_	1681081608344436736

Formalizing and verifying software architectures

Similar Items