Author of the publication

Towards an Alloy Formal Model for Flexible Advanced Transactional Model Development.

, , and . SEW, page 94-103. IEEE Computer Society, (2009)

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

A Survey of Interoperability in E-Health Systems - The European Approach., , , , , and . HEALTHINF (1), page 172-175. INSTICC - Institute for Systems and Technologies of Information, Control and Communication, (2008)Software Engineering of Fault Tolerant Systems, , , and . World Scientific Publishing Co. Pte. Ltd., SGP, (2007)A Pattern Language for Documenting Software Architectures., , and . EuroPLoP, page 673-694. UVK - Universitaetsverlag Konstanz, (2004)Real-Time Synchronised Petri Nets., , , and . ICATPN, volume 2360 of Lecture Notes in Computer Science, page 142-162. Springer, (2002)Slicing High-level Petri Nets., and . PNSE @ Petri Nets, volume 1160 of CEUR Workshop Proceedings, page 201-220. CEUR-WS.org, (2014)Analysing the SWECOM Standard for Designing a DevOps Education Programme., and . FISEE, volume 12271 of Lecture Notes in Computer Science, page 133-150. Springer, (2019)Formal Development and Validation of Java Dependable Distributed Systems., , , and . ICECCS, page 98-108. IEEE Computer Society, (1999)A metadata-based architectural model for dynamically resilient systems., , , and . SAC, page 566-572. ACM, (2007)A Flexible Requirements Analysis Approach for Software Product Lines., and . REFSQ, volume 4542 of Lecture Notes in Computer Science, page 78-92. Springer, (2007)A Product Line Perspective for Quality Reuse of Development Frameworks for Distributed Transactional Applications., and . COMPSAC, page 739-744. IEEE Computer Society, (2008)