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...
Main Author: | |
---|---|
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. |
Internet
http://spectrum.library.concordia.ca/7377/1/Ghaemi_MASc_S2011.pdfGhaemi, 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.