This Is Not a Model-Reference-Cited by-同舟云学术

This Is Not a Model

Published:2018 Issue: Volume: Page:206-224
ISSN:0302-9743
Container-title:Leveraging Applications of Formal Methods, Verification and Validation. Modeling
language:
Short-container-title:

Author:

Madsen Ole Lehrmann,Møller-Pedersen Birger

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-030-03418-4_13

Reference46 articles.

1. Lecture Notes in Computer Science;OL Madsen,2010

2. Lecture Notes in Computer Science;M Broy,2016

3. Dahl, O.-J., Myhrhaug, B., Nygaard, K.: SIMULA 67 Common Base Language (Editions 1968, 1970, 1972, 1984). Norwegian Computing Center, Oslo (1968)

4. Coad, P., Yourdon, E.: Object-Oriented Analysis. Prentice-Hall, Englewood Cliffs (1991)

5. Rumbaugh, J., et al.: Object-Oriented Modeling and Design. Prentice Hall, Englewood Cliffs (1991)

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

1. On abstraction in the OMG hierarchy;Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings;2022-10-23

2. Using Supplementary Properties to Reduce the Need for Documentation;Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering;2022

3. What is the Natural Abstraction Level of an Algorithm?;Logic, Computation and Rigorous Methods;2021

4. Real Models are Really on M0 - Or How to Make Programmers Use Modeling;Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development;2020

5. Towards a Unified View of Modeling and Programming (ISoLA 2018 Track Introduction);Leveraging Applications of Formal Methods, Verification and Validation. Modeling;2018