29 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


2018 Report Open Access OPEN

Certificazione di misuratori fiscali: dalla digitalizzazione della normativa alla costruzione di schede di riferimento
Biscoglio I., Lami G.
L'articolo presenta il contesto di certificazione del software fiscale dei registratori di cassa, la digitalizzazione della normativa attualmente vigente in Italia in materia e la costruzione di schede di riferimento quale strumento di lavoro da utilizzare durante il processo di certificazione.Source: ISTI Technical reports, 2018

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


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


2016 Conference article Restricted

An Empirical Study on Software Testing Practices in Automotive
Lami G., Biscoglio I., Falcini F.
This paper presents the results of an empirical study aimed at characterizing and analyzing recurrent software development weaknesses in automotive industry. In the automotive domain software development is mainly demanded to specialized software suppliers that are required by car makers to improve and measure the process quality of their projects by applying process models such as Automotive SPICE (TM). The authors, as Automotive SPICE assessors, have directly recorded and identified specific software process improvement opportunities on the basis of the evidences gathered from real software development projects during a significant number of assessments performed at several organizations world-wide. This paper, that focuses specifically on the software testing-related processes, is a step of a wider study that the authors are carrying out. Such a study aims at identifying, using data from real automotive software development projects, common software development weaknesses having negative impact according Automotive SPICE (TM), in order to derive a picture of the state of the practice of software development in automotive and to provide researchers and practitioners with a reference for improvement initiatives aimed at solving those weaknesses.Source: Software Process Improvement and Capability Determination. 16th International Conference, pp. 301–315, Dublin, Ireland, 9-10 June 2016
DOI: 10.1007/978-3-319-38980-6_22

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


2015 Conference article Restricted

Investigation on common software process weaknesses in automotive
Biscoglio I., Falcini F., Lami G.
This paper presents the results of an empirical study aimed at pointing out common weaknesses in software development in automotive industry. In automotive software development is mainly demanded to specialized software suppliers that are required by car makers to improve and measure the process quality of their projects by applying process models such as Automotive SPICETM. The authors, as Automotive SPICE assessors, have directly observed and analyzed specific software process improvement opportunities during a significant number of assessments performed at several organizations. This paper, that focuses specifically on the project management and quality assurance processes, is an initial step of a wider study that the authors are carrying out. Such a study aims at identifying, using data from automotive software development projects, common software development weaknesses having negative impact according Automotive SPICETM, in order to give a reference for improvement initiatives aimed at solving those weaknessesSource: ACM/IEEE International Symposium on Empirical Software Engineering and Measurement, pp. 110–117, Beijing, China, 22-23/10/2015
DOI: 10.1109/esem.2015.7321206

See at: academic.microsoft.com Restricted | dblp.uni-trier.de Restricted | ieeexplore.ieee.org Restricted | ieeexplore.ieee.org Restricted | CNR ExploRA Restricted | xplorestaging.ieee.org 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


2015 Contribution to book Restricted

Definition of software quality evaluation and measurement plans: A reported experience inside the audio-visual preservation context
Biscoglio I., Marchetti E.
The digital preservation want to guarantee accessible and usable over time digital audio-visual media content, regardless of the challenges of media failure and technological change. For this aim, the current technologies for digital audio-visual media preservation deal with complex technological, organiza- tional, economic and rights-related issues: ensuring the development and use of high-quality software could be a key factor for their success. The paper reports an experience matured inside the Presto4U project concerning the requirements elicitation corresponding of some functional and non-functional requirements. These have been mapped on some characteristics and sub-characteristics of a quality model and a customized software measurement plans has been imple- mented. An example of the quality evaluation plans application is also reported.Source: Software Technologies, pp. 63–80, 2015
DOI: 10.1007/978-3-319-25579-8_4

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


2014 Conference article Restricted

A case of adoption of 25000 standards family: Establishing evaluation requirements in the audio-visual preservation context
Biscoglio I., Marchetti E.
The digital preservation want to guarantee accessible and usable over time digital audio-visual media content, regardless of the challenges of media failure and technological change. For this aim, the current technologies for digital audio-visual media preservation deal with complex technological, organizational, economic and rights-related issues. Ensuring the development and use of high-quality software could be a key factor for their success. The paper reports an experience matured inside the Presto4U project, with the contribution of the TATE Gallery. Aim of the experiment was the identification of preservation needs and corresponding preservation requirements in order to set up a quality evaluation process for used software tools making easy the technology transfer of research results into digital preservation environment. Using the framework of the international standards on software products quality, the evaluation requirements were mapped on the characteristics and sub-characteristics of a quality model and a specification of high-level software product quality evaluation plan has been obtained and presented.Source: ICSOFT-EA 2014 - 9th International Conference on Software Engineering and Applications, pp. 222–233, Vienna, Austria, 29-31 Agosto 2014
DOI: 10.5220/0004994502220233

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


