An UML+Z Framework For Validating And Verifying the Static Aspect of Safety Critical System-Reference-Cited by-同舟云学术

An UML+Z Framework For Validating And Verifying the Static Aspect of Safety Critical System

Published:2016 Issue: Volume:85 Page:352-361
ISSN:1877-0509
Container-title:Procedia Computer Science
language:en
Short-container-title:Procedia Computer Science

Author:

Singh Monika,Sharma Ashok Kumar,Saxena Ruhi

Publisher

Elsevier BV

Subject

General Engineering

Reference30 articles.

1. Rumbaugh, I. Jacobson and G. Booch, 2006 The Unified Modeling Language Reference Manual, Second Edition,.

2. N. H. Ali, Z. Shukur and S. Idris 2007. A Design of an Assessment System for UML Class Diagram, International Conference on Computational Science and Applications, Kuala Lumpur, (26-29 August) pp. 539-546.

3. R. Miles and K. Hamilton 2006. Learning UML 2.0 1st Edition, O’Reilly Media, Sebastopol, pp 288.

4. R. Borges and A. Mota 2003. Integrating UML and Formal Methods, Electronic Notes in Theoretical Computer Science, Vol. 84, pp. 97-112.

5. M. Brendan and J. S. Dong 1998. Blending Object-Z and Timed CSP: An Introduction to TCOZ, Proceedings of International Conference on Software Engineering, Kyoto, (19-25 April), and pp. 95-104.

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. UCLAONT: Ontology-Based UML Class Models Verification Tool;Applied Sciences;2022-01-28

2. Ontology-Based Verification of UML Class Model XOR Constraint and Dependency Relationship Constraints;Intelligent Automation & Soft Computing;2021

3. INTEGRATING UML 2.0 ACTIVITY DIAGRAMS AND PI-CALCULUS FOR MODELING AND VERIFICATION OF SOFTWARE SYSTEMS USING TGG;Jordanian Journal of Computers and Information Technology;2020

4. Dependability analysis of safety critical systems: Issues and challenges;Annals of Nuclear Energy;2018-10