Author:
Zaki-Ismail Aya,Osama Mohamed,Abdelrazek Mohamed,Grundy John,Ibrahim Amani
Publisher
Springer Science and Business Media LLC
Reference35 articles.
1. Bitsch, F.: Safety patterns—the key to formal specification of safety requirements. In: International Conference on Computer Safety, Reliability, and Security, pp. 176–189. Springer (2001)
2. Brunello, A., Montanari, A., Reynolds, M.: Synthesis of ltl formulas from natural language texts: State of the art and research directions. In: 26th International Symposium on Temporal Representation and Reasoning (TIME 2019). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik (2019)
3. Buzhinsky, I.: Formalization of natural language requirements into temporal logics: a survey. In: 2019 IEEE 17th International Conference on Industrial Informatics (INDIN), vol. 1, pp. 400–406. IEEE (2019)
4. Buzhinsky, I.: Formalization of natural language requirements into temporal logics: a survey pp. 400–406 (2019)
5. Das, B., Majumder, M., Phadikar, S.: A novel system for generating simple sentences from complex and compound sentences. Int. J. Modern Educ. Comput. Sci. 11(1), 57 (2018)
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. On the Contents and Utility of IoT Cybersecurity Guidelines;Proceedings of the ACM on Software Engineering;2024-07-12
2. Natural Language Processing for Text Mining: Leveraging Linguistic Features for Classification;2024 International Conference on Emerging Smart Computing and Informatics (ESCI);2024-03-05
3. Legal Definition Annotation in EU Legislation Using Symbolic AI;Lecture Notes in Computer Science;2024
4. Automated Framework to Extract Software Requirements from Source Code;Proceedings of the 2023 7th International Conference on Natural Language Processing and Information Retrieval;2023-12-15
5. Automating Extraction of Problem Diagrams from Natural Language Requirement Documents;2023 IEEE 31st International Requirements Engineering Conference Workshops (REW);2023-09