A. Fantechi
TitelCiteras avÅr
Applications of linguistic techniques for use case analysis
A Fantechi, S Gnesi, G Lami, A Maccari
Requirements Engineering 8 (3), 161-170, 2003
2302003
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
1571993
GUARDS: A generic upgradable architecture for real-time dependable systems
D Powell, J Arlat, L Beus-Dukic, A Bondavalli, P Coppola, A Fantechi, ...
IEEE Transactions on Parallel and Distributed Systems 10 (6), 580-599, 1999
1501999
Formal modeling for product families engineering
A Fantechi, S Gnesi
2008 12th International Software Product Line Conference, 193-202, 2008
1082008
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
1052011
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
1041994
Natural language processing of patents and technical documentation
G Cascini, A Fantechi, E Spinicci
International Workshop on Document Analysis Systems, 508-520, 2004
942004
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
782002
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
781998
Model checking interlocking control tables
A Ferrari, G Magnani, D Grasso, A Fantechi
FORMS/FORMAT 2010, 107-115, 2011
752011
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
732011
A logical framework to deal with variability
P Asirelli, MH Ter Beek, A Fantechi, S Gnesi
International Conference on Integrated Formal Methods, 43-58, 2010
712010
Testing equivalences for event structures
L Aceto, R De Nicola, A Fantechi
Mathematical models for the semantics of parallelism, 1-20, 1987
671987
A model checking approach for verifying COWS specifications
A Fantechi, S Gnesi, A Lapadula, F Mazzanti, R Pugliese, F Tiezzi
International Conference on Fundamental Approaches to Software Engineering …, 2008
612008
Model checking fault tolerant systems
C Bernardeschi, A Fantechi, S Gnesi
Software Testing, Verification and Reliability 12 (4), 251-275, 2002
592002
An action/state-based model-checking approach for the analysis of communication protocols for Service-Oriented Applications
MH Ter Beek, A Fantechi, S Gnesi, F Mazzanti
International Workshop on Formal Methods for Industrial Critical Systems …, 2007
572007
Modelling and analysing variability in product families: model checking of modal transition systems with variability constraints
MH ter Beek, A Fantechi, S Gnesi, F Mazzanti
Journal of Logical and Algebraic Methods in Programming 85 (2), 287-315, 2016
492016
A methodology for the derivation and verification of use cases for product lines
A Fantechi, S Gnesi, G Lami, E Nesti
International Conference on Software Product Lines, 255-265, 2004
492004
A logical verification methodology for service-oriented computing
A Fantechi, S Gnesi, A Lapadula, F Mazzanti, R Pugliese, F Tiezzi
ACM Transactions on Software Engineering and Methodology (TOSEM) 21 (3), 16, 2012
462012
A behavioural model for product families
A Fantechi, S Gnesi
Proceedings of the the 6th joint meeting of the European software …, 2007
462007
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20