Page
%P
-
Article
Open AccessEditorial for the REFSQ’23 special issue
-
Chapter and Conference Paper
The Return of Formal Requirements Engineering in the Era of Large Language Models
\([Context\,and\,Motivation]\) [ C o ...
-
Chapter and Conference Paper
Assessing the Understandability and Acceptance of Attack-Defense Trees for Modelling Security Requirements
Context and Motivation Attack-Defense Trees (ADTs) are a graphical notation used to model and assess security requirements. ADTs are widely popular, as they can facilitate communication between different stakehol...
-
Article
Open AccessOn the relationship between similar requirements and similar software
Recommender systems for requirements are typically built on the assumption that similar requirements can be used as proxies to retrieve similar software. When a stakeholder proposes a new requirement, natural ...
-
Chapter and Conference Paper
Hydro-Mechanical Characterization of a Shale by Unusually High-Pressure Oedometric Tests
The note presents selected results of an experimental campaign conducted with the aim to investigate the hydro-mechanical behaviour of a shale recovered at a depth of about 900 m below the ground. High-pressur...
-
Chapter and Conference Paper
On Multiphysical Couplings in Energy Geotechnics: Relevance and Applications
Energy Geotechnics includes several applications related to the recovery and storage of energy from and into the ground, energy transportation, and the management of waste and carbon dioxide generated from ene...
-
Chapter and Conference Paper
On the Fabric of a 3D Printed Soil
3D printing of earthen materials is on the rise in the field of Additive Manufacturing (AM) due to the opportunity this technique offers to realize structures and manufacts with low environmental impacts, but ...
-
Chapter and Conference Paper
Experimental and Numerical Investigation on Water Exchange of Opalinus Clay Samples
Opalinus Clay is a fine-grained sedimentary geomaterial with a mineral composition consisting mainly of silicates, carbonates and quartz. Due to its favourable barrier properties, this geomaterial has been sel...
-
Chapter and Conference Paper
On the Post-peak Behaviour of Remoulded and Jointed Clay Samples During Triaxial Compression Tests
The note presents a selection of the results of a large experimental program conducted with the aim of characterizing the shear strength of Opalinus Clay and Speswhite Kaolin in remoulded and reconstituted con...
-
Chapter and Conference Paper
Experimenting with Formal Verification and Model-Based Development in Railways: The Case of UMC and Sparx Enterprise Architect
The use of formal methods can reduce the time and costs associated with railway signalling systems development and maintenance, and improve correct behaviour and safety. The integration of formal methods into ...
-
Book and Conference Proceedings
-
Book and Conference Proceedings
Requirements Engineering: Foundation for Software Quality
29th International Working Conference, REFSQ 2023, Barcelona, Spain, April 17–20, 2023, Proceedings
-
Article
CaRE: a refinement calculus for requirements engineering based on argumentation theory
The Requirements Engineering (RE) process starts with initial requirements elicited from stakeholders—however conflicting, unattainable, incomplete and ambiguous—and successively refines them until a consisten...
-
Article
Open AccessHow do requirements evolve during elicitation? An empirical study combining interviews and app store analysis
Requirements are elicited from the customer and other stakeholders through an iterative process of interviews, prototy**, and other interactive sessions. Then, requirements can be further extended, based on ...
-
Article
Open AccessCorrection to: On the relationship between similar requirements and similar software
-
Article
Open AccessVolume change response and fabric evolution of granular MX80 bentonite along different hydro-mechanical stress paths
Despite the increasing understanding of bentonite behaviour, there is still missing evidence on how different hydro-mechanical loadings, including sequences of hydration and compression, affect the fabric and ...
-
Article
Open AccessExploring the ERTMS/ETCS full moving block specification: an experience with formal methods
Shift2Rail is a joint undertaking funded by the EU via its Horizon 2020 program and by main railway stakeholders. Several Shift2Rail projects aim to investigate the application of formal methods to new ERTMS/E...
-
Chapter and Conference Paper
A Zero-Shot Learning Approach to Classifying Requirements: A Preliminary Study
Context and motivation: Advances in Machine Learning (ML) and Deep Learning (DL) technologies have transformed the field of Natural Language Processing (NLP), making NLP more practical and accessible. Motivated b...
-
Chapter and Conference Paper
Towards Explainable Formal Methods: From LTL to Natural Language with Neural Machine Translation
[Context and motivation] Requirements formalisation facilitates reasoning about inconsistencies, detection of ambiguities, and identification critical issues in system models. Temporal logic formulae are the natu...
-
Article
Open AccessDiscussion on “Experimental Deformation of Opalinus Clay at Elevated Temperature and Pressure Conditions: Mechanical Properties and the Influence of Rock Fabric” of Schuster, V., Rybacki, E., Bonnelye, A., Herrmann, J., Schleicher, A.M., Dresen, G.
The testing procedure and results on saturated samples of Opalinus Clay in the work of Schuster et al. (Rock Mech Rock Eng https://doi.org/10.1007/s00603-021-02474-3
