Correct Formalization of Requirement Specifications: A V-Model for Building Formal Models-Reference-Cited by-同舟云学术

Correct Formalization of Requirement Specifications: A V-Model for Building Formal Models

Published:2016 Issue: Volume: Page:106-122
ISSN:0302-9743
Container-title:Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
language:
Short-container-title:

Author:

Filax Marco,Gonschorek Tim,Ortmeier Frank

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-33951-1_8

Reference28 articles.

1. Boehm, B.W.: Verifying and validating software requirements and design specifications. IEEE Softw. 1, 75–88 (1984)

2. Bose, P.: Automated translation of UML models of architectures for verification and simulation using spin. In: ASE, pp. 102–109. IEEE (1999)

3. Lecture Notes in Computer Science;M Brill,2004

4. Burmester, S., Giese, H., Hirsch, M., Schilling, D.: Incremental design and formal verification with UML/RT in the FUJABA real-time tool suite. In: SVERTS, pp. 1–20. Citeseer (2004)

5. Lecture Notes in Computer Science;L Carnevali,2008

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

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

2. A review on security requirements specification by formal methods;Concurrency and Computation: Practice and Experience;2021-11-17

3. Formal Requirements in an Informal World;2020 IEEE Workshop on Formal Requirements (FORMREQ);2020-08

4. Integrating Safety Design Artifacts into System Development Models Using SafeDeML;Model-Based Safety and Assessment;2019

5. Building Models We Can Rely On: Requirements Traceability for Model-Based Verification Techniques;Model-Based Safety and Assessment;2017