Objects and their Specification

An annotated bibliography on object-orientation and deduction

ACM SIGMOD Record

A component-based Petri net model for specifying and validating cooperative information systems

Data & Knowledge Engineering

A formal approach to object-oriented software engineering

Theoretical Computer Science - Rewriting logic and its applications

Towards an Object Petri Nets Model for Specifying and Validating Distributed Information Systems

CAiSE '99 Proceedings of the 11th International Conference on Advanced Information Systems Engineering

Specifying Distributed and Dynamically Evolving Information Systems Using an Extended CO-Nets Approach

Selected papers from the Eight International Workshop on Foundations of Models and Languages for Data and Objects, Transactions and Database Dynamics

Dynamically evolving concurrent information systems specification and validation: a component-based Petri nets proposal

Data & Knowledge Engineering

Object-Oriented specification composition and refinement via category theoretic computations

TAMC'06 Proceedings of the Third international conference on Theory and Applications of Models of Computation