The ASM Ground Model Method as a Foundation of Requirements Engineering-Reference-Cited by-同舟云学术

The ASM Ground Model Method as a Foundation of Requirements Engineering

Published:2003 Issue: Volume: Page:145-160
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Börger Egon

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-39910-0_6

Reference32 articles.

1. Methodologies and technologies for industrial strength systems engineering. http://www.matisse.qinetiq.com/ , 1999. Project number IST-1999-11435.

2. J.-R. Abrial. The B-Book. Cambridge University Press, 1996.

3. D. Barnocchi. L’‘Evidenza’ nell’assiomatica aristotelica (contributo all’inter-pretazione dell’assiomatica aristotelica alla luce della moderna logica matematica). Proteus, 5:133–144, 1971.

4. D. M. Berry. The importance of ignorance in requirements engineering. J. of Systems and Software, 28(2):179–184, 1995.

5. D. M. Berry. Formal methods: the very idea. some thoughts on why they work when they work. Science of Computer Programming, 42(1):11–27, 2002.

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

1. Verifying System-Level Security of a Smart Ballot Box;Rigorous State-Based Methods;2021

2. Language and Communication Problems in Formalization: A Natural Language Approach;Logic, Computation and Rigorous Methods;2021

3. Modeling Distributed Algorithms by Abstract State Machines Compared to Petri Nets;Lecture Notes in Computer Science;2016

4. Abstract state machine nets;Proceedings of the 7th International Conference on Subject-Oriented Business Process Management;2015-04-23

5. The Subject-Oriented Approach to Software Design and the Abstract State Machines Method;Conceptual Modelling and Its Theoretical Foundations;2012