MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Stefania Gnesi" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

17 documents found, showing 1 through 10. Next 10 →

ATOM

Modelling Asynchronous Applications in a Mobile Environment
by Stefania Gnesi, Laura Semini
…Modelling asynchronous applications in a mobile environment Stefania Gnesi Istituto di…
Add To MetaCart

PLUTO: A Test Methodology for Product Families
by Antonia Bertolino, Stefania Gnesi — 2004 — Lecture Notes in Computer Science. SpringerVerlag Heidelberg. 3014
…PLUTO: A Test Methodology for Product Families Antonia Bertolino, Stefania Gnesi Istituto di…
Cited by 4 (0 self) – Add To MetaCart

2005) A model checking verification environment for UML Statecharts
by Stefania Gnesi, Franco Mazzanti — In: Proceedings of XLIII Congresso
…A MODEL CHECKING VERIFICATION ENVIRONMENT FOR UML STATECHARTS ∗ Stefania Gnesi and Franco Mazzanti…
Cited by 4 (0 self) – Add To MetaCart

Quality Evaluation based on Architecture Analysis
by Fabrizio Fabbrini, Mario Fusani, Stefania Gnesi — 1998 — In Proceedings of the International Workshop on the Role of Software Architecture in Testing and Analysis (ROSATEA’98
…Quality Evaluation based on Architecture Analysis Fabrizio Fabbrini Mario Fusani Stefania Gnesi…
Cited by 2 (0 self) – Add To MetaCart

Witness and Counterexample Automata for ACTL
by Robert Meolic, Alessandro Fantechi, Ro Fantechi, Stefania Gnesi — 2004 — In Formal Techniques for Networked and Distributed Systems - FORTE 2004, volume 3235 of Lecture Notes in Computer Science
… , and Stefania Gnesi 3 1 Faculty of Electrical Engineering and Computer Science University of Maribor Maribor…
Cited by 1 (0 self) – Add To MetaCart

A Survey on Service Composition Approaches: From Industrial Standards to Formal Methods
by Maurice Beek, Antonio Bucchiarone, Stefania Gnesi — 2006 — In Technical Report 2006TR-15, Istituto
… Antonio Bucchiarone Stefania Gnesi Istituto di Scienza e Tecnologie dell’Informazione, Via G. Moruzzi 1…
Cited by 5 (0 self) – Add To MetaCart

Modelling Dynamic Software Architectures using Typed Graph Grammars Abstract
by Antonio Bucchiarone, Hernán Melgratti, Stefania Gnesi, Roberto Bruni — 2007
… Bucchiarone and Hernán Melgratti IMT Lucca, Italy {a.bucchiarone,h.melgratti}@(email omitted); and Stefania Gnesi…
Cited by 1 (1 self) – Add To MetaCart

The Integration Project for the JACK Environement
by Amar Bouali, Amar Bouali, Stefania Gnesi, Stefania Gnesi, Salvatore Larosa, Salvatore Larosa — 1994 — Bulletin of the EATCS
… Environement Amar Bouali, Stefania Gnesi, Salvatore Larosa Computer Science/Department of Software Technology…
Cited by 33 (12 self) – Add To MetaCart

An automatic tool for the analysis of natural language requirements
by Stefania Gnesi, Fabrizio Fabbrini, Mario Fusani, Gianluca Trentanni — 2005 — CRL Publishing: Leicester
…An Automatic Tool for the Analysis of Natural Language Requirements Giuseppe Lami, Stefania Gnesi…
Cited by 5 (0 self) – Add To MetaCart

Formal test-case generation for uml statecharts
by Stefania Gnesi, Diego Latella, Mieke Massink, Via Moruzzi, I Pisa — 2004 — Proc. 9th IEEE Int. Conf. on Engineering of Complex Computer Systems
…Formal Test-case Generation for UML Statecharts Stefania Gnesi, Diego Latella and Mieke Massink…
Cited by 3 (1 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB