Towards A Uml Profile For The Simulation Domain | 0 | 0.34 | 2019 |
Software Architectures Evolution Based Merging | 0 | 0.34 | 2017 |
An Institution for Object-Z with Inheritance and Polymorphism. | 0 | 0.34 | 2015 |
Merging software architectures with conflicts detections. | 1 | 0.38 | 2015 |
Formalization of Mobile UML Statechart Diagrams Using the π-calculus: An Approach for Modeling and Analysis. | 1 | 0.38 | 2014 |
Towards an institution for Object-Z specifications | 0 | 0.34 | 2013 |
Towards Mobile Z Schemas | 0 | 0.34 | 2005 |
Formal specification of communication protocols with object-based ECATNets | 3 | 0.40 | 1996 |
Modelling of Object Based Systems with Hidden Sorted ECATNets | 5 | 0.56 | 1995 |
On reusing ATNet modules in protocol specification | 6 | 0.51 | 1994 |
Compact Modeling and Rapid Prototyping of Communication Software with ECATNets: A Case Study | 2 | 0.37 | 1993 |
Using ECATNets for specifying communication software in the OSI framework | 5 | 0.57 | 1992 |
How to Specify Non-Determinism and True Concurrency with Algebraic Term Nets | 20 | 1.06 | 1991 |