Author of the publication

Formal Test Generation from UML Models.

, , and . Research Results of the DICS Program, volume 4028 of Lecture Notes in Computer Science, page 145-171. Springer, (2006)

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

Developing domain-specific modeling languages by metamodel semantic enrichment and composition: a case study., , , and . DSM@SPLASH, page 16:1-16:6. ACM, (2010)End-user Evaluation of a Mobile Application Prototype for Territorial Innovation., , , , , , , , and . ICEIS (2), page 495-504. SCITEPRESS, (2021)Investigating the Potential of Data from an Academic Social Network (GPS)., , , , , and . ICCSA (1), volume 12249 of Lecture Notes in Computer Science, page 760-775. Springer, (2020)Principles for System Prototype and Verification Using Metamodel Based Transformations., , and . IEEE International Workshop on Rapid System Prototyping, page 10-17. IEEE Computer Society, (2006)Usability Evaluation of a Community-led Innovation Mobile App., , , , , , , , and . CHIRA, page 81-88. SCITEPRESS, (2022)Examining Temporal Trends and Design Goals of Digital Music Instruments for Education in NIME: A Proposed Taxonomy., , , , and . NIME, page 591-595. nime.org, (2020)Tracing the Emmerging Use of Communication Technologies in Higher Education - A Literature Review., , , , , , , and . CSEDU (1), page 181-186. SciTePress, (2012)A Test Language for CO-OPN Specifications., , and . IEEE International Workshop on Rapid System Prototyping, page 195-201. IEEE Computer Society, (2005)Designing a Collaborative Storytelling Platform to Enrich Digital Cultural Heritage Archives and Collective Memory., , , and . HCI (29), volume 14712 of Lecture Notes in Computer Science, page 142-159. Springer, (2024)Peer-supported badge attribution in a collaborative learning platform: The SAPO Campus case., , , and . Comput. Hum. Behav., (2015)