English
Related papers

Related papers: A Formal Method for Mapping Software Engineering P…

200 papers

Context: With the rising complexity and scale of software systems, there is an ever-increasing demand for sophisticated and cost-effective software testing. To meet such a demand, there is a need for a highly-skilled software testing…

Software Engineering · Computer Science 2020-03-10 Vahid Garousi , Austen Rainer , Per Lauvås , Andrea Arcuri

Context/Background: process and practice adoption is a key element in modern software process improvement initiatives, and many of them fail. Goal: this paper presents a preliminary version of a usability model for software development…

Software Engineering · Computer Science 2017-10-31 Diego Fontdevila , Marcela Genero , Alejandro Oliveros

Foundation models (FMs), particularly large language models (LLMs), have shown significant promise in various software engineering (SE) tasks, including code generation, debugging, and requirement refinement. Despite these advances,…

Software Engineering · Computer Science 2025-10-13 Zhimin Zhao

Ethical systems are usually described as principles for distinguishing right from wrong and forming beliefs about proper conduct. Ethical topics are complex, with excessively verbose accounts of mental models and intensely ingrained…

Computers and Society · Computer Science 2018-10-08 Sabah Al-Fedaghi

Security engineering in the software lifecycle aims at protecting information and systems to guarantee confidentiality, integrity, and availability. As security engineering matures and the number of research papers grows, there is an…

Software Engineering · Computer Science 2018-01-23 Michael Felderer , Jeffrey C. Carver

In recent years, the field of software engineering has experienced a considerable increase in demand for competent experts, resulting in an increased demand for platforms that connect software engineers and facilitate collaboration. In…

Software Engineering · Computer Science 2025-02-25 Nayaab Azim , Sadath Ullah Khan Mohammed , Evan Phaup , Adeyemi Aina

In empirical software engineering, benchmarks can be used for comparing different methods, techniques and tools. However, the recent ACM SIGSOFT Empirical Standards for Software Engineering Research do not include an explicit checklist for…

Software Engineering · Computer Science 2021-05-04 Wilhelm Hasselbring

Search Based Software Engineering (SBSE) is an emerging discipline that focuses on the application of search-based optimization techniques to software engineering problems. The capacity of SBSE techniques to tackle problems involving large…

Software Engineering · Computer Science 2014-06-12 Roberto E. Lopez-Herrejon , Javier Ferrer , Francisco Chicano , Lukas Linsbauer , Alexander Egyed , Enrique Alba

The continuous software engineering paradigm is gaining popularity in modern development practices, where the interleaving of design and runtime activities is induced by the continuous evolution of software systems. In this context,…

Software Engineering · Computer Science 2024-01-31 Romina Eramo , Michele Tucci , Daniele Di Pompeo , Vittorio Cortellessa , Antinisca Di Marco , Davide Taibi

As modern software systems expand in scale and complexity, the challenges associated with their modeling and formulation grow increasingly intricate. Traditional approaches often fall short in effectively addressing these complexities,…

Software Engineering · Computer Science 2025-05-20 Tarik Houichime , Younes El Amrani

Earth System Models (ESMs) are critical for understanding past climates and projecting future scenarios. However, the complexity of these models, which include large code bases, a wide community of developers, and diverse computational…

Logic in Computer Science · Computer Science 2025-10-16 Alper Altuntas , Allison H. Baker , John Baugh , Ganesh Gopalakrishnan , Stephen F. Siegel

Testing is a core software development activity that has huge potential to make software development more sustainable. In this paper, we discuss how environmental, social, economic, and technical sustainability map onto the activities of…

Software Engineering · Computer Science 2021-04-06 Armin Beer , Michael Felderer , Tobias Lorey , Stefan Mohacsi

Systems Engineering (SE) is the set of processes and documentation required for successfully realising large-scale engineering projects, but the classical approach is not a good fit for software-intensive projects, especially when the needs…

Instrumentation and Methods for Astrophysics · Physics 2017-12-05 Juande Santander-Vela

While using formal methods offers advantages over unit testing, their steep learning curve can be daunting to developers and can be a major impediment to widespread adoption. To support integration into an industrial software engineering…

Logic in Computer Science · Computer Science 2026-01-19 Letitia W. Li , Denley Lam , Vu Le , Daniel Mitchell , Mark J. Gerken , Robert B. Ross

Software development includes diverse tasks such as implementing new features, analyzing requirements, and fixing bugs. Being an expert in those tasks requires a certain set of skills, knowledge, and experience. Several studies investigated…

Software Engineering · Computer Science 2018-11-06 Sebastian Baltes , Stephan Diehl

Requirements engineering is crucial to software development but lacks a precise definition of its fundamental concepts. Even the basic definitions in the literature and in industry standards are often vague and verbose. To remedy this…

Software Engineering · Computer Science 2019-07-12 Bertrand Meyer , Jean-Michel Bruel , Sophie Ebersold , Florian Galinier , Alexandr Naumchev

This paper is based on and advocates the trend in software engineering of extending the use of software patterns as means of structuring solutions to software development problems (be they motivated by best practice or by company interests…

Software Engineering · Computer Science 2007-05-23 Jean-Marc Rosengard , Marian Ursu

Increasingly, courses on Empirical Software Engineering research methods are being offered in higher education institutes across the world, mostly at the M.Sc. and Ph.D. levels. While the need for such courses is evident and in line with…

Software Engineering · Computer Science 2025-03-17 Paris Avgeriou , Nauman bin Ali , Marcos Kalinowski , Daniel Mendez

Artefacts play a vital role in software and systems development processes. Other terms like documents, deliverables, or work products are widely used in software development communities instead of the term artefact. In the following, we use…

Software Engineering · Computer Science 2021-04-08 D. Méndez Fernández , W. Böhm , A. Vogelsang , J. Mund , M. Broy , M. Kuhrmann , T. Weyer

Secure software engineering is a fundamental activity in modern software development. However, while the field of security research has been advancing quite fast, in practice, there is still a vast knowledge gap between the security experts…

Software Engineering · Computer Science 2021-04-09 Vivek Arora , Enrique Larios Vargas , Maurício Aniche , Arie van Deursen