63 result(s)
Page Size: 10, 20, 50
Export: bibtex, xml, json, csv
Order by:

CNR Author operator: and / or
more
Typology operator: and / or
Language operator: and / or
Date operator: and / or
more
Rights operator: and / or
2019 Contribution to book Restricted

Comparing results of natural language disambiguation tools with reports of manual reviews of safety-related standards
Biscoglio I., Ciancabilla A., Fusani M., Lami G., Trentanni G.
Methods and tools for detecting and measuring ambiguity in texts have been proposed for years, yet their efficacy is still under study for improvement, encouraged by results in various application fields (requirements, legal documents, interviews, ...). The paper presents a fresh-started process aimed at validating such methods and tools by applying some of them to a semi-structured data corpus. This corpus represents results of manual reviews, done by international experts, along with their source texts. The purpose is to check how much results of automated analysis are consistent with the reviewers reports. The application domain is that of safety-related system/software Standards in Railway. Thus, if we increase confidence in tools, then we also increase confidence in Standard correctness, which in turn impacts in conforming products.Source: From Software Engineering to Formal Methods and Tools, and Back, edited by Maurice H. ter Beek, Alessandro Fantechi, Laura Semini, pp. 239–249. Cham, Heidelberg, New York, Dordrecht, London: Springer, 2019
DOI: 10.1007/978-3-030-30985-5_15

See at: academic.microsoft.com Restricted | dblp.uni-trier.de Restricted | link.springer.com Restricted | link.springer.com Restricted | CNR ExploRA Restricted


2019 Contribution to book Restricted

QuARS: a pioneer tool for NL requirement analysis
Lami G., Fusani M., Trentanni G.
This paper summarizes the achievements of Stefania Gnesi's research activity in the area of the natural language requirements analysis and quality evaluation. The development of the QuARS tool has been the pivotal step of this research stream led by Stefania Gnesi at ISTI-CNR. A functional description of the QuARS tool is provided as well as a short report of its evolutions over a decade. The wide use of QuARS in several research and industrial contexts demonstrates the validity and the originality of Stefania's contribution in such an area of software engineering.Source: From Software Engineering to Formal Methods and Tools, and Back, edited by ter Beek M.H.; Fantechi A.; Semini L., pp. 211–219. Cham, Heidelberg, New York, Dordrecht, London: Springer, 2019
DOI: 10.1007/978-3-030-30985-5_13

See at: academic.microsoft.com Restricted | dblp.uni-trier.de Restricted | link.springer.com Restricted | link.springer.com Restricted | link.springer.com Restricted | CNR ExploRA Restricted


2019 Conference article Open Access OPEN

QuARS: a NLP tool for requirements analysis
Gnesi S., Trentanni G.
QuARS (Quality Analyzer for Requirements Specifications) is a tool able to perform an analysis of Natural Language (NL) requirements in a systematic and an automatic way by means of natural language processing techniques with a focus on ambiguity detection. QuARS allows the requirements engineers to perform an early analysis of the requirements for automatically detecting potential linguistic defects.Source: REFSQ-2019 - Workshops, Doctoral Symposium, Live Studies Track, and Poster Track, Essen, Germany, 19 March, 2019

See at: ceur-ws.org Open Access | ISTI Repository Open Access | CNR ExploRA Open Access


2018 Other Unknown

