English
Related papers

Related papers: The Illusion of Requirements in Software Developme…

200 papers

Context: Expert judgement is a common method for software effort estimations in practice today. Estimators are often shown extra obsolete requirements together with the real ones to be implemented. Only one previous study has been conducted…

Software Engineering · Computer Science 2021-03-25 Lucas Gren , Richard Berntsson Svensson

Requirements Engineering (RE) focuses on eliciting, modelling, and analyzing the requirements and environment of a system-to-be in order to design its specification. The design of the specification, usually called the Requirements Problem…

Software Engineering · Computer Science 2015-07-23 Ivan Jureta

Traditionally, practitioners use formal methods pre-dominately for one half of the quality-assurance process: verification (do we build the software right?). The other half -- validation (do we build the right software?) -- has been given…

Software Engineering · Computer Science 2021-02-12 Atif Mashkoor , Michael Leuschel , Alexander Egyed

Being able to access software in daily life is vital for everyone, and thus accessibility is a fundamental challenge for software development. However, given the number of accessibility issues reported by many users, e.g., in app reviews,…

Software Engineering · Computer Science 2021-03-17 Tingting Bi , Xin Xia , David Lo , John Grundy , Thomas Zimmermann , Denae Ford

Design by Contract enables seamless software development by unifying software requirements with their implementations. In its pure form, however, Design by Contract leaves some problems with contracts' expressiveness, verifiability, and…

Software Engineering · Computer Science 2019-11-26 Alexandr Naumchev

The technology of formal software verification has made spectacular advances, but how much does it actually benefit the development of practical software? Considerable disagreement remains about the practicality of building systems with…

Software Engineering · Computer Science 2026-01-21 Li Huang , Sophie Ebersold , Alexander Kogtenkov , Bertrand Meyer , Yinling Liu

Background: Research software plays an important role in solving real-life problems, empowering scientific innovations, and handling emergency situations. Therefore, the correctness and trustworthiness of research software are of absolute…

Software Engineering · Computer Science 2022-07-27 Nasir U. Eisty , Jeffrey C. Carver

Requirements are found to change in various ways during the course of a project. This can affect the process in widely different manner and extent. Here we present a case study where-in we investigate the impact of requirement volatility…

Software Engineering · Computer Science 2011-08-09 Rahul Thakurta , Subhajit Dasgupta

Actual organization are structured and act with the help of their information systems. In spite of considerable progresses made by computer technology, we note that actors are very often critical on their information systems. Difficulties…

Software Engineering · Computer Science 2009-06-09 Benjamin Chevallereau , Alain Bernard , Pierre Mévellec

Requirements prioritization is a critical activity during the early software development process, which produces a set of key requirements to implement. The prioritization process offers a parity among the requirements based on multiple…

Software Engineering · Computer Science 2023-06-22 Jonathan Winton , Francis Palma

The growing complexity of software systems and the influence of software-supported decisions in our society awoke the need for software that is transparent, accountable, and trustworthy. Explainability has been identified as a means to…

Software Engineering · Computer Science 2021-08-09 Larissa Chazette , Wasja Brunotte , Timo Speith

Effort estimation is a key factor for software project success, defined as delivering software of agreed quality and functionality within schedule and budget. Traditionally, effort estimation has been used for planning and tracking project…

Software Engineering · Computer Science 2014-01-24 Adam Trendowicz , Jürgen Münch , Ross Jeffery

This paper argues that modelling the development methodologies can improve the multi-agents systems software engineering. Such modelling allows applying methods, techniques and practices used in the software development to the methodologies…

Software Engineering · Computer Science 2014-08-26 Ammar Lahlouhi

This chapter serves as an introduction to systems engineering focused on the broad issues surrounding realizing complex integrated systems. What is a system? We pose a number of possible definitions and perspectives, but leave open the…

Systems and Control · Electrical Eng. & Systems 2025-08-18 John W. Sheppard

The growth of the software game development industry is enormous and is gaining importance day by day. This growth imposes severe pressure and a number of issues and challenges on the game development community. Game development is a…

Software Engineering · Computer Science 2018-01-16 Saiqa Aleem , Luiz Fernando Capretz , Faheem Ahmed

Completeness is one of the most important attributes of software requirement specifications. Unfortunately, incompleteness is meanwhile one of the most difficult problems to detect. Some approaches have been proposed to detect missing…

Software Engineering · Computer Science 2022-08-16 Ziyan Zhao , Li Zhang , Xiaoli Lian

A growing number of empirical software engineering researchers suggest that a complementary focus on theory is required if the discipline is to mature. A first step in theory-building involves the establishment of suitable theoretical…

Software Engineering · Computer Science 2021-02-19 Diana Kirk , Stephen G. MacDonell

A major determinant of the quality of software systems is the quality of their requirements, which should be both understandable and precise. Most requirements are written in natural language, good for understandability but lacking in…

Software Engineering · Computer Science 2020-04-17 Jean-Michel Bruel , Sophie Ebersold , Florian Galinier , Alexandr Naumchev , Manuel Mazzara , Bertrand Meyer

Various project management approaches do not consider the impact that uncertainties have on the project. The identified threats by uncertainty in a projec day-to-day are real and immediate and the expectations in a project are often high.…

Software Engineering · Computer Science 2014-11-10 M. L. M. Marinho , S. C. B. Sampaio , T. L. A. Lima , H. P. Moura

Know a days Computer system become essential and it is most commonly used in every field of life. The computer saves time and use to solve complex and extensive problem quickly in an efficient way. For this purpose software programs are…

Software Engineering · Computer Science 2016-12-30 Ahmed Mateen , Muhammad Azeem , Mohammad Shafiq