2014
Other
Unknown
Sito Web "SPLC 2014 - 18th International Software Product Line Conference"
Trentanni G.
Web Site related to the 18th International Software Product Line Conference (SPLC 2014)
Trentanni G.
Web Site related to the 18th International Software Product Line Conference (SPLC 2014)
See at: CNR ExploRA | splc2014.isti.cnr.it
2013
Other
Unknown
Sito Web "Vamos 2013 - Seventh International Workshop on Variability Modelling of Software-intensive Systems"
Trentanni G.
Web Site related to the Seventh International Workshop on Variability Modelling of Software-intensive Systems (VAMOS) in 2013
Trentanni G.
Web Site related to the Seventh International Workshop on Variability Modelling of Software-intensive Systems (VAMOS) in 2013
See at: CNR ExploRA | vamos2013.isti.cnr.it
2010
Other
Unknown
Sito web "SEFM2010 - The eighth IEEE International Conference on Software Engineering and Formal Methods"
Trentanni G.
Web Site related to the eighth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2010)
Trentanni G.
Web Site related to the eighth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2010)
See at: CNR ExploRA | www.sefm2010.isti.cnr.it
2004
Journal article
Unknown
An automatic tool for improving the quality of software requirements
Lami G., Trentanni G.
We present the Quality Analyzer for Requirements Specifications (QuARS), an innovative tool that enables the user to analyse NL requirements automatically.Source: ERCIM news 58 (2004): 18–19.
Lami G., Trentanni G.
We present the Quality Analyzer for Requirements Specifications (QuARS), an innovative tool that enables the user to analyse NL requirements automatically.Source: ERCIM news 58 (2004): 18–19.
See at: CNR ExploRA
2010
Contribution to conference
Unknown
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
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
2007
Report
Open Access
QuARS. User Manual (version 0.5)
Lami G., Trentanni G.
The QuARS (Quality Analyzer of Requirements Specifications) tool 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.Source: ISTI Technical reports, 2007
Lami G., Trentanni G.
The QuARS (Quality Analyzer of Requirements Specifications) tool 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.Source: ISTI Technical reports, 2007
See at:
ISTI Repository 
| CNR ExploRA
2011
Report
Open Access
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
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 | CNR ExploRA
2011
Report
Open Access
Cartelle sanitarie e di rischio: un'esperienza di certificazione
Biscoglio I., Coco A., Trentanni G.
An experience of conformity assessment and certification in the computerization of medical records and risk compared to current standards.Source: ISTI Technical reports, 2011
Biscoglio I., Coco A., Trentanni G.
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 | CNR ExploRA
2012
Contribution to conference
Unknown
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
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
See at: CNR ExploRA
2011
Other
Open Access
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.
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 | CNR ExploRA
2020
Other
Unknown
Sito web GL2020 - 22nd International Conference on Grey Literature "Applications of Grey Literature for Science and Society"
Trentanni G., Giannini S., Molino A.
Sito web della conferenza internazionale sulla letteratura grigia GL2020: 22nd International Conference on Grey Literature "Applications of Grey Literature for Science and Society".
Trentanni G., Giannini S., Molino A.
Sito web della conferenza internazionale sulla letteratura grigia GL2020: 22nd International Conference on Grey Literature "Applications of Grey Literature for Science and Society".
See at: gl2020.isti.cnr.it | CNR ExploRA
2021
Other
Unknown
Sito web del laboratorio ISTI "Formal Methods & Tools"
Trentanni G.
Web Site related to the Formal Methods and Tools (FMT) Laboratory afferent to the Institute of Information Science and Technologies "Alessandro Faedo" (ISTI) of the National Research Council of Italy (CNR)
Trentanni G.
Web Site related to the Formal Methods and Tools (FMT) Laboratory afferent to the Institute of Information Science and Technologies "Alessandro Faedo" (ISTI) of the National Research Council of Italy (CNR)
See at: CNR ExploRA | www.fmt.isti.cnr.it
2008
Journal article
Open Access
Evaluation of natural language requirements in the MODCONTROL project
Bucchiarone A., Gnesi S., Trentanni G., Fantechi A.
We describe QuARS (Quality Analyzer for Requirement Specifications) Express, a customized version of the QuARS tool. It is designed to evaluate natural language requirements, can handle complex and structured data formats containing metadata, and is able to produce an analysis report with categorized information.Source: ERCIM news 75 (2008): 52–53.
Bucchiarone A., Gnesi S., Trentanni G., Fantechi A.
We describe QuARS (Quality Analyzer for Requirement Specifications) Express, a customized version of the QuARS tool. It is designed to evaluate natural language requirements, can handle complex and structured data formats containing metadata, and is able to produce an analysis report with categorized information.Source: ERCIM news 75 (2008): 52–53.
See at:
ercim-news.ercim.org | CNR ExploRA
2007
Report
Open Access
Conciliating TOP-DOWN and BOTTOM-UP approaches in Websites quality evaluation
Biscoglio I., Trentanni G.
Websites are the most important media of our times. Consequently a method which allows us to better evaluate websites quality is priceless. In this paper two websites evaluation opposite approaches, namely "bottom-up" and "top-down", are compared and an hypothesis of their meeting in the middle is shown.Source: ISTI Technical reports, 2007
Biscoglio I., Trentanni G.
Websites are the most important media of our times. Consequently a method which allows us to better evaluate websites quality is priceless. In this paper two websites evaluation opposite approaches, namely "bottom-up" and "top-down", are compared and an hypothesis of their meeting in the middle is shown.Source: ISTI Technical reports, 2007
See at:
ISTI Repository | CNR ExploRA
2007
Report
Open Access
QuARS and the natural language processing techniques: looking for a suitable syntax parser
Anastasio D., Gnesi S., Lami G., Trentanni G.
This paper describes the QuARS (Quality Analyzer of Requirements Specifications) tool by means of its internal syntax parser (namely Minipar). Looking for a more expressive syntax parser, a little review will be presented and a proposal of integration will be suggested.Source: ISTI Technical reports, 2007
Anastasio D., Gnesi S., Lami G., Trentanni G.
This paper describes the QuARS (Quality Analyzer of Requirements Specifications) tool by means of its internal syntax parser (namely Minipar). Looking for a more expressive syntax parser, a little review will be presented and a proposal of integration will be suggested.Source: ISTI Technical reports, 2007
See at:
ISTI Repository | CNR ExploRA
2011
Report
Open Access
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
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 | CNR ExploRA
2008
Other
Open Access
Assisting the design of an industrial groupware system by model checking
Ter Beek M. H., Gnesi S., Latella D., Massink M., Sebastianis M., Trentanni G.
Researchers from the Formal Methods and Tools group of ISTI-CNR and think3, Inc. are collaborating on the application of formal modelling and verification techniques to enhance think3's Product Data Management (PDM) groupware application.
Ter Beek M. H., Gnesi S., Latella D., Massink M., Sebastianis M., Trentanni G.
Researchers from the Formal Methods and Tools group of ISTI-CNR and think3, Inc. are collaborating on the application of formal modelling and verification techniques to enhance think3's Product Data Management (PDM) groupware application.
See at:
ercim-news.ercim.org | ISTI Repository | CNR ExploRA
2007
Software
Unknown
WCS - Witness and Counterexample Server - online tool [Release 2.5 , 01 January 2007]
Trentanni G., Meolic R.
Witness and counterexample automata (WCA) are automata that recognize the set of finite linear witnesses and counterexamples, respectively. ACTL is an action-based CTL. Program takes the model (subset of standard CCS) and the set of ACTL formulae on the input and produces a textual representation of a corresponding WCA.
Trentanni G., Meolic R.
Witness and counterexample automata (WCA) are automata that recognize the set of finite linear witnesses and counterexamples, respectively. ACTL is an action-based CTL. Program takes the model (subset of standard CCS) and the set of ACTL formulae on the input and produces a textual representation of a corresponding WCA.
See at: fmt.isti.cnr.it | CNR ExploRA
2004
Software
Unknown
WCS - Witness and Counterexample Server - online tool [Release 1.0 , 03 December 2004]
Trentanni G., Meolic R.
Witness and counterexample automata (WCA) are automata that recognize the set of finite linear witnesses and counterexamples, respectively. ACTL is an action-based CTL. Program takes the model (subset of standard CCS) and the set of ACTL formulae on the input and produces a textual representation of a corresponding WCA.
Trentanni G., Meolic R.
Witness and counterexample automata (WCA) are automata that recognize the set of finite linear witnesses and counterexamples, respectively. ACTL is an action-based CTL. Program takes the model (subset of standard CCS) and the set of ACTL formulae on the input and produces a textual representation of a corresponding WCA.
See at: fmt.isti.cnr.it | CNR ExploRA
2000
Report
Unknown
Il GEO-DATA server dell'autorità di bacino del fiume Arno
Cresci G., Ciardelli R., Lari D., Trentanni G.
Questo documento riassume le caratteristiche di un insieme di applicazioni che sono state progettate e sviluppate su un arco di tempo lungo e a cui hanno contribuito, oltre agli autori, altri tecnici del CNUCE e dell' autorità di bacino dell'ArnoSource: ISTI Technical reports, pp.1–41, 2000
Cresci G., Ciardelli R., Lari D., Trentanni G.
Questo documento riassume le caratteristiche di un insieme di applicazioni che sono state progettate e sviluppate su un arco di tempo lungo e a cui hanno contribuito, oltre agli autori, altri tecnici del CNUCE e dell' autorità di bacino dell'ArnoSource: ISTI Technical reports, pp.1–41, 2000
See at: CNR ExploRA