( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Scenarios, goals, and state machines: a win-win partnership for model synthesis.

, , и . SIGSOFT FSE, стр. 197-207. ACM, (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.

Sigrun Damas

Damas Philip

Luís Damas

Heide Damaschun

Irmgard Damaschun

 

Другие публикации лиц с тем же именем

Generating Process Models in Multi-View Environments., , и . Dependable Software Systems Engineering, том 40 из NATO Science for Peace and Security Series, D: Information and Communication Security, IOS Press, (2015)Transformation operators for easier engineering of medical process models., , и . SEHC@ICSE, стр. 39-45. IEEE Computer Society, (2013)Analyzing Critical Decision-Based Processes., , и . IEEE Trans. Software Eng., 40 (4): 338-365 (2014)Generating Annotated Behavior Models from End-User Scenarios., , , и . IEEE Trans. Software Eng., 31 (12): 1056-1073 (2005)Analyzing critical process models through behavior model synthesis., , , и . ICSE, стр. 441-451. IEEE, (2009)Analyzing multi-view models of software systems.. Catholic University of Louvain, Louvain-la-Neuve, Belgium, (2011)base-search.net (ftunivlouvain:oai:dial.uclouvain.be:boreal:95703).Scenarios, goals, and state machines: a win-win partnership for model synthesis., , и . SIGSOFT FSE, стр. 197-207. ACM, (2006)State-Merging DFA Induction Algorithms with Mandatory Merge Constraints., , и . ICGI, том 5278 из Lecture Notes in Computer Science, стр. 139-153. Springer, (2008)Process Execution and Enactment in Medical Environments., , и . FHIES/SEHC, том 9062 из Lecture Notes in Computer Science, стр. 145-161. Springer, (2014)