Zobrazeno 1 - 10
of 23
pro vyhledávání: '"Mario Fusani"'
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
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
https://doi.org/10.1007/978-3-030-30985-5_13
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
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
https://openportal.isti.cnr.it/doc?id=people______::03a2ead73882c7183127e45d5c9f03dc
Publikováno v:
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification-Second International Conference, RSSRail 2017, pp. 251–264, 14/11/2017, 17/11/2017
info:cnr-pdr/source/autori:Ferrari A.; Fusani M.; Gnesi S./congresso_nome:Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification-Second International Conference, RSSRail 2017/congresso_luogo:/congresso_data:14%2F11%2F2017, 17%2F11%2F2017/anno:2017/pagina_da:251/pagina_a:264/intervallo_pagine:251–264
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification ISBN: 9783319684987
RSSRail
info:cnr-pdr/source/autori:Ferrari A.; Fusani M.; Gnesi S./congresso_nome:Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification-Second International Conference, RSSRail 2017/congresso_luogo:/congresso_data:14%2F11%2F2017, 17%2F11%2F2017/anno:2017/pagina_da:251/pagina_a:264/intervallo_pagine:251–264
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification ISBN: 9783319684987
RSSRail
The increased use of standards as references for safety-critical applications is drawing the attention of researchers on the fact that the responsibility for the safety of standard-compliant systems may depend not only on developers and assessors, bu
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::a659b9353e403321552ddcc803eed29a
https://openportal.isti.cnr.it/doc?id=people______::0c22ec2bdf1fa5c9f3f19d672f240a6a
https://openportal.isti.cnr.it/doc?id=people______::0c22ec2bdf1fa5c9f3f19d672f240a6a
Autor:
Dennis R. Goldenson, Robert Ferguson, Mario Fusani, Fabrizio Fabbrini, Stefania Gnesi, Giuseppe Lami
Publikováno v:
INCOSE International Symposium. 15:344-353
Requirements analysis is a nontrivial, tedious, error prone and time consuming process. This paper describes a tool that automates identification of requirements defects that exist because of inadequate use of language for the purpose intended. The p
Publikováno v:
ICSSP 2013-International Conference on Software and System Process, Software Engineering. Metrics, pp. 70–77, San Francisco, CA, USA, 18-19 May 2013
info:cnr-pdr/source/autori:Lami G.; Fabbrini F.; Fusani M.,/congresso_nome:ICSSP 2013-International Conference on Software and System Process, Software Engineering. Metrics/congresso_luogo:San Francisco, CA, USA/congresso_data:18-19 May 2013/anno:2013/pagina_da:70/pagina_a:77/intervallo_pagine:70–77
ICSSP
info:cnr-pdr/source/autori:Lami G.; Fabbrini F.; Fusani M.,/congresso_nome:ICSSP 2013-International Conference on Software and System Process, Software Engineering. Metrics/congresso_luogo:San Francisco, CA, USA/congresso_data:18-19 May 2013/anno:2013/pagina_da:70/pagina_a:77/intervallo_pagine:70–77
ICSSP
The ever-increasing pervasiveness of Information and Communication Technologies (ICT) not only is determining radical changes in everyone’s life-style, in the social organizations, and in the economic dynamics, but it is causing relevant direct and
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::18554c4bdad2a693d1adf3642df008ea
Publikováno v:
Systems, Software and Services Process Improvement, 19th European Conference (EUROSPI 2012), pp. 97–108, Vienna, Austria, 25-27 June 2012
Communications in Computer and Information Science ISBN: 9783642311987
EuroSPI
info:cnr-pdr/source/autori:Lami G., Fabbrini F., Fusani M./congresso_nome:Systems, Software and Services Process Improvement, 19th European Conference (EUROSPI 2012)/congresso_luogo:Vienna, Austria/congresso_data:25-27 June 2012/anno:2012/pagina_da:97/pagina_a:108/intervallo_pagine:97–108
Communications in Computer and Information Science ISBN: 9783642311987
EuroSPI
info:cnr-pdr/source/autori:Lami G., Fabbrini F., Fusani M./congresso_nome:Systems, Software and Services Process Improvement, 19th European Conference (EUROSPI 2012)/congresso_luogo:Vienna, Austria/congresso_data:25-27 June 2012/anno:2012/pagina_da:97/pagina_a:108/intervallo_pagine:97–108
ICT significantly contributes to the global carbon dioxide production. In the last years the research addressed the problem of increasing ICT sustainability from different perspectives. In this paper this problem is addressed from a software process
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1169dd838a2006b098e8e59ea0037538
https://openportal.isti.cnr.it/doc?id=people______::f7a2eab645a67ab61dcbb2d625c9a95a
https://openportal.isti.cnr.it/doc?id=people______::f7a2eab645a67ab61dcbb2d625c9a95a
Publikováno v:
6th IET International Conference on System Safety 2011.
ISO/IEC 15504 Part 10 Safety Extension has been recently developed in order to make consistent judgment regarding process capability or improvement priorities for safety related systems development. To avoid misunderstanding and confute reluctance an
Publikováno v:
30th International Conference on Computer Safety, Reliability and Security, SAFECOMP 2011, pp. 284–295, Napoli, 19-22 September 2011
Lecture Notes in Computer Science ISBN: 9783642242694
SAFECOMP
info:cnr-pdr/source/autori:Lami, Giuseppe; Fabbrini, Fabrizio; Fusani, Mario/congresso_nome:30th International Conference on Computer Safety, Reliability and Security, SAFECOMP 2011/congresso_luogo:Napoli/congresso_data:19-22 September 2011/anno:2011/pagina_da:284/pagina_a:295/intervallo_pagine:284–295
Lecture Notes in Computer Science ISBN: 9783642242694
SAFECOMP
info:cnr-pdr/source/autori:Lami, Giuseppe; Fabbrini, Fabrizio; Fusani, Mario/congresso_nome:30th International Conference on Computer Safety, Reliability and Security, SAFECOMP 2011/congresso_luogo:Napoli/congresso_data:19-22 September 2011/anno:2011/pagina_da:284/pagina_a:295/intervallo_pagine:284–295
This paper presents the new standard ISO/IEC 15504 Part 10 Safety Extension. It has been developed to extend the well-known ISO/IEC 15504 standard for process assessment and improvement in order to make consistent judgment regarding process capabilit
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4ff9a4c968a64b03e6bdd01a0a3f431c
https://openportal.isti.cnr.it/doc?id=people______::bbd96a9928792aeaa96bbe9a89c838a4
https://openportal.isti.cnr.it/doc?id=people______::bbd96a9928792aeaa96bbe9a89c838a4
Publikováno v:
2nd Eastern European Regional Conference on the Engineering of Computer Based Systems, EERC-ECBS, pp. 157–158, Bratislava, 5-6 September 2011
info:cnr-pdr/source/autori:Lami, Giuseppe; Fabbrini, Fabrizio; Fusani, Mario/congresso_nome:2nd Eastern European Regional Conference on the Engineering of Computer Based Systems, EERC-ECBS/congresso_luogo:Bratislava/congresso_data:5-6 September 2011/anno:2011/pagina_da:157/pagina_a:158/intervallo_pagine:157–158
ECBS-EERC
info:cnr-pdr/source/autori:Lami, Giuseppe; Fabbrini, Fabrizio; Fusani, Mario/congresso_nome:2nd Eastern European Regional Conference on the Engineering of Computer Based Systems, EERC-ECBS/congresso_luogo:Bratislava/congresso_data:5-6 September 2011/anno:2011/pagina_da:157/pagina_a:158/intervallo_pagine:157–158
ECBS-EERC
Software Product Lines is a popular development scheme in Automotive. Many software suppliers of car manufacturers have established in last years Software Product Lines frameworks in order to improve the reuse and quality of their software-intensive
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::1a09058ef0e1ce61446ac4d5cec90e89
https://openportal.isti.cnr.it/doc?id=people______::c031459fc1c826b9cdb9862d14ee7d9c
https://openportal.isti.cnr.it/doc?id=people______::c031459fc1c826b9cdb9862d14ee7d9c
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
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
https://openportal.isti.cnr.it/doc?id=people______::27c7501dc0e9651bfb1f07f59d93b869