Automated formalization of structured natural language requirements-Reference-Cited by-同舟云学术

Automated formalization of structured natural language requirements

Author:

Giannakopoulou Dimitra,Pressburger Thomas,Mavridou Anastasia,Schumann Johann

Funder

NASA

Publisher

Elsevier BV

Subject

Computer Science Applications,Information Systems,Software

Reference61 articles.

1. RAT: a tool for the formal analysis of requirements;Bloem,2007

2. Requirements capture and analysis in assert(TM);Crapo,2017

3. SpeAR v2.0: formalized past LTL specification and analysis of requirements;Fifarek,2017

4. Towards realizability checking of contracts using theories;Gacek,2015

5. Vacuity detection in temporal model checking;Kupferman;Int. J. Softw. Tool. Technol. Transf.,2003

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

4. Inter-Step Consistency Analysis in Early Phases of MBSE Approaches;2024 7th International Conference on Software and System Engineering (ICoSSE);2024-04-19

5. Formal Methods in Requirements Engineering: Survey and Future Directions;Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE);2024-04-14