Formal Methods in Requirements Engineering: Survey and Future Directions-Reference-Cited by-同舟云学术

Formal Methods in Requirements Engineering: Survey and Future Directions

Published:2024-04-14 Issue: Volume:6 Page:88-99
ISSN:
Container-title:Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE)
language:
Short-container-title:

Author:

Lorch Robert¹^ORCID,Meng Baoluo²^ORCID,Siu Kit¹^ORCID,Moitra Abha¹^ORCID,Durling Michael¹^ORCID,Paul Saswata¹^ORCID,Varanasi Sarat Chandra³^ORCID,Mcmillan Craig⁴^ORCID

Affiliation:

1. GE Aerospace Research, Niskayuna, NY, USA

2. GE Aerospace Research, Niskayuna, NY, United States

3. GE Aerospace Research, Niskayuna, NY, United States of America

4. GE Aerospace, Evendale, OH, USA

Funder

Defense Advanced Research Projects Agency

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3644033.3644373

Reference104 articles.

1. Dalal Alrajeh, Jeff Kramer, Axel Van Lamsweerde, Alessandra Russo, and Sebastian Uchitel. 2012. Generating obstacle conditions for requirements completeness. In 2012 34th International Conference on Software Engineering (ICSE). IEEE, 705--715.

2. KM Annervaz, Vikrant Kaulgud, Shubhashis Sengupta, and Milind Savagaonkar. 2013. Natural language requirements quality analysis based on business domain models. In 2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE). IEEE, 676--681.

3. TURTLE-P: a UML profile for the formal validation of critical and distributed systems

4. Paolo Arcaini, Angelo Gargantini, and Elvinia Riccobene. 2011. A model advisor for NuSMV specifications. Innovations in systems and software engineering 7 (2011), 97--107.

5. Tatiana Avdeenko and Natalia Pustovalova. 2015. The ontology-based approach to support the completeness and consistency of the requirements specification. In 2015 International Siberian Conference on Control and Communications (SIBCON). IEEE, 1--4.