English
Related papers

Related papers: Teaching Theorizing in Software Engineering Resear…

200 papers

Variance theories quantify the variance that one or more independent variables cause in a dependent variable. In software engineering (SE), variance theories are used to quantify -- among others -- the impact of tools, techniques, and other…

Software Engineering · Computer Science 2024-12-18 Julian Frattini , Jannik Fischbach , Davide Fucci , Michael Unterkalmsteiner , Daniel Mendez

We report on several scenarios of using automated theorem proving software in university education. In particular, we focus on using the Theorema system in a software-enhanced logic-course for students in computer science or artificial…

Logic in Computer Science · Computer Science 2022-01-20 Wolfgang Windsteiger

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

Context: Several researchers have reported their experiences in applying secondary studies (Systematic Literature Reviews - SLRs and Systematic Mappings - SMs) in Software Engineering (SE). However, there is still a lack of studies…

[Background] Well-formulated Software Engineering (SE) research problems are essential for bridging the gap between industry-academia. Lean Research Inception (LRI) aims to support this activity. [Goal] Apply LRI to support SE students in…

Software Engineering · Computer Science 2026-03-23 Anrafel Fernandes Pereira , Tatiane Ornelas , Allysson Allex Araujo , Marcos Kalinowski

There is growing acknowledgement within the software engineering community that a theory of software development is needed to integrate the myriad methodologies that are currently popular, some of which are based on opposing perspectives.…

Software Engineering · Computer Science 2021-03-22 Diana Kirk , Stephen G. MacDonell

Mechanical reasoning is a key area of research that lies at the crossroads of mathematical logic and artificial intelligence. The main aim to develop mechanical reasoning systems (also known as theorem provers) was to enable mathematicians…

Software Engineering · Computer Science 2019-12-09 M. Saqib Nawaz , Moin Malik , Yi Li , Meng Sun , M. Ikram Ullah Lali

This paper describes a novel approach to software engineering derived from the "SP Theory of Intelligence" and its realisation in the "SP Computer Model". Despite superficial appearances, it is shown that many of the key ideas in software…

Software Engineering · Computer Science 2018-08-07 J Gerard Wolff

While mastered by some, good scientific writing practices within Empirical Software Engineering (ESE) research appear to be seldom discussed and documented. Despite this, these practices are implicit or even explicit evaluation criteria of…

Software Engineering · Computer Science 2025-08-05 Roberto Verdecchia , Justus Bogner

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

Software analytics (SA) is frequently proposed as a tool to support practitioners in software engineering (SE) tasks. We have observed that several secondary studies on SA have been published. Some of these studies have overlapping aims and…

Software Engineering · Computer Science 2025-09-18 Muhammad Laiq , Nauman bin Ali , Jürgen Börstler , Emelie Engström

Empirical software engineering is concerned with the design and analysis of empirical studies that include software products, processes, and resources. Optimization is a form of data analytics in support of human decision-making.…

Software Engineering · Computer Science 2019-12-05 Guenther Ruhe

When making choices in software projects, engineers and other stakeholders engage in decision making that involves uncertain future outcomes. Research in psychology, behavioral economics and neuroscience has questioned many of the classical…

Software Engineering · Computer Science 2017-01-31 Christoph Becker , Dawn Walker , Curtis McCord

The ThEdu series pursues the smooth transition from an intuitive way of doing mathematics at secondary school to a more formal approach to the subject in STEM education, while favouring software support for this transition by exploiting the…

Logic in Computer Science · Computer Science 2024-04-08 Julien Narboux , Walther Neuper , Pedro Quaresma

The discipline of software engineering (SE) combines social and technological dimensions. It is an interdisciplinary research field. However, interdisciplinary research submitted to software engineering venues may not receive the same level…

Software Engineering · Computer Science 2025-01-14 Sonja M. Hyrynsalmi , Grischa Liebel , Ronnie de Souza Santos , Sebastian Baltes

Empirical Software Engineering has received much attention in recent years and became a de-facto standard for scientific practice in Software Engineering. However, while extensive guidelines are nowadays available for designing, conducting,…

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

Empathy plays a crucial role in software engineering (SE), influencing collaboration, communication, and decision-making. While prior research has highlighted the importance of empathy in SE, there is limited understanding of how empathy…

Software Engineering · Computer Science 2025-09-30 Hashini Gunatilake , John Grundy , Rashina Hoda , Ingo Mueller

Empathy is widely used in many disciplines such as philosophy, sociology, psychology, health care. Ability to empathise with software end-users seems to be a vital skill software developers should possess. This is because engineering…

Software Engineering · Computer Science 2023-05-09 Hashini Gunatilake , John Grundy , Ingo Mueller , Rashina Hoda

Despite potential benefits in Software Engineering (SE), adoption of software modelling in industry is low. Technical issues such as tool support have gained significant research before, but individual guidance and training have received…

Software Engineering · Computer Science 2022-06-15 Shalini Chakraborty , Grischa Liebel

Researchers generally place the most trust in peer-reviewed, published information, such as journals and conference papers. By contrast, software engineering (SE) practitioners typically do not have the time, access or expertise to review…

Software Engineering · Computer Science 2019-11-28 Vahid Garousi , Michael Felderer , Mika V. Mäntylä , Austen Rainer