Search For:

Displaying 1-4 out of 4 total
Model-Based Development and Formal Methods in the Railway Industry
Found in: IEEE Software
By Alessio Ferrari,Alessandro Fantechi,Stefania Gnesi,Gianluca Magnani
Issue Date:May 2013
pp. 28-34
The transition from a code-based process to a model-based process isn't easy. This is particularly true for a company that operates in a safety-critical sector, where the products must be developed according to international standards, with certified tools...
 
Using collective intelligence to detect pragmatic ambiguities
Found in: 2012 IEEE 20th International Requirements Engineering Conference (RE)
By Alessio Ferrari,Stefania Gnesi
Issue Date:September 2012
pp. 191-200
This paper presents a novel approach for pragmatic ambiguity detection in natural language (NL) requirements specifications defined for a specific application domain. Starting from a requirements specification, we use a Web-search engine to retrieve a set ...
 
Model Based Testing and Abstract Interpretation in the Railway Signaling Context
Found in: Software Testing, Verification, and Validation, 2008 International Conference on
By Daniele Grasso, Alessandro Fantechi, Alessio Ferrari, Carlo Becheri, Stefano Bacherini
Issue Date:April 2010
pp. 103-106
This article presents the experience of a railway signaling manufacturer in introducing the technologies of model based testing and abstract interpretation as part of its development process. Preliminary results show the better performance of these techniq...
 
Mining commonalities and variabilities from natural language documents
Found in: Proceedings of the 17th International Software Product Line Conference (SPLC '13)
By Alessio Ferrari, Felice Dell'Orletta, Giorgio O. Spagnolo
Issue Date:August 2013
pp. 116-120
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 a...
     
 1