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 …

Software requirements are the expectation of stakeholders which are identified and modeled
by various requirements elicitation and modeling techniques like traditional methods, goal …

CONTEXT: Traceability is one of the basic tenets of all safety standards and a key
prerequisite for software safety certification. In the current state of practice, there is often a …

Background: Several methodologies have been proposed since the first days of software
development, from what is now named traditional/heavy methodologies, and later their …

In today's rapidly digitising world, organisations often face challenges in achieving
successful technology implementation, with low returns on investment and a significant gap …

The use of mobile applications on smartphones has a vast potential to support learning in
the field. However, all learning technologies should be properly designed. To this end, we …

Abstract Systems Modeling Language (SysML) has been applied in the past years to a
variety of software and systems engineering projects, by hundreds of researchers …

Current infrastructures in modern cities are highly dependent on complex software-intensive
systems, which are composed of many elements, including software, sensors, actuators, and …

Learning Indonesian culture is a part of the curriculum for elementary school students.
However, it faces a challenge of the decreased interest of reading textbooks. It can be …

The paper presents the Embodied Agent-based Robot control system modelling Language
(EARL). EARL follows a Model-Driven Software Development approach (MDSD), which …