From Domain Models to Components - A Formal Transformation Approach Towards Dependable Software Development

Many academic, industrial, and government research units have unanimously acknowledged the importance of developing dependable software systems. At the same time they have also concurred on the difficulties and challenges to be surmounted in achieving the goal. The importance of domain analysis and...

Full description

Bibliographic Details
Main Author: Ghaemi, Afsoon
Format: Others
Published: 2011
Online Access:http://spectrum.library.concordia.ca/7377/1/Ghaemi_MASc_S2011.pdf
Ghaemi, Afsoon <http://spectrum.library.concordia.ca/view/creators/Ghaemi=3AAfsoon=3A=3A.html> (2011) From Domain Models to Components - A Formal Transformation Approach Towards Dependable Software Development. Masters thesis, Concordia University.