Author:
Osama Mohamed,Zaki-Ismail Aya,Abdelrazek Mohamed,Grundy John,Ibrahim Amani
Publisher
Springer Science and Business Media LLC
Subject
Computer Science Applications,Computer Networks and Communications,Computer Graphics and Computer-Aided Design,Computational Theory and Mathematics,Artificial Intelligence,General Computer Science
Reference51 articles.
1. Buzhinsky I. Formalization of natural language requirements into temporal logics: a survey. In: 2019 IEEE 17th international conference on industrial informatics (INDIN), vol. 1. IEEE; 2019. p. 400–6.
2. Lúcio L, Rahman S, Cheng C-H, Mavin A. Just formal enough? Automated analysis of ears requirements. In: NASA formal methods symposium. Berlin: Springer; 2017. p. 427–34.
3. Sládeková V. Methods used for requirements engineering. Master’s thesis, Univerzity Komenského; 2007.
4. Justice B. Natural language specifications for safety-critical systems. Master’s thesis, Carl von Ossietzky Universität; 2013.
5. Mavin A, Wilkinson P, Harwood A, Novak M. Easy approach to requirements syntax (ears). In: Requirements engineering conference, 2009. RE’09. 17th IEEE international. Aug 31-Sep 4; Atlanta, USA; Piscataway; 2009. p. 317–22.