Model-based engineering is a well-established approach to cope with the complexity of today's embedded systems. Furthermore, model-based engineering can address industry needs for highly automated development solutions to foster correctness of safety-critical systems. In contrast, there is a...

In this report, we discuss the use of Petri Net language theory for business process modeling. Essentially, the focus is on the opportunities of the modeling technique for analysis and verification. Semantic compatibility, as opposed to syntactic compatibility, is concerned with the...

In this report a system for computer aided assessments and exercises on Java programming is presented and discussed. The report includes a detailed system description, experiences and evaluations from using the system, plans for future development and a brief overview about related work and...

This paper proposes X-KIF – a new modeling language intended for implementing large, formal knowledge bases. The language originated from the SUO-KIF language, which has been used for implementing a large family of ontologies based on the Suggested Upper Merged Ontology (SUMO).We address some...