A survey of safety-oriented model-driven and formal development approaches

Author： Prokhorova Yuliya Troubitsyna Elena

ISSN： 1757-8779

Source： International Journal of Critical Computer-Based Systems, Vol.4, Iss.2, 2013-09, pp. : 93-118

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Model-Driven Approaches to Service Composition

International Journal of Adaptive, Resilient and Autonomic Systems (IJARAS), Vol. 4, Iss. 4, 2013-10 ,pp. : 18-35

IGI Global_journal

Access to resources Recommend Favorite

Model-Driven Web Service Development

International Journal of Web Services Research (IJWSR), Vol. 1, Iss. 4, 2004-10 ,pp. : 1-13

IGI Global_journal

Access to resources Recommend Favorite

Semantic model-driven development of web service architectures

By Pahl Claus

International Journal of Web Engineering and Technology, Vol. 4, Iss. 3, 2008-07 ,pp. : 386-404

Inderscience Publishers

Access to resources Recommend Favorite

Tool Support for Model-driven Development of Web Applications

International Journal of Information Technology and Web Engineering (IJITWE), Vol. 2, Iss. 3, 2007-07 ,pp. : 65-78

IGI Global_journal

Access to resources Recommend Favorite

Applying model-driven development to distributed real-time and embedded avionics systems

By Balasubramanian Krishnakumar Krishna Arvind S. Turkay Emre Balasubramanian Jaiganesh Parsons Jeff Gokhale Aniruddha Schmidt Douglas C.

International Journal of Embedded Systems, Vol. 2, Iss. 3-4, 2007-08 ,pp. : 142-155

Inderscience Publishers

Access to resources Recommend Favorite