Sito web Biblioteca Area CNR Pisa
Volpini F., Giannini S., Molino A., D'Angelo C., Lombardi S., Falconetti L., Trentanni G.
Lo sviluppo del nuovo sito web nasce principalmente dall'esigenza di rimanere al passo con i tempi, sia dal punto di vista del restyling grafico, sia dalla necessità di fornire contenuti adeguati ai nuovi scenari in cui si muove la ricerca scientifica e ai cambiamenti in atto nelle modalità di comunicazione dei risultati della ricerca stessa. Non ultima motivazione è costituita dalla possibilità fornita dalle nuove tecnologie web che consentono di rendere maggiormente fruibile il sito anche da dispositivi mobili quali tablet e smartphone. Il sito è stato progettato e sviluppato sfruttando il CMS Joomla. Di seguito sono elencati i contributi forniti dai singoli autori per la realizzazione del progetto. - Alla fase di progettazione hanno partecipato Federico Volpini, Silvia Giannini, Anna Molino, Caterina D'Angelo e Gianluca Trentanni. - Caterina D'Angelo ha predisposto il server web sul quale Federico Volpini ha installato il CMS Joomla, ha collaborato all'organizzazione di alcuni contenuti e mantiene il server con il ruolo di amministratore. - Federico Volpini ha curato lo sviluppo del sito, in particolare del template e del modulo per la ricerca dei libri di testo. - I contenuti sono stati prodotti da Silvia Giannini e Anna Molino. Silvia Giannini ha curato i contenuti e l'inserimento degli stessi in italiano mentre Anna Molino ha curato la traduzione e l'inserimento in lingua inglese. - Stefania Lombardi ha curato i contenuti e la pubblicazione della sezione News. - Daniela Falconetti ha realizzato tutte le foto presenti nel banner, di cui è proprietaria. - Gianluca Trentanni ha curato la rielaborazione delle foto allo scopo di adattarle alla visualizzazione e, in alcunii casi, di ottenere effetti particolari.

See at: library.area.pi.cnr.it | CNR ExploRA


2017 Contribution to book Restricted

Certification of cash registers software
Biscoglio I., Lami G., Trentanni G.
This paper presents the Italian scenario of cash register software certification. The basic concepts of certification are introduced together with involved actors, requirements and possible objects to be certified. Subsequently, the specific kind of fiscal device running fiscal software, that is the cash register, is outlined, and its certification process is described. The current technological adjustments of the cash register software according to the Italian legislation modifications are introduced and discussed.Source: Model-Driven Engineering and Software Development, edited by Slimane Hammoudi, Luís Ferreira Pires, Bran Selic, Philippe Desfray, pp. 154–167, 2017
DOI: 10.1007/978-3-319-66302-9_8

See at: academic.microsoft.com Restricted | dblp.uni-trier.de Restricted | doi.org Restricted | link.springer.com Restricted | link.springer.com Restricted | link.springer.com Restricted | CNR ExploRA Restricted | rd.springer.com Restricted


2016 Conference article Closed Access

Fiscal software certification: An Italian experience of certification against the fiscal legislation
Biscoglio I., Lami G., Trentanni G.
This paper describes an experience of software certification in the specific fiscal software domain. The Italian Fiscal Software Certification scenario and the cash register, as specific kind of fiscal device running fiscal software, are outlined. Besides, some requirements, extracted from the current legislation, are shown. As the Italian legislation does not provide it, a Business Process Model (BPM) presenting the fiscal software certification process is illustrated. The BPM was built by means of a study of the current legislation and it constitutes the original contribution to the paper. Finally, the challenges of the further technological adjustments according to the Italian legislation are discussed.Source: International Workshop on DomAin Specific Model-Based AppRoaches to vErificaTion and validaTiOn, pp. 54–61, Rome, Italy, 19 February 2016

See at: CNR ExploRA Restricted


2016 Report Closed Access

Certificazione del software fiscale. Un'esperienza italiana di certificazione conforme alla legislazione fiscale.
Biscoglio I., Trentanni G.
This paper presents the Italian scenario of cash register software certification. The basic concepts of certification are introduced together with involved actors, requirements and possible objects to be certified. Subsequently, the specific kind of fiscal device running fiscal software, that is the cash register, is outlined, and its certification process is described. The current technological adjustments of the cash register software according to the Italian legislation modifications are introduced and discussed.Source: ISTI Technical reports, 2016

See at: CNR ExploRA Restricted


2015 Conference article Restricted

Certification and legislation. An Italian experience of fiscal software certification
Biscoglio I., Lami G., Marchetti E., Trentanni G.
The paper introduces the Italian Fiscal Software Certification scenario. Some concepts about certification are illustrated. The cash registers, as specific kind of Fiscal Meter, are described and their adopted certification process based on Italian legislation requirements is presented as well. Finally, the new related technological challenges are discussed.Source: ICSOFT - EA 2015 - 10th International Conference on Software Engineering and Applications, pp. 174–179, Colmar, Alsace, France, 20 - 22 July 2015

