A Formal Specification Framework for Object-Oriented Distributed Systems
IEEE Transactions on Software Engineering
Object oriented modelling with object petri nets
Concurrent object-oriented programming and petri nets
Object-oriented nets with algebraic specifications: the CO-OPN/2 formalism
Concurrent object-oriented programming and petri nets
CLOWN as a testbed for concurrent object-oriented concepts
Concurrent object-oriented programming and petri nets
A component-based Petri net model for specifying and validating cooperative information systems
Data & Knowledge Engineering
Techniques for Modeling Workflows and Their Support of Reuse
Business Process Management, Models, Techniques, and Empirical Studies
Higher-order petri net modelling: techniques and applications
CRPIT '02 Proceedings of the conference on Application and theory of petri nets: formal methods in software engineering and defence systems - Volume 12
Modelling and initial analysis of operational planning processes using coloured petri nets
CRPIT '02 Proceedings of the conference on Application and theory of petri nets: formal methods in software engineering and defence systems - Volume 12
An object-oriented approach to formally analyze the UML 2.0 activity partitions
Information and Software Technology
Enterprise Information Systems - Contains Special Issue: Modelling, Simulation, Verification and Validation of Enterprise Information Systems, edited by Juan Carlos Augusto and Marc Roper
Testing and Debugging Message Passing Programs in Synergy with their Specifications
Fundamenta Informaticae
| Hi-index | 0.00 |