The ability to generate test data is often a necessary prerequisite for automated software
testing. For the generated data to be fit for their intended purpose, the data usually have to …

System-level testing of avionics software systems requires compliance with different
international safety standards such as DO-178C. An important consideration of the avionics …

As digital systems get ever more complex, their behaviour may at times appear
unfathomable. Users will only be prepared to accept this if they are convinced that the …

System‐level testing of avionics software systems requires compliance with different
international safety standards such as DO‐178C. An important consideration of the avionics …

The software design model performs an important role in modern software engineering
methods. Especially in Model-Driven Engineering (MDE), it is treated as an essential asset …

Abstract Object Constraint Language (OCL) is a standard language defined by Object
Management Group for specifying constraints on models. Since its introduction as part of …

Only four decades after the first manned flight to the moon, a common device such as a
smartphone consists of more complex technology than the “high-end” computers that …

The ability to generate test data is often a necessary prerequisite for automated software
testing. For the generated data to be fit for its intended purpose, the data usually has to …

Validation and verification of UML/OCL models is a crucial task in the design of complex
software/hardware systems. The behavior in those models is expressed in terms of …

The field of software modeling has gained significant popularity in the last decades. By
capturing the static aspects of the software requirements, model-driven engineering eases …