See at: CNR ExploRA Restricted | www.scitepress.org Restricted


2013 Contribution to book Restricted

An application of stochastic model checking in the industry: user-centered modeling and analysis of collaboration in thinkteam
Ter Beek M. H., Gnesi S., Latella D., Massink M., Sebastianis M., Trentanni G.
In this chapter, we describe a general methodology for modeling and analyzing industrial software systems in their design phase, that is, prior to their implementation, by means of (stochastic) model checking.Source: Formal Methods for Industrial Critical Systems: A Survey of Applications, edited by Stefania Gnesi, Tiziana Margaria, pp. 179–203, 2013
DOI: 10.1002/9781118459898.ch9

See at: academic.microsoft.com Restricted | fmt.isti.cnr.it Restricted | onlinelibrary.wiley.com Restricted | onlinelibrary.wiley.com Restricted | CNR ExploRA Restricted


2012 Contribution to conference Open Access OPEN

iFM 2012 & ABZ 2012 - Proceedings of the Posters & Tool demos Session
Mazzanti F., Trentanni G.
Submissions accepted for the Posters & Tool Demos Session at iFM+ABZ 2012 Conference, Pisa, 18-21 June 2012Source: Pisa: CNR-ISTI, 2012
Project(s): DEPLOY via OpenAIRE

See at: CNR ExploRA Open Access


2012 Conference article Restricted

A case study of requirements quality analysis
Biscoglio I., Coco A., Fabbrini F., Fusani M., Lami G., Marchetti E., Trentanni G.
Requirements analysis occupies a prominent part in the activities of a product life cycle. Out of the various aspects of the analysis, those related to the quality of requirements can have a large impact in the quality of the final product. Since requirements are first conceived as natural language expressions, and intensive use of automation is advised to keep project cost at reasonable level, it seems opportune to develop requirements analysis by means of natural language processing techniques. In spite of the scarce interest drawn by these issues within the industrial environment, the advantages of adopting natural language processing techniques to improve the quality of requirements are thought worth of repaying some research efforts, so the issue has been studied for years in the academic world and several solutions are proposed in literature. In this paper, a short survey of the existing solutions is presented and an approach that makes use of a model, a tool and a process to analyse the quality of requirements is proposed and compared. Then the results of applying the approach to the case study of requirements for train-control design, issued by the European Railway Agency, are reported and discussed. Also an industrial experience of a Service Centre about requirement analysis is shown and related application research issues are proposed.Source: 8th International Conference on the Quality of Information and Communications Technology, Lisboa, Portugal, 3-6 September 2012

See at: 2012.quatic.org Restricted | CNR ExploRA Restricted


2011 Report Open Access OPEN

QuARS versus QuARS Express
Trentanni G.
QuARS and QuARS Express (Quality Analyzer of Requirements Specifications) are tools that make it easier to extract structured information and metrics for detecting linguistic inaccuracies and defects in software requirements expressed in Natural language. The Express edition of QuARS represent a parallel evolution of the main tool exploiting the same core engine for an increased usability and a more expressive set of reports. In this article a comparison is presented.Source: ISTI Technical reports, 2011

See at: ISTI Repository Open Access | CNR ExploRA Open Access


2011 Report Open Access OPEN

Addressing Readability in NL Requirements Analysis
Trentanni, G.
What is "readability" and why does it matter? According to Wikipedia (2006), "Readability is a measure of the accessibility of a piece of writing, indicating how wide an audience it will reach. Readability is a judgment of how easy a text is to understand". In the following the use of Readability Metrics in automated analysis of Natural Language expressed Requirements is investigated and some use case is presented.Source: ISTI Technical reports, 2011

See at: ISTI Repository Open Access | CNR ExploRA Open Access


2011 Report Open Access OPEN

