Autor der Publikation

Model-based formal specification directed testing of abstract data types.

. COMPSAC, Seite 360-366. IEEE, (1993)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Dynamic Languages as Modeling Notations in Model Driven Engineering., und . ICSOFT (2), Seite 220-225. SciTePress, (2011)AXIOM: A Model-driven Approach to Cross-platform Application Development., und . ICSOFT, Seite 24-33. SciTePress, (2012)The AXIOM Model Framework - Transforming Requirements to Native Code for Cross-platform Mobile Applications., und . ENASE, Seite 26-37. SciTePress, (2014)An Approach for the Automatic Adaptation of Domain-Specific Modeling Languages for Model-Driven Mobile Application Development., und . ICSOFT (Selected Papers), Volume 586 von Communications in Computer and Information Science, Seite 365-379. Springer, (2015)Inter-University software engineering using web services., , , , , und . SIGCSE, Seite 464-468. ACM, (2007)A Hypothesis-Based Approach to Detecting Runtime Violations., , und . VVEIS, Seite 60-65. INSTICC Press, (2004)Using ZOOM Approach to Support MDD., , , , und . Software Engineering Research and Practice, Seite 144-150. CSREA Press, (2004)Model Transformation Framework Supported by ZOOM., , , und . Software Engineering Research and Practice, Seite 151-158. CSREA Press, (2007)Model-based formal specification directed testing of abstract data types.. COMPSAC, Seite 360-366. IEEE, (1993)Application of Adaptive Neuro-Fuzzy Inference System to carrying capacity assessment for cage fish farm in Daya Bay, China., , , , und . FSKD, Seite 815-818. IEEE, (2010)