Current techniques for the verification of software as eg model checking are limited when it
comes to the verification of complex distributed embedded real-time systems. Our approach …

Abstract Model Based System Engineering (MBSE) is a renowned approach in the context of
embedded systems development. It is frequently used to deal with the structural and …

UML class diagrams have become a standard for modeling the static structure of object-
oriented software systems. OCL can be used for formulating additional constraints that can …

This paper describes work on Named Entity Recognition (NER), in preparation for Relation
Extraction (RE), on data from a historical archive organisation. As is often the case in the …

Abstract The Object Constraint Language is widely used to express precise and
unambiguous constraints on models and object oriented programs. However, the notion of …

UML class diagrams are widely used to model the static structure of object-oriented software
systems. As a supplement, OCL becomes more and more popular for formulating constraints …

Software models are the core development artifact in model-based engineering (MBE). The
MBE paradigm promotes the use of software models to describe structure and behavior of …

Abstract The textual Object Constraint Language (OCL) is primarily intended to specify
restrictions over UML class diagrams, in particular class invariants, operation pre-, and …

Salt is a general purpose specification and assertion language developed for creating
concise temporal specifications to be used in industrial verification environments. It …

Complex software systems, and self-adaptive systems in particular, are characterized by
complex structures and behavior. For their design, appropriate notations for the specification …