Abstract Model checking is an influential method to verify complex interactions, concurrent
and distributed systems. Model checking constructs a behavioral model of the system using …

Use-cases are a well-known technique for capturing functional requirements. Their
advantage is the understand ability for a wide range of stakeholders. With a growing number …

The Invariant Refinement Method for Self Adaptation (IRM-SA) is a design method targeting
development of smart Cyber-Physical Systems (sCPS). It allows for a systematic translation …

Inconsistencies and ambiguities of annotation can cause vagueness in the results obtained
by natural language understanding (NLU). The quality of the type systems used for …

The analysis of malicious software (malware) is one of the hardest open problems in
computer security, since there is a huge and varied number of samples produced daily. In …

Dynamic features of programming languages such as dynamic type system, dynamic
method calls, dynamic code execution, and dynamic data structures provide the flexibility …

Several types of approaches support the software development process. Special interest
should be paid to model driven development methodologies, of which Model Driven …