A Comparison of State-Based Modelling Tools for Model Validation-Reference-Cited by-同舟云学术

A Comparison of State-Based Modelling Tools for Model Validation

Published:2008 Issue: Volume: Page:278-296
ISSN:1865-1348
Container-title:Objects, Components, Models and Patterns
language:
Short-container-title:

Author:

Aydal Emine G.,Utting Mark,Woodcock Jim

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-69824-1_16

Reference19 articles.

1. Van Lamsweerde, A.: Formal Specification; a Roadmap: The Future of Software Engineering. In: Finkelstein, A. (ed.), ACM Press (2000) ISBN 1-58113-253-0

2. UML Resource Page (2007), http://www.uml.org/

3. Bertolino, A., Marchetti, E., Muccini, H.: Introducing a reasonably complete and coherent approach for MBT. Electr. Notes Theor. Comput. Sci. 116, 85–97 (2005)

4. Lecture Notes in Computer Science;A. Cavarra,2002

5. Jackson, D.: A Comparison of Object Modelling Notations: Alloy, UML and Z, MIT Lab for Computer Science (1999)

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

1. State Based Modelling of Haul Truck Operation in Undeground Mines;2023 13th International Conference on Advanced Computer Information Technologies (ACIT);2023-09-21

2. Comparing formal models of IoT app coordination analysis;Proceedings of the 3rd ACM SIGSOFT International Workshop on Software Security from Design to Deployment;2020-11-08

3. Metamodel Based Methodology for Dynamic Component Systems;Modelling Foundations and Applications;2012

4. A Constructive Approach to Testing Model Transformations;Theory and Practice of Model Transformations;2010

5. Comparison of Model Checking Tools for Information Systems;Formal Methods and Software Engineering;2010