Zobrazeno 1 - 10 of 10 pro vyhledávání: '"Gianluca Trentanni"'
1
QuARS: A Pioneer Tool for NL Requirement Analysis
Autor: Mario Fusani, Giuseppe Lami, Gianluca Trentanni
Publikováno v: From Software Engineering to Formal Methods and Tools, and Back ISBN: 9783030309848
From Software Engineering to Formal Methods and Tools, and Back
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
info:cnr-pdr/source/autori:Lami G.; Fusani M.; Trentanni G./titolo:QuARS: a pioneer tool for NL requirement analysis/titolo_volume:From Software Engineering to Formal Methods and Tools, and Back/curatori_volume:ter Beek M.H.; Fantechi A.; Semini L./editore: /anno:2019
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
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9c64eb10130c07c756c61498d867c61a
https://doi.org/10.1007/978-3-030-30985-5_13
Zobrazit plný text záznamu
2
Comparing results of natural language disambiguation tools with reports of manual reviews of safety-related standards
Autor: Giuseppe Lami, Isabella Biscoglio, Mario Fusani, Attilio Ciancabilla, Gianluca Trentanni
Publikováno v: 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
info:cnr-pdr/source/autori:Biscoglio I.; Ciancabilla A.; Fusani M.; Lami G.; Trentanni G./titolo:Comparing results of natural language disambiguation tools with reports of manual reviews of safety-related standards/titolo_volume:From Software Engineering to Formal Methods and Tools, and Back/curatori_volume:Maurice H. ter Beek, Alessandro Fantechi, Laura Semini/editore: /anno:2019
From Software Engineering to Formal Methods and Tools, and Back ISBN: 9783030309848
From Software Engineering to Formal Methods and Tools, and Back
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, ..
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::740c886795c8928442a296286c18a1d5
https://openportal.isti.cnr.it/doc?id=people______::03a2ead73882c7183127e45d5c9f03dc
Zobrazit plný text záznamu
3
Certification of cash registers software
Autor: Gianluca Trentanni, Giuseppe Lami, Isabella Biscoglio
Publikováno v: Model-Driven Engineering and Software Development, edited by Slimane Hammoudi, Luís Ferreira Pires, Bran Selic, Philippe Desfray, pp. 154–167, 2017
Communications in Computer and Information Science ISBN: 9783319663012
MODELSWARD (Revised Selected Papers)
info:cnr-pdr/source/autori:Biscoglio I.; Lami G.; Trentanni G./titolo:Certification of cash registers software/titolo_volume:Model-Driven Engineering and Software Development/curatori_volume:Slimane Hammoudi, Luís Ferreira Pires, Bran Selic, Philippe Desfray/editore:/anno:2017
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
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::81306b7e14aa48938859282cb229341d
https://openportal.isti.cnr.it/doc?id=people______::47a3a5a61bababc842bd0d9540a2a3e8
Zobrazit plný text záznamu
4
Certification and Legislation - An Italian Experience of Fiscal Software Certification
Autor: Giuseppe Lami, Gianluca Trentanni, Isabella Biscoglio, Eda Marchetti
Publikováno v: ICSOFT-EA
Web of Science
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 l
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::62a641cd769662cbb60deb3631964fff
https://doi.org/10.5220/0005558901740179
Zobrazit plný text záznamu
5
An Application of Stochastic Model Checking in the Industry: User-Centered Modeling and Analysis of Collaboration inThinkteam®
Autor: Gianluca Trentanni, Stefania Gnesi, Maurice H. ter Beek, Diego Latella, Mieke Massink, Maurizio Sebastianis
Publikováno v: Formal Methods for Industrial Critical Systems: A Survey of Applications
Formal Methods for Industrial Critical Systems: A Survey of Applications, edited by Stefania Gnesi, Tiziana Margaria, pp. 179–203, 2013
info:cnr-pdr/source/autori:Ter Beek M.H., Gnesi S., Latella D., Massink M., Sebastianis M., Trentanni G./titolo:An application of stochastic model checking in the industry: user-centered modeling and analysis of collaboration in thinkteam/titolo_volume:Formal Methods for Industrial Critical Systems: A Survey of Applications/curatori_volume:Stefania Gnesi, Tiziana Margaria/editore:/anno:2013
This chapter contains sections titled: Introduction thinkteam Analysis of the thinkteam Log File thinkteam with Replicated Vaults Lessons Learned Conclusions Acknowledgments References
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e2dda849aeeb8557430d39751c9540d4
https://doi.org/10.1002/9781118459898.ch9
Zobrazit plný text záznamu
6
Evaluating web site quality: a statistical approach
Autor: Fabrizio Fabbrini, Mario Fusani, Gianluca Trentanni, Giuseppe Lami, Isabella Biscoglio, Alessandro Coco
Publikováno v: info:cnr-pdr/source/autori:Biscoglio I.; Coco A.; Fabbrini F.; Fusani M.; Lami G.; Trentanni G./congresso_nome:10th International Conference on Quality Software/congresso_luogo:Zhangjiajie, China/congresso_data:14-15 July 2010/anno:2010/pagina_da:332/pagina_a:336/intervallo_pagine:332–336
QSIC
The paper introduces a general approach to the construction of a Quality Model for Web Sites. The process for constructing such a newly conceived model is presented and discussed, and examples of its application are shown.
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7c4d54eb650328983b5814a252facf41
https://openportal.isti.cnr.it/doc?id=people______::27c7501dc0e9651bfb1f07f59d93b869
Zobrazit plný text záznamu
7
An approach to ambiguity analysis in safety-related standards
Autor: Gianluca Trentanni, Alessandro Coco, Stefania Gnesi, Mario Fusani, Isabella Biscoglio
Publikováno v: 7th International Conference on the Quality of Information and Communications Technology, pp. 461–466, Oporto, Portugal, 29 September-2 October 2010
info:cnr-pdr/source/autori:Biscoglio I.; Coco A.; Fusani M.; Gnesi S.; Trentanni G./congresso_nome:7th International Conference on the Quality of Information and Communications Technology/congresso_luogo:Oporto, Portugal/congresso_data:29 September-2 October 2010/anno:2010/pagina_da:461/pagina_a:466/intervallo_pagine:461–466
QUATIC
Standards for systems and software lifecycle processes have become rather popular in the last decade. Being expressed in natural language, their requirements, or clauses, are exposed to the risk of ambiguity, vagueness and subjectivity, even when saf
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d64e6cb25f52ae5e5cf90e25699558f4
https://openportal.isti.cnr.it/doc?id=people______::ac46fc7c471d90c87213288d6a90d5ae
Zobrazit plný text záznamu
8
QuARS Express - A Tool Demonstration
Autor: Stefania Gnesi, Alessandro Fantechi, Antonio Bucchiarone, Giuseppe Lami, Gianluca Trentanni
Publikováno v: ASE
Automated Software Engineering. 23rd IEEE/ACM International Conference on Automated Software Engineering, pp. 473–474, L'Aquila, Italy, 15-19 September 2008
info:cnr-pdr/source/autori:Bucchiarone A.; Fantechi A.; Gnesi S.; Lami G.; Trentanni G./congresso_nome:Automated Software Engineering. 23rd IEEE%2FACM International Conference on Automated Software Engineering/congresso_luogo:L'Aquila, Italy/congresso_data:15-19 September 2008/anno:2008/pagina_da:473/pagina_a:474/intervallo_pagine:473–474
Requirements analysis is an important phase in a software project. Automatic evaluation of natural language (NL) requirements documents has been proposed as a means to improve the quality of the system under development. QuARS Express is an automatic
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e5336b89c63f60ec42325a92907d1635
https://doi.org/10.1109/ase.2008.77
Zobrazit plný text záznamu
10
Assisting the design of a groupware system
Autor: Stefania Gnesi, Mieke Massink, Diego Latella, Maurice H. ter Beek, Gianluca Trentanni, Maurizio Sebastianis
Publikováno v: The Journal of Logic and Algebraic Programming. (4):191-232
Product Data Management (PDM) systems support the product/document management of design processes such as those typically used in the manufacturing industry. They allow enterprises to capture, organise, automate and share engineering information in a
Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3ec0f33dc5b509338609fcb78ce218fc
Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání

Omezení vyhledávání
Plný text Recenzováno Digitální knihovna AV ČR
Zdroje