English
Related papers

Related papers: Four Layered Approach to Non-Functional Requiremen…

200 papers

Testing allows developers to determine whether a system functions as expected. When such systems include deep neural networks (DNNs), Testing becomes challenging, as DNNs approximate functions for which the formalization of functional…

Software Engineering · Computer Science 2025-09-05 Nusrat Jahan Mozumder , Felipe Toledo , Swaroopa Dola , Matthew B. Dwyer

This paper proposes a new fuzzy assessing procedure with application in management decision making. The proposed fuzzy approach build the membership functions for system characteristics of a standby repairable system. This method is used to…

Artificial Intelligence · Computer Science 2017-07-07 Shoele Jamali , Mehrdad J. Bani

Context: Large language models (LLMs) are observed to have a significant positive impact on various software engineering (SE) activities. With improved accessibility, the adoption of powerful LLMs in industry has surged recently. However,…

Software Engineering · Computer Science 2026-04-30 Krishna Ronanki , Beatriz Cabrero-Daniel , Tomas Herda , Stefan Sitkovich , Jennifer Horkoff , Christian Berger

Nonlinear dynamic models are widely used for characterizing functional forms of processes that govern complex biological pathway systems. Over the past decade, validation and further development of these models became possible due to data…

Methodology · Statistics 2019-08-13 Itai Dattner , Shota Gugushvili , Harold Ship , Eberhard O. Voit

This research aims to design and develop a new requirements prioritization approach for analyzing and prioritizing stakeholders requirements which are mentioned in the feedback for software products. This paper presents a PhD research…

Software Engineering · Computer Science 2019-07-25 Saurabh Malgaonkar , Sherlock A. Licorish , Bastin Tony Roy Savarimuthu

Large Language Models (LLMs) are increasingly utilized for domain-specific tasks, yet evaluating their outputs remains challenging. A common strategy is to apply evaluation criteria to assess alignment with domain-specific standards, yet…

Human-Computer Interaction · Computer Science 2026-02-17 Annalisa Szymanski , Simret Araya Gebreegziabher , Oghenemaro Anuyah , Ronald A. Metoyer , Toby Jia-Jun Li

A framework for the elicitation and debugging of formal specifications for Cyber-Physical Systems is presented. The elicitation of specifications is handled through a graphical interface. Two debugging algorithms are presented. The first…

Systems and Control · Computer Science 2018-07-30 Adel Dokhanchi , Bardh Hoxha , Georgios Fainekos

In industrial practice, requirements are an indispensable element of any serious software project. In the academic study of software engineering, requirements are one of the heavily researched subjects. And yet requirements engineering, as…

Software Engineering · Computer Science 2025-02-28 Maria Naumcheva , Sophie Ebersold , Jean-Michel Bruel , Bertrand Meyer

Existing evaluation benchmarks of language models of code (code LMs) focus almost exclusively on whether the LMs can generate functionally-correct code. In real-world software engineering, developers think beyond functional correctness.…

Software Engineering · Computer Science 2024-10-01 Manav Singhal , Tushar Aggarwal , Abhijeet Awasthi , Nagarajan Natarajan , Aditya Kanade

In this paper, we present an approach to select a subset of requirement elicitation technique for an optimum result in the requirement elicitation process. Our approach consists of three steps. First, we identify various attribute in three…

Software Engineering · Computer Science 2017-09-26 Saurabh Tiwari , Santosh Singh Rathore

Building shared understanding of requirements is key to ensuring downstream software activities are efficient and effective. However, in continuous software engineering (CSE) some lack of shared understanding is an expected, and essential,…

Software Engineering · Computer Science 2020-07-06 Colin Werner , Ze Shi Li , Neil Ernst , Daniela Damian

Requirements engineering is a vital, yet labor-intensive, stage in the software development process. This article introduces ReqFusion: an AI-enhanced system that automates the extraction, classification, and analysis of software…

Software Engineering · Computer Science 2026-03-25 Muhammad Khalid , Manuel Oriol , Yilmaz Uygun

Classification of datasets into two or more distinct classes is an important machine learning task. Many methods are able to classify binary classification tasks with a very high accuracy on test data, but cannot provide any easily…

Machine Learning · Computer Science 2020-08-26 Yashesh Dhebar , Sparsh Gupta , Kalyanmoy Deb

Collaborative filtering is one of the most used approaches for providing recommendations in various online environments. Even though collaborative recommendation methods have been widely utilized due to their simplicity and ease of use,…

Information Retrieval · Computer Science 2018-04-25 Nikolaos Polatidis , Christos K. Georgiadis

Deep neural networks have achieved remarkable breakthroughs by leveraging multiple layers of data processing to extract hidden representations, albeit at the cost of large electronic computing power. To enhance energy efficiency and speed,…

Many organizations aspire to adopt agile processes to take advantage of the numerous benefits that it offers to an organization. Those benefits include, but are not limited to, quicker return on investment, better software quality, and…

Software Engineering · Computer Science 2007-05-23 Ahmed Sidky , James Arthur , Shawn Bohner

Functional depth is used for ranking functional observations from most outlying to most typical. The ranks produced by functional depth have been proposed as the basis for functional classifiers, rank tests, and data visualization…

Methodology · Statistics 2016-11-02 James P. Long , Jianhua Z. Huang

Large language models (LLMs) often hallucinate, yet most existing fact-checking methods treat factuality evaluation as a binary classification problem, offering limited interpretability and failing to capture fine-grained error types. In…

Computation and Language · Computer Science 2026-01-13 Yuzhuo Bai , Shuzheng Si , Kangyang Luo , Qingyi Wang , Wenhao Li , Gang Chen , Fanchao Qi , Maosong Sun

Context: Software quality is a complex concept. Therefore, assessing and predicting it is still challenging in practice as well as in research. Activity-based quality models break down this complex concept into concrete definitions, more…

Software Engineering · Computer Science 2016-12-01 Stefan Wagner

This paper proposes a novel approach for designing functional observers for nonlinear systems, with linear error dynamics and assignable poles. Sufficient conditions for functional observability are first derived, leading to functional…

Systems and Control · Electrical Eng. & Systems 2025-01-03 Costas Kravaris
‹ Prev 1 8 9 10 Next ›