( en | de | ru )

 

Disambiguation of "Gnesi, Stefania"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Controlling Requirements Evolution: a Formal Concept Analysis-Based Approach.

, , , und . ICSEA, Seite 68. IEEE Computer Society, (2007)

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.

Stefania Peluso

Stefania Richter

Stefania Castagnetti

Stefania Mendelsohn

Stefania Strassberg

 

Weitere Publikationen von Autoren mit dem selben Namen

Model Checking Groupware Protocols., , , und . COOP, Seite 179-194. IOS, (2004)A Deontic Logical Framework for Modelling Product Families., , , und . VaMoS, Volume 37 von ICB-Research Report, Seite 37-44. Universität Duisburg-Essen, (2010)On testing UML statecharts, , und . Journal of Logic and Algebraic Programming, 69 (1-2): 1--74 (2006)Refinement of Behavioural Models for Variability Description., und . From Action Systems to Distributed Systems, Chapman and Hall/CRC, (2016)A case study on the automated verification of groupware protocols., , , , , und . ICSE, Seite 596-603. ACM, (2005)1st FME workshop on formal methods in software engineering (FormaliSE 2013)., und . ICSE, Seite 1519-1520. IEEE Computer Society, (2013)Verifying Mobile Processes in the HAL Environment., , , , und . CAV, Volume 1427 von Lecture Notes in Computer Science, Seite 511-515. Springer, (1998)Requirement Engineering of Software Product Lines: Extracting Variability Using NLP., , , und . RE, Seite 418-423. IEEE Computer Society, (2018)Application of Linguistic Techniques for Use Case Analysis., , , und . RE, Seite 157-164. IEEE Computer Society, (2002)An Automated Based Verification Environment for Mobile Processes., , , , , und . TACAS, Volume 1217 von Lecture Notes in Computer Science, Seite 275-289. Springer, (1997)