Specifying and Validating Consistent and Dynamically Evolving Concurrent Information Systems: An Object Petri-net Based Approach

Beschreibung

Autor*in

Nasreddine Aoumeur

Themen in »Specifying and Validating Consistent and Dynamically Evolving Concurrent Information Systems: An Object Petri-net Based Approach«

Algebraic specification and rewriting (logic) Distributed Information Systems Evolving Information Systems Informatik Integrity Constraints in distributed information systems Software engineering and related object-oriented approaches Softwaretechnik Technische Informatik

Stimmen zu »Specifying and Validating Consistent and Dynamically Evolving Concurrent Information Systems: An Object Petri-net Based Approach«

Details

Link teilen