( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Using Argumentation to Explain Ambiguity in Requirements Elicitation Interviews.

, , , , и . RE, стр. 51-60. IEEE Computer Society, (2017)

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.

Stefania Peluso

Stefania Richter

Stefania Castagnetti

Stefania Gori

Stefania Mendelsohn

 

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

A Deontic Logical Framework for Modelling Product Families., , , и . VaMoS, том 37 из ICB-Research Report, стр. 37-44. Universität Duisburg-Essen, (2010)On testing UML statecharts., , и . J. Log. Algebraic Methods Program., 69 (1-2): 1-74 (2006)Assisting the design of a groupware system., , , , , и . J. Log. Algebraic Methods Program., 78 (4): 191-232 (2009)Hacking an Ambiguity Detection Tool to Extract Variation Points: an Experience Report., , , и . VaMoS, стр. 43-50. ACM, (2018)Detecting policy conflicts by model checking UML state machines., , , и . ICFI, стр. 59-74. IOS Press, (2009)Applying the QuARS tool to detect variability., , и . SPLC (B), стр. 62:1-62:4. ACM, (2019)Model Checking Groupware Protocols., , , и . COOP, стр. 179-194. IOS, (2004)A Formal Security Analysis of an OSA/Parlay Authentication Interface., , , , , и . FMOODS, том 3535 из Lecture Notes in Computer Science, стр. 131-146. Springer, (2005)Shortest Path Problems and Tree Grammars: An Algebraic Framework., , и . Graph-Grammars and Their Application to Computer Science and Biology, том 73 из Lecture Notes in Computer Science, стр. 167-179. Springer, (1978)Model Checking of Non-Finite State Processes by Finite Approximations., , , и . TACAS, том 1019 из Lecture Notes in Computer Science, стр. 195-215. Springer, (1995)