( en | de | ru )

 

Disambiguation of "Gervais, Marie-Pierre"

Author of the publication

copydeleteadd this publication to your clipboard
Formalization of fUML: An Application to Process Verification.

, , , and . CAiSE, volume 8484 of Lecture Notes in Computer Science, page 347-363. Springer, (2014)

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.

Marie-Pierre Blanchard

Marie Pierre Manitz

Hendrik Gervais

Hendrik Gervais

Frédéric Gervais

 

Other publications of authors with the same name

MDA Tool Components: a proposal for packaging know-how in model driven development., , , and . Softw. Syst. Model., 7 (3): 329-343 (2008)Alloy4SPV : A Formal Framework for Software Process Verification., , , and . ECMFA, volume 8569 of Lecture Notes in Computer Science, page 83-100. Springer, (2014)The Intelligent Network: New Trends., and . NETWORKS, volume C-13 of IFIP Transactions, page 237-246. North-Holland, (1992)From MDA Platform-Specific Model to Code Generation: Coupling of RM-ODP and UML Action Semantics Standards., , and . Software Engineering Research and Practice, page 407-416. CSREA Press, (2004)Modeling Services and Web Services: Application of ModelBus., , and . Software Engineering Research and Practice, page 557-563. CSREA Press, (2005)Planning for declarative processes., , , and . SAC, page 1126-1133. ACM, (2014)Collaborative software engineering on large-scale models: requirements and experience in ModelBus., , and . SAC, page 674-681. ACM, (2008)MDA Components: A Flexible Way for Implementing the MDA Approach., , and . ECMDA-FA, volume 3748 of Lecture Notes in Computer Science, page 59-73. Springer, (2005)Limites de l'évaluation d'un Système d'Information : une analyse fondée sur l'expérience pratique ., , , , , and . INFORSID, page 411-428. (2012)ODAC: An Agent-Oriented Methodology Based on ODP.. Auton. Agents Multi Agent Syst., 7 (3): 199-228 (2003)