Your search returned 7 results.

Sort
Results
On the Semantics of Mondel Specifications Using a Concurrent Object Petri Net-Based Approach / Nasreddine Aoumeur. by
  • Aoumeur, Nasreddine
Language: English
Publication details: Magdeburg : Otto von Guericke Universitat, 1999
Availability: Items available for loan: Biblioteka Główna Politechniki Częstochowskiej (1)Call number: Z 081693-00-00/01.

Co-NETS : A Formal OO Framework for Specifying and Validating Distributed Information Systems / Nasreddine Aoumeur, Gunter Saake. by
  • Aoumeur, Nasreddine
  • Saake, Gunter
Language: English
Publication details: Magdeburg : Otto von Guericke Universitat, 2000
Availability: Items available for loan: Biblioteka Główna Politechniki Częstochowskiej (1)Call number: Z 082296-00-00/01.

An Appropriate Semantics for Distributed Active Object-Oriented Databases on the Basis of Co-NETS Approach / Nassreddine Aoumeur, Gunter Saake. by
  • Aoumeur, Nasreddine
  • Saake, Gunter
Language: English
Publication details: Magdeburg : Otto von Guericke Universitat, 2000
Availability: Items available for loan: Biblioteka Główna Politechniki Częstochowskiej (1)Call number: Z 082458-00-00/01.

Towards a Three-Level Methodology for Developing Cooperative Information Systems / Nasreddine Aoumeur, Soren Balko, Gunter Saake. by
  • Aoumeur, Nasreddine
  • Balko, Soren
  • Saake, Gunter
Language: English
Publication details: Magdeburg : Otto von Guericke Universitat, 2000
Availability: Items available for loan: Biblioteka Główna Politechniki Częstochowskiej (1)Call number: Z 082459-00-00/01.

Distributed Systems Specification and Runtime Manipulation of Their Features Using CO-NETS : Application to a System With Several Lifts / Nasreddine Aoumeur, Gunter Saake. by
  • Aoumeur, Nasreddine
  • Saake, Gunter
Language: English
Publication details: Magdeburg : Otto von Guericke Universitat, 2001
Availability: Items available for loan: Biblioteka Główna Politechniki Częstochowskiej (1)Call number: Z 083408-00-00/01.

On the Benefits of Rewrite Logic as a Semantics for Algebraic Petri Nets in Computing Simphons and Traps / Nasreddine Aoumeur, Gunter Saake. by
  • Aoumeur, Nasreddine
  • Saake, Gunter
Language: English
Publication details: Magdeburg : Otto von Guericke Universitat, 2001
Availability: Items available for loan: Biblioteka Główna Politechniki Częstochowskiej (1)Call number: Z 083409-00-00/01.

Integrating and Rapid prototyping UML Structural and Behavioral Using Rewriting Logic / Nasreddine Aoumeur, Gunter Saake. by
  • Aoumeur, Nasreddine
  • Saake, Gunter
Language: English
Publication details: Magdeburg: Otto von Guericke Universitat, 2002
Availability: Items available for loan: Biblioteka Główna Politechniki Częstochowskiej (1)Call number: Z 084108-00-00/01.

Pages