2014 Conference article Restricted

An experiment of software quality evaluation in the audio-visual media preservation context
Biscoglio I., Marchetti E.
In the context of digital audio-visual media preservation, the current technologies deal with complex technological, economic and rights-related issues. Among them, the development and the use of high-quality software are considered success factors. In this paper a software quality model customizable for the audio-visual context has been performed. With the contribution of the partners involved in the Presto4U project, an experiment of requirements elicitation has been developed for the identification of some functional and non-functional requirements. Their mapping on some characteristics and sub-characteristics of the quality model has been performed and customized software measurement plans have been implemented.Source: QUATIC 2014 - 9th International Conference on the Quality of Information and Communications Technology, pp. 118–123, Guimaraes, Portugal, 23 - 26 September 2014
DOI: 10.1109/quatic.2014.21

See at: academic.microsoft.com Restricted | dblp.uni-trier.de Restricted | ieeexplore.ieee.org Restricted | ieeexplore.ieee.org Restricted | CNR ExploRA Restricted | xplorestaging.ieee.org Restricted


2014 Report Restricted

PRESTO4U - Research Outputs Assessments v2
Bailer W., Biscoglio I., Boch L., Borgotallo R., Chakravarthy A., Falchi F., Gallo F., Ligios L., Laurenson P., Melas P., Pellegrino J.
Project Deliverable 3. 3 Presto4U Research Output Assessments v 2 4 Scope The long -term preservat ion of digital audio- visual media presents a range of complex technological, organisational, economic and rights -related issues, which have been the subject of intensive research over the past fifteen years at national, European and international levels. A lthough good solutions are emerging, and there is a large body of expertise at a few specialist centres, it is very difficult for the great majority of media owners to gain access to advanced audio- visual preservation technologies. This deliverable 'Resear ch Outputs Assessment v 2' will describe the research outputs identified in year 2 of Presto4U, and which have the potential to address CoP needs and requirements. This document will also describe in detail, results of the assessment exercise carried out on identified ROs. The methodology for assessing these tools has been established as part of WP3 task T3.1 'Research Outcomes Assessment Methodology' documented in deliverable D3.1 'Specification of Assessment Criteria, Metrics, Processes, Datasets and Facil ities'. The deliverable is a direct outcome of Task 3.2 'Preservation Research Technology and Assessment'. The purpose of which is to identify and assess research outputs to establish their readiness for take -up. This deliverable is an update on D3.2 -- the lessons learnt in terms of assessment of tools from Year 1 are presented here. This is through updated test templates and improved tests in terms of their functional testing. Some of the tools needed to be re- tested in year 2 because of the updated tes t assessme nt templates. We also introduce two new categories of tools technical metadata extractors and vocabulary mapping. Further, the final Presto4U dataset is also described as part of this deliverable. A combination of open source free to download dat asets and in- house produced files turned out to be the ideal dataset for the testing of these ROs. Finally we present the results of the tool testing performed after collaboration with commercial vendors to test two hardware storage mechanisms (LTO6 and Optical Drives)Source: Project report, PRESTO4U, Deliverable D3.3, pp.1–139, 2014
Project(s): PRESTO4U via OpenAIRE

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


2013 Journal article Restricted

Reducing textual ambiguity risk in high-impact standards.
Biscoglio I., Fusani M.
Safety-related standards indirectly impact into people's safety and environment integrity. The quality of these standards plays an important role in their correct and productive adoption. The paper is concerned with the analysis of the way standards are written, and in particular with the results of an automated textual inspection of five safety-related standards, aimed to discover possible inherent ambiguity of textual expressions. The analysis suggested that useful advice could be given to standard-making committees. Results of the analysis are shown and discussed.Source: Radìoelektronnì ì komp'ûternì sistemi 5 (2013): 198–203.

See at: CNR ExploRA Restricted


2013 Report Restricted

