Safe MDE concerns Certification and Qualification Application to Code generation tools Application to Static analysis tools Certification and qualification concerns in the

First Page		Document Content
Date: 2010-08-20 05:35:01 Software engineering Computing Systems engineering Architecture description language Software architecture Systems architecture Software testing Architecture Analysis & Design Language Programming tool Static program analysis SIGNAL Abstract interpretation		Safe MDE concerns Certification and Qualification Application to Code generation tools Application to Static analysis tools Certification and qualification concerns in the Add to Reading List Source URL: d3s.mff.cuni.cz Download Document from Source Website File Size: 379,29 KB Share Document on Facebook

	Specification of an Architecture Meta-Model∗ Raphael Weber, Philipp Reinkemeier, Eike Thaden, DocID: 1qLtK - View Document
	Safe MDE concerns Certification and Qualification Application to Code generation tools Application to Static analysis tools Certification and qualification concerns in the DocID: 1qwv3 - View Document
	Metamodel Usage Analysis for Identifying Metamodel Improvements Markus Herrmannsdoerfer, Daniel Ratiu, and Maximilian Koegel Institut f¨ ur Informatik, Technische Universit¨ at M¨ DocID: 1qkat - View Document
	Taming Multi-Paradigm Integration in a Software Architecture Description Language Daniel Balasubramanian, Tihamer Levendovszky, Abhishek Dubey, and Gábor Karsai Institute for Software Integrated Systems Department of El DocID: 1oUXp - View Document
	Using visualisation to elicit domain information as part of the Model Driven Architecture approach John Mathenge Kanyaru, Melanie Coles, Sheridan Jeary, and Keith Phalp Software Systems Research Centre Bournemouth Univer DocID: 1nWfj - View Document