From Informal Requirements to Property-Driven Formal Validation-Reference-Cited by-同舟云学术

From Informal Requirements to Property-Driven Formal Validation

Author:

Cimatti Alessandro,Roveri Marco,Susi Angelo,Tonetta Stefano

Publisher

Springer Berlin Heidelberg

Link

Reference32 articles.

1. UML Version 2.1.2., http://www.omg.org/spec/UML/2.1.2/

2. Bjorner, D., Jones, C.B. (eds.): The Vienna Development Method: The Meta-Language, vol. 61. Springer, Heidelberg (1978)

4. Aho, A.V., Sethi, R., Ullman, J.D.: Compilers - Principles, techniques and tools. Addison-Wesley, Reading (1986)

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

1. Coupled Requirements-Driven Testing of CPS: From Simulation to Reality;2024 IEEE 32nd International Requirements Engineering Conference (RE);2024-06-24

2. Best Practices for Requirements Validation Process;Communications in Computer and Information Science;2022

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

5. Correct Formalization of Requirement Specifications: A V-Model for Building Formal Models;Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification;2016