This article highlights tool integration within software engineering environments. Tool
integration concerns the techniques used to form coalitions of tools that provide an …

A compact symbolic encoding is described for the transition relation of systems modeled
with asynchronously executing, hierarchical UML state machines that communicate through …

Hybrid systems with both discrete and continuous dynamics are an important model for real-
world cyber-physical systems. The key challenge is to ensure their correct functioning wrt …

We describe an approach to support UML-based development of embedded systems by
formal techniques. A subset of UML is extended with timing annotations and given a formal …

When a program's correctness cannot be verified, a model checker produces a
counterexample that shows a specific instance of undesirable behavior. Given this …

Model-based software engineering (MBSE) brings models to the center of software and
system design. Models are powerful abstractions used to support all phases of the software …

ABSTRACT A unified modelling language (UML) based formal verification methodology that
can be easily integrated into an embedded system software development life cycle is …

A systematic approach in requirement engineering helps in discovering and understanding
the requirements at different levels of abstraction as well as makes the requirements …

Improving the quality of a software design with the goal of producing a high quality software
product continues to grow in importance due to the costs that result from poorly designed …

Although there is no consensus on a precise definition of a conceptual model (CM), it is
generally accepted that a CM is an abstract representation of a real-world problem situation …