English
Related papers

Related papers: Natural Language Processing for Requirements Forma…

200 papers

Automated testing plays a crucial role in ensuring software security. It heavily relies on formal specifications to validate the correctness of the system behavior. However, the main approach to defining these formal specifications is…

Software Engineering · Computer Science 2025-04-03 Hui Li , Zhen Dong , Siao Wang , Hui Zhang , Liwei Shen , Xin Peng , Dongdong She

Since the invention of computers, communication through natural language (actual human language) has been a dream technology. However, natural language is extremely difficult to mathematically formulate, making it difficult to realize as an…

Computation and Language · Computer Science 2023-10-11 Masahiro Yamamoto

Most business process automation is still developed using traditional automation technologies such as workflow engines. These systems provide domain specific languages that require both business knowledge and programming skills to…

Computation and Language · Computer Science 2022-07-22 Michael Desmond , Evelyn Duesterwald , Vatche Isahagian , Vinod Muthusamy

Prototyping is an effective and efficient way of requirement validation to avoid introducing errors in the early stage of software development. However, manually developing a prototype of a software system requires additional efforts, which…

Software Engineering · Computer Science 2019-08-12 Yilong Yang , Xiaoshan Li , Zhiming Liu , Wei Ke , Quan Zu , Xiaohong Chen

Natural Language Processing (NLP) aims to analyze text or speech via techniques in the computer science field. It serves applications in the domains of healthcare, commerce, education, and so on. Particularly, NLP has been widely applied to…

Computation and Language · Computer Science 2025-10-14 Yunshi Lan , Xinyuan Li , Hanyue Du , Xuesong Lu , Ming Gao , Weining Qian , Aoying Zhou

Natural language processing (NLP) research combines the study of universal principles, through basic science, with applied science targeting specific use cases and settings. However, the process of exchange between basic NLP and…

Computation and Language · Computer Science 2021-04-19 Denis Newman-Griffis , Jill Fain Lehman , Carolyn Rosé , Harry Hochheiser

In the context of requirements engineering, relation extraction involves identifying and documenting the associations between different requirements artefacts. When dealing with textual requirements (i.e., requirements expressed using…

Software Engineering · Computer Science 2025-03-21 Quim Motger , Xavier Franch

Software has always been considered as malleable. Changes to software requirements are inevitable during the development process. Despite many software engineering advances over several decades, requirements changes are a source of project…

Software Engineering · Computer Science 2021-04-05 Waqar Hussain , Didar Zowghi , Tony Clear , Stephen MacDonell , Kelly Blincoe

Large Language Models (LLMs) excel in various natural language tasks but often struggle with long-horizon planning problems requiring structured reasoning. This limitation has drawn interest in integrating neuro-symbolic approaches within…

Artificial Intelligence · Computer Science 2025-10-28 Marcus Tantakoun , Xiaodan Zhu , Christian Muise

In this work we systematically review the recent advancements in software engineering with language models, covering 70+ models, 40+ evaluation tasks, 180+ datasets, and 900 related works. Unlike previous works, we integrate software…

Computation and Language · Computer Science 2024-06-27 Ziyin Zhang , Chaoyu Chen , Bingchang Liu , Cong Liao , Zi Gong , Hang Yu , Jianguo Li , Rui Wang

Use case modeling employs user-centered scenarios to outline system requirements. These help to achieve consensus among relevant stakeholders. Because the manual creation of use case models is demanding and time-consuming, it is often…

Software Engineering · Computer Science 2025-11-14 Tobias Eisenreich , Nicholas Friedlaender , Stefan Wagner

Natural Language Processing (NLP) is an essential subset of artificial intelligence. It has become effective in several domains, such as healthcare, finance, and media, to identify perceptions, opinions, and misuse, among others. Privacy is…

Computation and Language · Computer Science 2025-01-20 Andrick Adhikari , Sanchari Das , Rinku Dewri

Since the advent of large language models (LLMs), prompt engineering has been a crucial step for eliciting desired responses for various Natural Language Processing (NLP) tasks. However, prompt engineering remains an impediment for end…

Requirement engineering is a key ingredient for software development to be effective. Apart from the traditional software requirement which is not much appropriate for new emerging software such as smart handheld device based software. In…

Software Engineering · Computer Science 2014-08-13 Tamjid Rahman , M. Rokonuzzaman

Formal method-based analysis of the 5G Wireless Communication Protocol is crucial for identifying logical vulnerabilities and facilitating an all-encompassing security assessment, especially in the design phase. Natural Language Processing…

Computation and Language · Computer Science 2023-08-08 Shiyu Yuan , Jingda Yang , Sudhanshu Arya , Carlo Lipizzi , Ying Wang

As deep neural models in NLP become more complex, and as a consequence opaque, the necessity to interpret them becomes greater. A burgeoning interest has emerged in rationalizing explanations to provide short and coherent justifications for…

Computation and Language · Computer Science 2024-05-21 Neema Kotonya , Francesca Toni

Formal languages are essential for computer programming and are constructed to be easily processed by computers. In contrast, natural languages are much more challenging and instigated the field of Natural Language Processing (NLP). One…

Computation and Language · Computer Science 2024-08-15 Daphne Wang

Context: To reduce manual effort of extracting test cases from natural-language requirements, many approaches based on Natural Language Processing (NLP) have been proposed in the literature. Given the large amount of approaches in this…

Software Engineering · Computer Science 2020-03-25 Vahid Garousi , Sara Bauer , Michael Felderer

Natural Language Processing (NLP) is one of the most revolutionary technologies today. It uses artificial intelligence to understand human text and spoken words. It is used for text summarization, grammar checking, sentiment analysis, and…

Computation and Language · Computer Science 2025-12-22 G. M. Refatul Islam , Safwan Shaheer , Yaseen Nur , Mohammad Rafid Hamid

Large Language Models (LLMs) have become capable of generating highly fluent text in certain languages, without modules specially designed to capture grammar or semantic coherence. What does this mean for the future of linguistic expertise…

Computation and Language · Computer Science 2025-10-17 Juri Opitz , Shira Wein , Nathan Schneider
‹ Prev 1 3 4 5 6 7 10 Next ›