Concepedia

Alessandro Fantechi

AF

45

Publications

1.8K

Citations

23

H-Index

1987

Active since

Affiliations

University of Florence(Current)

Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo"

University of Pisa

General Electric (Italy)

Alessandro Fantechi is an author at University of Florence specializing in engineering, systems engineering, and formal methods.

Top concepts

EngineeringSystems EngineeringFormal MethodsFormal VerificationSoftware DesignComputer ScienceSoftware EngineeringSoftware AnalysisVerificationSoftware Testing

Publications per year

1987–2024

45

Publications

45

Applications of linguistic techniques for use case analysis

Alessandro Fantechi, Stefania Gnesi, Giuseppe Lami et al. · Requirements Engineering · 2003 · 174 citations

Applied Linguistics, Empirical Case Study, Language Documentation +9

Assisting requirement formalization by means of natural language translation

Alessandro Fantechi, Stefania Gnesi, Gioia Ristori et al. · Formal Methods in System Design · 1994 · 99 citations

Natural Language Processing, Software Requirement, Requirement Formalization +9

GUARDS: a generic upgradable architecture for real-time dependable systems

David Powell, Jean Arlat, L. Beus-Dukic et al. · IEEE Transactions on Parallel and Distributed Systems · 1999 · 93 citations

Engineering, Computer Architecture, Software Engineering +20

Formal Description of Variability in Product Families

Patrizia Asirelli, Maurice H. ter Beek, Stefania Gnesi et al. · 2011 · 92 citations

Engineering, Modal Logic, Formal Verification +19

Detecting requirements defects with NLP patterns: an industrial experience in the railway domain

Alessio Ferrari, Gloria Gori, Benedetta Rosadini et al. · Empirical Software Engineering · 2018 · 89 citations

Engineering, Requirement Modeling, Requirements Defects +17

Rows per page

1–5 of 45