Stefania Gnesi
Stefania Gnesi
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα - Αρχική σελίδα
Παρατίθεται από
Παρατίθεται από
Applications of linguistic techniques for use case analysis
A Fantechi, S Gnesi, G Lami, A Maccari
Requirements Engineering 8 (3), 161-170, 2003
An automatic tool for the analysis of natural language requirements
G Lami, S Gnesi, F Fabbrini, M Fusani, G Trentanni
Informe técnico, CNR Information Science and Technology Institute, Pisa …, 2004
The linguistic approach to the natural language requirements quality: benefit of the use of an automatic tool
F Fabbrini, M Fusani, S Gnesi, G Lami
Proceedings 26th Annual NASA Goddard Software Engineering Workshop, 97-105, 2001
Web service composition approaches: From industrial standards to formal methods
M Ter Beek, A Bucchiarone, S Gnesi
Second International Conference on Internet and Web Applications and …, 2007
An action-based framework for veryfying logical and behavioural properties of concurrent systems
R De Nicola, A Fantechi, S Gnesi, G Ristori
Computer networks and ISDN systems 25 (7), 761-778, 1993
An automatic quality evaluation for natural language requirements
F Fabbrini, M Fusani, S Gnesi, G Lami
Proceedings of the Seventh International Workshop on Requirements …, 2001
Formal methods for service composition
MH Ter Beek, A Bucchiarone, S Gnesi
Annals of Mathematics, Computing & Teleinformatics 1 (5), 1-10, 2007
Formal test-case generation for UML statecharts
S Gnesi, D Latella, M Massink
Proceedings. Ninth IEEE International Conference on Engineering of Complex …, 2004
Assisting requirement formalization by means of natural language translation
A Fantechi, S Gnesi, G Ristori, M Carenini, M Vanocchi, P Moreschini
Formal Methods in System Design 4 (3), 243-263, 1994
A survey on services composition languages and models
A Bucchiarone, S Gnesi
International Workshop on Web Services–Modeling and Testing (WS-MaTe 2006) 7, 2006
Formal description of variability in product families
P Asirelli, MH Ter Beek, S Gnesi, A Fantechi
2011 15th International Software Product Line Conference, 130-139, 2011
Formal modeling for product families engineering
A Fantechi, S Gnesi
2008 12th International Software Product Line Conference, 193-202, 2008
Pluto: A test methodology for product families
A Bertolino, S Gnesi
International Workshop on Software Product-Family Engineering, 181-197, 2003
Use case-based testing of product lines
A Bertolino, S Gnesi
ACM SIGSOFT Software Engineering Notes 28 (5), 355-358, 2003
Model checking UML statechart diagrams using JACK
S Gnesi, D Latella, M Massink
Proceedings 4th IEEE International Symposium on High-Assurance Systems …, 1999
The integration Project for the JACK Environment
A Bouali, S Gnesi, S Larosa
Centrum voor Wiskunde en Informatica, 1994
A model-checking verification environment for mobile processes
GL Ferrari, S Gnesi, U Montanari, M Pistore
ACM Transactions on Software Engineering and Methodology (TOSEM) 12 (4), 440-473, 2003
A state/event-based model-checking approach for the analysis of abstract system properties
MH Ter Beek, A Fantechi, S Gnesi, F Mazzanti
Science of Computer Programming 76 (2), 119-135, 2011
A formal verification environment for railway signaling system design
C Bernardeschi, A Fantechi, S Gnesi, S Larosa, G Mongardi, D Romano
Formal Methods in System Design 12 (2), 139-161, 1998
Use case description of requirements for product lines
A Bertolino, A Fantechi, S Gnesi, G Lami, A Maccari
Proceedings of the international workshop on requirements engineering for …, 2002
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20