 | 2009 |
|---|
| 4 |       | Maurice H. ter Beek,
Stefania Gnesi,
Diego Latella,
Mieke Massink,
Maurizio Sebastianis,
Gianluca Trentanni:
Assisting the design of a groupware system.
J. Log. Algebr. Program. 78(4): 191-232 (2009) |
| 2008 |
|---|
| 3 | | Antonio Bucchiarone,
Stefania Gnesi,
Giuseppe Lami,
Gianluca Trentanni,
Alessandro Fantechi:
QuARS Express - A Tool Demonstration.
ASE 2008: 473-474 |
| 2005 |
|---|
| 2 |  | Stefania Gnesi,
Giuseppe Lami,
Gianluca Trentanni:
An automatic tool for the analysis of natural language requirements.
Comput. Syst. Sci. Eng. 20(1): (2005) |
| 2004 |
|---|
| 1 | | Gian Luigi Ferrari,
Stefania Gnesi,
Ugo Montanari,
Roberto Raggi,
Gianluca Trentanni,
Emilio Tuosto:
Verication On The Web Of Mobile Systems.
VVEIS 2004: 72-74 |