PRESTO4U - Research Outputs Assessments v1
Bailer W., Biscoglio I., Boch L., Borgotallo R., Chakravarthy A., Foster S., Falchi F., Gallo F., Ligios L., Laurenson P., Marchetti E., Melas P., Rendina M., Walland P.
The long - term preservation of digital audio - visu al media presents a range of complex technological, organisational, economic and rights - related issues, which have been the subject of intensive research over the past fifteen years at national, European and international levels. Although good solutions ar e emerging, and there is a large body of expertise at a few specialist centres, it is very difficult for the great majority of media owners to gain access to advanced audio - visual preservation technologies. This deliverable 'Research Outputs Assessment v1' will describe the research outputs identified in year 1 of Presto4U, and which have the potential to address CoP needs and requirements. This document will also describe in detail, results of the assessment exercise carried out on identified ROs. The meth odology for assessing these tools has been established as part of WP3 task T3.1 'Research Outcomes Assessment Methodology' documented in deliverable D3.1 'Specification of Assessment Criteria, Metrics, Processes, Datasets and Facilities'. The deliverable is a direct outcome of Task 3.2 'Preservation Research Technology and Assessment'. The purpose of which is to identify and assess research outputs to establish their readiness for take - up. Part of the task also involves creating an initial dataset for Pre sto4U which initially can be used by the ROs being assessed, and it is envisaged to be released as a public dataset at the end of the project in year 2. The details of the year 1 dataset are provided in this deliverable. Further, we report on technology tr acking and mapping exercise conducted during year 1 and the tools which have been developed to enable this task. We would like to note that this kind of activity has not been performed before and for this reason why the deliverable is released in two itera tions (year 1 and end of year 2). Any shortcomings of the work done in year 1 will be addressed in the next iteration. The assessment methodology will also need to be changed as more needs are gathered from the Communities of Practice during the course of year 2. This deliverable is a first attempt at formalising a methodology for assessment of research outputs in the AV preservation domains and map them to the needs from the CoPs.Source: Project report, PRESTO4U, Deliverable D3.2, pp.1–134, 2013
Project(s): PRESTO4U via OpenAIRE

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


2013 Report Restricted

PRESTO4U - D2.1 CoP Knowledge Schema
Meghini C., Versienti L., Wright R., Verbruggen E., Lindgaard P. H., Christensen T., Marchetti E., Biscoglio I.
The long-term preservation of digital audiovisual media presents a range of complex technological, organisational, economic and rights-related issues, which have been the subject of intensive research over the past fifteen years at national.Presto4U will focus research efforts onto useful technological solutions, raise awareness and improve the adoption of audiovisual preservation research results, both by service providers and media owners, and with a particular emphasis on meeting the needs of smaller collections, private sector media owners and new stakeholders.Source: Project report, PRESTO4U, Deliverable D2.1, 2013
Project(s): PRESTO4U via OpenAIRE

See at: CNR ExploRA Restricted


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


2012 Conference article Restricted

Can safety be obtained through good practices for requirement writing?
Biscoglio I., Fusani M., Gnesi S.
Software Requirements analysis of quality characteristics as completeness, consistency and unambiguity assume an important role in the safety-critical software. We consider then the contributions to Natural Lan-guage (NL) Software Requirements Analysis as good practices or recommendations for producing high level quality NL requirements. From a survey of different approaches and solutions, it is possible to draw an incremental list of Good Practices (GP) for writing NL software requirements, making them understandable to their users, typically from the linguistic point of view, thus reducing the efforts for the analysis. The industrial experiences of two research/service laboratories about requirements analysis are compared with the suggestions of the literature and the technology, and the results are shown.Source: International Scientific Technical Conference on Dependable System, Services and Technologies, pp. 252–257, Sevastopol, Ukraine, 25-28 May 2012

See at: CNR ExploRA Restricted


2011 Report Open Access OPEN

Progetto di uno strumento a supporto dell'attività di "Process Assessment"
Coco Alessandro, Biscoglio Isabella
Definition and development of an instrument for preliminary data collection supporting the software process assessmentSource: ISTI Technical reports, 2011

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


2011 Report Open Access OPEN

Definizione di una procedura per l'esecuzione di Process Assessment conforme allo Standard ISO/IEC 15504
Biscoglio Isabella, Coco Alessandro
Definition of objectives, methods and procedures supporting the activities of software process assessmentSource: 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