On the semantics of Mondel specifications using a concurrent object Petri net-based approach von Aoumeur, Nasreddine 1964-

Integrating and rapid-prototyping UML structural and behavioural diagrms using rewriting logic von Aoumeur, Nasreddine 1964-, Saake, Gunter 1960-

Distributed systems specification and runtime manipulation of their features using Co-Nets application to a system with several lifts von Aoumeur, Nasreddine 1964-, Saake, Gunter 1960-

Inhaltsverzeichnis

CO-Nets a formal OO framework for specifying and validating distributed information systems von Aoumeur, Nasreddine 1964-, Saake, Gunter 1960-

On the benefits of rewrite logic as a semantics for algebraic Petri nets in computing siphons and traps von Aoumeur, Nasreddine 1964-, Saake, Gunter 1960-

Inhaltsverzeichnis

Towards a three-level methodology for developing cooperative information systems von Aoumeur, Nasreddine 1964-, Balko, Sören 1974-, Saake, Gunter 1960-

An appropriate semantics for distributed active object oriented databases on the basis of co-nets approach von Aoumeur, Nasreddine 1964-, Saake, Gunter 1960-