Author of the publication

An Operational Semantics for UML 2 Sequence Diagrams Supported by Model Transformations.

, , and . FNC/MobiSPC, volume 56 of Procedia Computer Science, page 604-611. Elsevier, (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Compact Modeling and Rapid Prototyping of Communication Software with ECATNets: A Case Study., , , and . MASCOTS, page 149-154. The Society for Computer Simulation, (1993)Generating Python Code From Object-Z Specifications., , and . CoRR, (2018)CIRTA: An ECATNets Based Model for Embedded Systems Specification., , and . ESA, page 261-267. CSREA Press, (2005)On TGG Ability for Transforming UML 2 Sequence Diagrams with Imbricate Combined Fragments to π-Calculus Specifications., , , and . ANT/SEIT, volume 83 of Procedia Computer Science, page 658-664. Elsevier, (2016)Object Based Software Engineering with Hidden Sorted ECATNets and Hidden Labeled Rewriting Logic.. AICCSA, page 386-. IEEE Computer Society, (2001)Towards Mobile Z Schemas., and . Int. J. Comput. Sci. Appl., 2 (2): 101-117 (2005)Formal Specification of Communication Protocols with Object-Based ECATNets., , and . EUROMICRO, page 492-. IEEE Computer Society, (1996)A Life-cycle For Parallel And Distributed Systems Based On two Models Of Concurrency., , and . PDP, page 551-558. IEEE, (1994)Modelling and proving of truly concurrent systems with CATNets., and . PDP, page 265-272. IEEE, (1993)Implementing OntoUML Models with OntoObject-Z Specifications: A Proof of Concept Relying on a Partial Ontology for VLANs.. SIMULTECH, page 407-414. SCITEPRESS, (2024)