Continuous Integration (CI) has become a best practice of modern software development.
Thanks in part to its tight integration with GitHub, Travis CI has emerged as arguably the …

A newcomer to a software project must typically come up-to-speed on a large, varied amount
of information about the project before becoming productive. Assimilating this information in …

Due to the ever increasing complexity of embedded and cyber‐physical systems,
corresponding design solutions relying on modelling languages such as Unified Modelling …

Requirement expression media is an overlooked consideration in requirements innovation.
The path to including media other than natural language requirement sentences begins with …

Checking the correctness of UML/OCL models is a crucial task in the design of complex
software and hardware systems. As a consequence, several approaches have been …

The steadily increasing complexity of the design of embedded systems led to the
development of both an elaborated design flow that includes various abstraction levels and …

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 …

While being a de-facto standard for the modeling of software systems, the Unified Modeling
Language (UML) is also increasingly used in the domain of hardware design and …

Model Finding is an established method to increase the confidence in the correctness of a
UML/OCL model, eg, by automatically determining valid system states or counterexamples …

Verifying whether a UML class diagram annotated with Object Constraint Language (OCL)
constraints is consistent involves finding valid instances that provably meet its structural and …