Object-oriented nets with algebraic specifications: the CO-OPN/2 formalism
Concurrent object-oriented programming and petri nets
A component-based Petri net model for specifying and validating cooperative information systems
Data & Knowledge Engineering
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
A Formal Development and Validation Methodology Applied to Agent-Based Systems
Revised Papers from the International Workshop on Infrastructure for Multi-Agent Systems: Infrastructure for Agents, Multi-Agent Systems, and Scalable Multi-Agent Systems
Models, Formalisms and Methods for Object-Oriented Distributed Computing (ECOOP Workshop)
ECOOP '97 Proceedings of the Workshops on Object-Oriented Technology
System Prototype and Verification Using Metamodel-Based Transformations
IEEE Distributed Systems Online
Enterprise Information Systems - Contains Special Issue: Modelling, Simulation, Verification and Validation of Enterprise Information Systems, edited by Juan Carlos Augusto and Marc Roper
Prototyping domain specific languages with COOPN
RISE'05 Proceedings of the Second international conference on Rapid Integration of Software Engineering Techniques
Formal test generation from UML models
Dependable Systems
Hi-index | 0.00 |