Model merging plays a chief role in many software engineering activities, e.g. evolving Unified Modelling Language (UML) models for adding new features. Software developers may evolve UML models using merge relationships. However, given the growing ...

Unified Modelling Language (UML) is essentially a de‐facto standard for software modeling and supported with many modeling tools. In this study, 58 UML tools have been analysed for modelling viewpoints, analysis, transformation & export, collaboration, ...

UML activity diagrams and state machines are both used for modeling system behavior from the user perspective and are frequently the basis for deriving system test cases. In practice, system test cases are often derived manually from UML activity ...

The majority of flaws found in software originates in the system requirements specification stage. The use of domain‐specific languages has shown to be a valuable resource in this part of the process, since they help to establish communication standards, ...

Regression testing ensures that the functionality of previous code is not affected by the updates in the modified code. The focus of regression test case generation is to generate test cases for changed functionality. The authors’ research advocates the ...

The Object Constraint Language (OCL) is commonly used for specifying additional constraints on models, in addition, to the ones enforced by the semantics of the models. However, a lot of practitioners and even researchers are reluctant in using OCL to ...

Software artifacts are products created during software development. Through them, designers communicate their intent and understanding of a system to other members of the development team. And the intent will, in the end, be communicated to end users ...

Regression testing is performed to verify that previously developed functionality of a software system is not broken when changes are made to the system. Since executing all the existing test cases can be expensive, regression test selection (RTS) ...

Given the inevitable software evolution, change impact analysis (CIA) is a vital activity in the software development life cycle. Existing CIA methods either focus on one model produced during one development phase or ignore the semantic dependencies ...

The B method is a formal specification method and a means of formal verification and validation of safety-critical systems such as railway systems. In this short paper, we use the B4MSecure tool to transform the UML models, fulfilling requirements of ...

Although the power consumption of embedded system depends on the operation of hardware devices, software behaviors give great effect to the power consumption because of its functionality and complexity growth. This paper proposes a power consumption ...

Model Driven Development views application development as a continuous transformation of models of the target system. However, non-functional requirements, which are important for building user-satisfied software systems and have impacts on the software ...

One of the most important tasks in object-oriented analysis and design (OOAD) is the abstraction of the problem domain into specific concepts or objects. Information technology (IT) students need appropriate skills of abstraction in order to identify ...

Although some methodologies for evaluating the quality of software artifacts exist, all of these are isolated proposals, which focus on specific artifacts and apply specific evaluation techniques. There is no generic and flexible methodology that allows ...

In order to retrieve, select and apply design patterns in a tool-supported way, we suggest to construct and document a <em>problem-context pattern</em> that reflects the essence of the problems that the design pattern is meant to solve. In our approach, ...

Software reuse is a crucial topic in the software community. It is considered as a promising way to improve software development productivity and quality. However, component reuse success is widely related to other activities such as the localization of ...

For anything but the simplest of software systems, the ease and costs associated with change management can become critical to the success of a project. Establishing traceability initially can demand questionable effort, but sustaining this traceability ...

The introduction of UML models in the software life cycle poses new issues and challenges that are not adequately supported by current state-of-the-art development tools, especially concerning V&V activities. Indeed, every tool usually focuses on a ...

The Contextractor is an XSLT-based transformation system that gathers information from extended UML models to produce XML Schemas that model the information captured by an application and define a query language that allows the submission of queries ...

The development of a toot for reconstructing UML sequence diagrams from executing Java programs is a challenging task. We implemented such a tool designed to analyze any kind of Java program. Its implementation relies heavily on several advanced ...