Hebig, R. (2014) On the Need to Study the Impact of Model Driven Engineering on Software Processes. In Proceedings of 2014 International Conference on Software and System Process, Nanjing, 26-28 May 2014, 164-168.
https://doi.org/10.1145/2600821.2600846

has been cited by the following article:

• TITLE: An Augmented Framework for Formal Analysis of Safety Critical Systems

  AUTHORS: Monika Singh, V. K. Jain

  KEYWORDS: Unified Modeling Language, Formal Methods, Z Notation, Safety Critical System

  JOURNAL NAME: Journal of Software Engineering and Applications, Vol.10 No.8, July 11, 2017

  ABSTRACT: This paper presents an augmented framework for analyzing Safety Critical Systems (SCSs) formally. Due to high risk of failure, development process of SCSs is required more attention. Model driven approaches are the one of ways to develop SCSs for accomplishing critical and complex function what SCSs are supposed to do. Two model driven approaches: Unified Modeling Language (UML) and Formal Methods are combined in proposed framework which enables the analysis, designing and testing safety properties of SCSs more rigorously in order to reduce the ambiguities and enhance the correctness and completeness of SCSs. A real time case study has been discussed in order to validate the proposed framework.