Argument-based assurance cases, often represented and organized using graphical
argument structures, are increasingly being used in practice to provide assurance to …

In regulated safety-critical domains, such as the aerospace and nuclear domains,
certification bodies often require systems to undergo a stringent safety assessment …

Abstract Language workbenches support the efficient creation, integration, and use of
domain-specific languages. Typically, they execute models by code generation to …

Abstract Language workbenches are touted as a promising technology to engineer
languages for use in a wide range of domains, from programming to science to business …

Promoted by the internet companies, continuous delivery is more and more appealing to
industries which develop systems with safety-critical functions. Since safety-critical systems …

The importance of mission or safety critical software systems in many application domains of
embedded systems is continuously growing, and so is the effort and complexity for reliability …

Contracts are envisaged to support compositional verification of a system as well as reuse
and independent development of their implementations. But reuse of safety-relevant …

Assurance cases are collections of standard-mandated documents that entail the
specification of system's objectives and a collection of processes, development or …

As cyber-physical systems become more widespread, the scale and complexity of hardware
and software is increasing dramatically. Requirement Engineering plays a main role in this …

Traditionally, promoted by the internet companies, continuous delivery is more and more
appealing to industries which develop systems with safety-critical functions. Since safety …