37 citations · 89 across the 12 of their papers we have counts for
12 papers
Exploring the Role of Security Experience and ChatGPT Usage Strategies on Secure Software Engineering Education
Alessio Ferrari, Minh An Nguyen, Kushal Ramkumar +1
The rapid adoption of Large Language Models (LLMs) is reshaping software engineering education, but their role in secure software engineering education remains underexplored. We re…
When Stakeholder-centric Requirements Engineering is Not Enough: An Action Research Study on Legacy System Modernisation
Ruward S. Karper, Damian A. Tamburri, Alessio Ferrari +1
Legacy system modernisation is a major challenge in digital transformation, especially when organisations depend on long-lived, business-critical systems that are only partly under…
Replication in Requirements Engineering: the NLP for RE Case
Sallam Abualhaija, F. BaŞAk Aydemir, Fabiano Dalpiaz +4
[Context]} Natural language processing (NLP) techniques have been widely applied in the requirements engineering (RE) field to support tasks such as classification and ambiguity de…
Zero-Shot Learning for Requirements Classification: An Exploratory Study
Waad Alhoshan, Alessio Ferrari, Liping Zhao
Context: Requirements engineering researchers have been experimenting with machine learning and deep learning approaches for a range of RE tasks, such as requirements classificatio…
Strategies, Benefits and Challenges of App Store-inspired Requirements Elicitation
Alessio Ferrari, Paola Spoletini
App store-inspired elicitation is the practice of exploring competitors' apps, to get inspiration for requirements. This activity is common among developers, but little insight is…
Empirical Formal Methods: Guidelines for Performing Empirical Studies on Formal Methods
Maurice H. ter Beek, Alessio Ferrari
Empirical studies on formal methods and tools are rare. In this paper, we provide guidelines for such studies. We mention their main ingredients and then define nine different stud…
How Do Requirements Evolve During Elicitation? An Empirical Study Combining Interviews and App Store Analysis
Alessio Ferrari, Paola Spoletini, Sourav Debnath
Requirements are elicited from the customer and other stakeholders through an iterative process of interviews, prototyping, and other interactive sessions. Then, requirements can b…
Classification of Natural Language Processing Techniques for Requirements Engineering
Liping Zhao, Waad Alhoshan, Alessio Ferrari +1
Research in applying natural language processing (NLP) techniques to requirements engineering (RE) tasks spans more than 40 years, from initial efforts carried out in the 1980s to…
Formal Methods in Railways: a Systematic Mapping Study
Alessio Ferrari, Maurice H. ter Beek
Formal methods are mathematically-based techniques for the rigorous development of software-intensive systems. The railway signaling domain is a field in which formal methods have…
Systematic Evaluation and Usability Analysis of Formal Tools for Railway System Design
Alessio Ferrari, Franco Mazzanti, Davide Basile +1
Formal methods and supporting tools have a long record of success in the development of safety-critical systems. However, no single tool has emerged as the dominant solution for sy…
Natural Language Processing (NLP) for Requirements Engineering: A Systematic Mapping Study
Liping Zhao, Waad Alhoshan, Alessio Ferrari +4
Natural language processing supported requirements engineering is an area of research and development that seeks to apply NLP techniques, tools and resources to a variety of requir…
Ten Diverse Formal Models for a CBTC Automatic Train Supervision System
Franco Mazzanti, Alessio Ferrari
Communications-based Train Control (CBTC) systems are metro signalling platforms, which coordinate and protect the movements of trains within the tracks of a station, and between d…