Giorgio Oronzo Spagnolo

dblp:119/1636 · DBLP profile ↗
← Back
15ranked-venue papers
0as first author
4since 2021 · last 2026
0000-0002-7771-0882ORCID · verified

Domains — the database's venue-derived domains; a paper can count in several

Software engineering, systems software and programming languages · 14 · 4 since 2021Artificial intelligence and machine learning · 3Applied, interdisciplinary, general and emerging computing · 3 · 1 since 2021Databases, data management, data science and information retrieval · 1
YearPublicationVenuePosition
2026 Fairness as a First-Class Requirement: A Fairness Hazard Analysis Approach to Socio-Technical Processes
Giovanna Broccia, Lucio Lelii, Roberto Cirillo, Dario Di Nucci, Samuel Fricker, Fabio Palomba, Giorgio Oronzo Spagnolo, Alessio Ferrari 0001
REFSQ7
2022 Technical Debt Management in Automotive Software Industry
abstract
The suppliers of software-intensive electronic automotive components are facing technical challenges due to the innovation rush and the growing time pressure from customers. As the quality of on-board automotive electronic systems is strongly dependent on the quality of their development practices, car manufacturers and suppliers proactively focus on improving technical and organizational processes. Automotive SPICE (ASPICE) is today the reference standard for assessing and improving automotive electronics processes and projects in this setting. As car manufacturers use ASPICE to qualify their suppliers of software-intensive systems, such a standard becomes a market demand. This paper identifies and discusses the benefits and impact of the integration and harmonization of Technical Debt Management (TDM) in an ASPICE-compliant software development project. Besides this paper provides a conceptual framework and a reference process description for the integration of ASPICE and TDM practices in a sample Software Engineering process.
Giuseppe Lami, Giorgio Oronzo Spagnolo
SEAA2
2022 A Lightweight Software Product Quality Evaluation Method
Giuseppe Lami, Giorgio Oronzo Spagnolo
ICSOFT2
2021 Spatial Model Checking for Smart Stations - Research Challenges
Maurice H. ter Beek, Vincenzo Ciancia, Diego Latella, Mieke Massink, Giorgio Oronzo Spagnolo
FMICS5
2020 30 Years of Simulation-Based Quantitative Analysis Tools: A Comparison Experiment Between Möbius and Uppaal SMC
Davide Basile 0001, Maurice H. ter Beek, Felicita Di Giandomenico, Alessandro Fantechi, Stefania Gnesi, Giorgio Oronzo Spagnolo
ISoLA (1)6
2018 A Guidelines framework for understandable BPMN models
Flavio Corradini, Alessio Ferrari 0001, Fabrizio Fornari 0001, Stefania Gnesi, Andrea Polini, Barbara Re 0001, Giorgio Oronzo Spagnolo
Data Knowl. Eng.7
2018 Towards formal methods diversity in railways: an experience report with seven frameworks
Franco Mazzanti, Alessio Ferrari 0001, Giorgio Oronzo Spagnolo
Int. J. Softw. Tools Technol. Transf.3
2017 PURE: A Dataset of Public Requirements Documents
abstract
This paper presents PURE (PUblic REquirements dataset), a dataset of 79 publicly available natural language requirements documents collected from the Web. The dataset includes 34,268 sentences and can be used for natural language processing tasks that are typical in requirements engineering, such as model synthesis, abstraction identification and document structure assessment. It can be further annotated to work as a benchmark for other tasks, such as ambiguity detection, requirements categorisation and identification of equivalent re-quirements. In the paper, we present the dataset and we compare its language with generic English texts, showing the peculiarities of the requirements jargon, made of a restricted vocabulary of domain-specific acronyms and words, and long sentences. We also present the common XML format to which we have manually ported a subset of the documents, with the goal of facilitating replication of NLP experiments.
Alessio Ferrari 0001, Giorgio Oronzo Spagnolo, Stefania Gnesi
RE2
2016 Experiments in Formal Modelling of a Deadlock Avoidance Algorithm for a CBTC System
Franco Mazzanti, Alessio Ferrari 0001, Giorgio Oronzo Spagnolo
ISoLA (2)3
2015 CMT and FDE: tools to bridge the gap between natural language documents and feature diagrams
abstract
A business subject who wishes to enter an established technological market is required to accurately analyse the features of the products of the different competitors. Such features are normally accessible through natural language (NL) brochures, or NL Web pages, which describe the products to potential customers. Building a feature model that hierarchically summarises the different features available in competing products can bring relevant benefits in market analysis. A company can easily visualise existing features, and reason about aspects that are not covered by the available solutions. However, designing a feature model starting from publicly available documents of existing products is a time consuming and error-prone task. In this paper, we present two tools, namely Commonality Mining Tool (CMT) and Feature Diagram Editor (FDE), which can jointly support the feature model definition process. CMT allows mining common and variant features from NL descriptions of existing products, by leveraging a natural language processing (NLP) approach based on contrastive analysis, which allows identifying domain-relevant terms from NL documents. FDE takes the commonalities and variabilities extracted by CMT, and renders them in a visual form. Moreover, FDE allows the graphical design and refinement of the final feature model, by means of an intuitive GUI.
Alessio Ferrari 0001, Giorgio Oronzo Spagnolo, Stefania Gnesi, Felice Dell'Orletta
SPLC2
2014 Deadlock Avoidance in Train Scheduling: A Model Checking Approach
Franco Mazzanti, Giorgio Oronzo Spagnolo, Simone Della Longa, Alessio Ferrari 0001
FMICS2
2014 Measuring and Improving the Completeness of Natural Language Requirements
Alessio Ferrari 0001, Felice Dell'Orletta, Giorgio Oronzo Spagnolo, Stefania Gnesi
REFSQ3
2014 From commercial documents to system requirements: an approach for the engineering of novel CBTC solutions
Alessio Ferrari 0001, Giorgio Oronzo Spagnolo, Giacomo Martelli, Simone Menabeni
Int. J. Softw. Tools Technol. Transf.2
2013 Mining commonalities and variabilities from natural language documents
abstract
A company who wishes to enter an established marked with a new, competitive product is required to analyse the product solutions of the competitors. Identifying and comparing the features provided by the other vendors might greatly help during the market analysis. However, mining common and variant features of from the publicly available documents of the competitors is a time consuming and error-prone task. In this paper, we suggest to employ a natural language processing approach based on contrastive analysis to identify commonalities and variabilities from the brochures of a group of vendors. We present a first step towards a practical application of the approach, in the the context of the market of Communications-Based Train Control (CBTC) systems.
Alessio Ferrari 0001, Giorgio Oronzo Spagnolo, Felice Dell'Orletta
SPLC2
2012 Product Line Engineering Applied to CBTC Systems Development
Alessio Ferrari 0001, Giorgio Oronzo Spagnolo, Giacomo Martelli, Simone Menabeni
ISoLA (2)2