Porres, Ivan

name

• Porres, Ivan

Authored works

• A generic deep copy algorithm for MOF-based models
• A toolkit for manipulating UML models
• Digital sound recorder : a case study on designing embedded systems using the UML notation
• DiGraph/Occam : user's guide
• Model refactorings as rule-based update transformations
• Modeling and analyzing software behavior in UML

Works contributed to

• 9th International Conference, Spice 2009, Turku, Finland, June 2009 : proceedings
• A mapping language from models to XMI[DI] diagrams
• A query language with the star operator
• A relation between context-free grammars and meta object facility metamodels
• Developing a customisable programming environment for message passing based systems
• Developing cloud software : algorithms, applications, and tools
• Difference and union of models
• Formalising UML use cases in the refinement calculus
• Issues on the design of an XML-based configuration management system for model driven engineering
• Model interchange using OMG standards
• Software development and experimentation in an academic environment : the Gaudi experience
• Subset and union properties in modeling languages
• The production cell : an exercise in the formal verification of a UML model
• The semantics of UML state machines
• vUML : a tool for verifying UML models

Works about Porres, Ivan