Requirements need to be validated at the early phase of the software development to avoid
errors such as inconsistency, incompleteness and incorrectness. Drawn from this argument …

Early stages of system development involve outlining desired features such as functionality,
availability, or usability. Specifications are derived from these features that concretize vague …

The Unified Modeling Language (UML) as a defacto standard for software development
finds more and more application in the design of systems which also contain hardware …

Model Driven Engineering (MDE) aims to expedite the software development process by
providing support for transforming models to running systems. Many modeling tools provide …

In this paper, we investigate how ontologies developed for use in Semantic Web technology
could be used in checking the consistency of requirements specifications. Our approach's …

The complexity of today's embedded and cyber-physical systems is rapidly increasing and
makes the consideration of higher levels of abstraction during the design process inevitable …

The method of refinement of object-oriented and component-based systems (rCOS) has
been developed based on the Unifying Theories of Programming (UTP) of Tony Hoare and …

A consistent requirements specification is a fundamental success factor for quality software
development projects. On the one hand, writing requirements in a natural language is not …

A multiple-view modelling and meta-modelling approach for software product lines (SPLs)
using the unified modelling language notation is described. A multiple-view model for an …

Abstract Model-driven architecture (MDA) has become a main stream technology for
software-intensive system design. The main engineering principle behind it is that the …