The HAL-online Tool
Gnesi Stefania, Trentanni Gianluca
The HD-Automata Laboratory (HAL) is an integrated tool set for the specification, verification and analysis of concurrent and distributed systems. The core of HAL are the HD-automata: they are used as a common format for the various history-dependent languages. The HAL environment includes modules which implement decision procedures to calculate behavioral equivalences, and modules which support verification of behavioral properties expressed as formulae of suitable temporal logics. At this moment HAL works only with concurrent and distributed systems expressed by pi-calculus formalism. The HAL environment allows pi-calculus agents to be translated into ordinary automata, so that existing equivalence checkers can be used to calculate whether the pi-calculus are bisimilar. The environment also supports verification of logical formulae expressing desired properties of the behavior of pi-calculus agents. In this paper the online version of the toolkit is shown.Source: ISTI Technical reports, 2011

See at: ISTI Repository Open Access | CNR ExploRA Open Access


2011 Report Open Access OPEN

WCS: a Witness and Counterexample Server
Fantechi A., Meolic R., Gnesi S., Trentanni G.
Witness and Counterexample Server (WCS) is planned to be a suite of tools designed to asses the ability of model hecking techniques to increase effectiveness of hardware/software testing activities. It is focused on witnesses and counterexamples produced by model checkers. Currently, a BDD-based model checker with the ability of generating linear witnesses and counterexamples, and witness and counterexample automata is available. Witness and counterexample automata are finite automata recognizing a set of all finite linear witnesses and counterexamples for a given formula over a given model, respectively. WCS is organized as a web service, in order to provide public access to the functionality of verification tools.Source: ISTI Technical reports, 2011

See at: ISTI Repository Open Access | CNR ExploRA Open Access


2011 Report Open Access OPEN

Certificazione di Apparecchi Misuratori Fiscali: passato, presente e futuro
Coco A., Trentanni G.
A survey of the technological evolution of Fiscal Meters (Electronic Cash Register and Automatic Ticketing Systems) and of the issues relating to the validation of compliance with the current legislature.Source: ISTI Technical reports, 2011

See at: ISTI Repository Open Access | CNR ExploRA Open Access


2011 Report Open Access OPEN

Cartelle sanitarie e di rischio: un'esperienza di certificazione
Biscoglio Isabella, Coco Alessandro, Trentanni Gianluca
An experience of conformity assessment and certification in the computerization of medical records and risk compared to current standards.Source: ISTI Technical reports, 2011

See at: ISTI Repository Open Access | CNR ExploRA Open Access


2011 Report Open Access OPEN

QuARS Express: A Tool for Evaluating Natural Language Requirements
Bucchiarone A., Gnesi S., Lami G., Trentanni G., Fantechi A.
Requirements analysis is an important phase in a software project. It is often performed in an informal way by specialists who review documents looking for ambiguities, technical inconsistencies and incompleteness. Automatic evaluation of Natural Language (NL) requirements documents has been proposed as a means to improve the quality of the system under development. We show how the tool QUARS EXPRESS, introduced in a quality analysis process, is able to manage complex and structured requirement documents containing metadata, and to produce an analysis report rich of categorized information that points out linguistic defects and indications about the writing style of NL requirements. In this paper we report our experience in the automatic analysis of a large collection of natural language requirements, produced inside the MODCONTROL project using this tool.Source: ISTI Technical reports, 2011

See at: ISTI Repository Open Access | CNR ExploRA Open Access


2011 Other Open Access OPEN

QuARS Express - User Manual (version 0.1)
Trentanni G.
The QuARS Express (Quality Analyzer of Requirements pecifications - Express edition) is a tool that makes it easier to extract structured information and metrics for detecting linguistic inaccuracies and defects in software requirements expressed in Natural language. In the following is presented the user manual.

See at: ISTI Repository Open Access | CNR ExploRA Open Access


2010 Contribution to conference Open Access OPEN

SEFM 2010 - Poster and Tool Demo Session Proceedings
Mazzanti F., Trentanni G.
Proceedings of the Poster and Tool Demo Session during the 8th IEEE International Conference on Software and Formal Methods (SEFM 2010) - CNR, Pisa, Italy 13-18 September 2010Source: Pisa: CNR-Area Ricerca Pisa, 2010

See at: CNR ExploRA Open Access