Vieri del Bianco | Università degli Studi dell'Insubria (original) (raw)

Vieri del Bianco

Vieri del Bianco graduated in 1999 from Università di Firenze with a full degree (bachelor plus first level master equivalent) in Electronical Engineering with Information Technology specialization. From 1999 to 2000 he attended a second level master on Information Technology with Software Engineering specialization at CEFRIEL, a research focused non profit institution associated with Politecnico di Milano. At the end of the master it was offered to remain in CEFRIEL.

From 2000 to 2006 he worked in CEFRIEL. He obtained a PhD on Software Engineering focusing on Real-Time embedded system modelling and formal verification at Politecnico di Milano. He worked in different projects in different areas which include: verification of embedded system, Java development, Python development, development processes and project management, agile methodologies, requirements gathering.

From 2006 to 2008 he worked in Univeristy of Insubria as a PostDoc researcher and contract professor. He worked on QualiPSo project (Trust and Quality on Free and Open Source systems).

From 2009 to 2011 he worked in KindSoft group, in UCD, as a PostDoc researcher and developer. He was involved in SenseTile (Wirelss Multimedia Sensor Networks) and HeartPhone (eHealth system to remotely manage chronic illnesses).

In 2011 he joined back Univeristy of Insubria as a PostDoc researcher. His researches focus on: Distributed Systems, Agile processes, software metrics and measures, requirements engineering.

less

Uploads

Papers by Vieri del Bianco

Research paper thumbnail of Enhancing problem frames with scenarios and histories

Research paper thumbnail of Agile formality: A "Mole" of software engineering practices

Research paper thumbnail of MACXIM (Model and Code XML-based Integrated Meter)

MACXIM is a tool for measuring object-oriented code and models. MACXIM extracts an XML representa... more MACXIM is a tool for measuring object-oriented code and models. MACXIM extracts an XML representation from the source code or model, stores such XML representation in a XML database, and then performs the required metrics vis XML queries. The current version of MACXIM supports UML and Java

Research paper thumbnail of Model-based Simplified Functional Size Measurement – an Experimental Evaluation with COSMIC Function Points

Research paper thumbnail of Fine-Grained Integrated Management of Software Configurations and Traceability Relations

Research paper thumbnail of Using problem frames to model the requirements ofa system for monitoring dangerous goods transportation

Abstract The approach to requirements modelling based on problem frames is gaining increasing att... more Abstract The approach to requirements modelling based on problem frames is gaining increasing attention and popularity. This paper reports an experience in the application of problem frames to modelling the requirements of a system for monitoring the ...

Research paper thumbnail of Enhancing problem frames with scenarios and histories in UML-based software development

Expert Systems, Feb 1, 2008

: Problem frames are an approach to requirements modelling that is gaining increasing attention a... more : Problem frames are an approach to requirements modelling that is gaining increasing attention and popularity, as it addresses the essential activity of understanding and describing the problem to be solved before undertaking the actual development phases. This paper reports a study concerning the possibility of enhancing the problem frames methodology with concepts derived from requirements modelling techniques based on scenarios and histories. The goal of this research is to make problem frames even more appealing to software developers, who are generally familiar with the ideas underlying scenario‐based modelling. The results presented here are encouraging: a well‐known problem, often used to illustrate problem frames (the sluice gate control), was studied with the help of scenarios, modelled by means of histories. Scenarios were also employed to support the merging of subproblems, for addressing the frame concern issues and for supporting design models. In all these activities the proposed approach proved helpful.

Research paper thumbnail of Analytical Convertibility of Functional Size Measures: A Tool-based Approach

ABSTRACT Background: Several Functional Size Measurement methods have been introduced after the s... more ABSTRACT Background: Several Functional Size Measurement methods have been introduced after the success of Function Point Analysis, thus originating the problem of converting Function Point measures into other units. To this end, several methods -- ranging from statistical analysis to "manual" conversion -- have been used. However, none of the proposed conversion methods guarantees the necessary accuracy. Objectives: The objective of the work reported here is to define a seamless and cheap procedure that allows measurers to derive functional size measures expressed in COSMIC Function Points from size measures expressed in Function Points. Method: To get accurate conversions, we propose to exploit all the available information provided by the measurement process, that is, not only the size in Function Points, but also the details of basic functional components. To make the procedure efficient, a mapping of Function Point Analysis concepts onto COSMIC concepts is proposed. Results: A conversion procedure based on the aforementioned mapping is proposed. Such procedure is supported by a software tool that eases the conversion process. The usage of both the procedure and tool is illustrated via an example of realistic complexity. Conclusion: The proposed procedure and tool can be effectively used to perform the required measurement with very good accuracy. The tool can also be used to perform a sort of "double" measurement, i.e., both Function Points and COSMIC Function Points are measured at the same time.

Research paper thumbnail of Towards the integration of sysml and problem frames

... Pietro Colombo University of Insubria Via Mazzini, 5 21100 Varese (Italy) +39 0332 218949 pie... more ... Pietro Colombo University of Insubria Via Mazzini, 5 21100 Varese (Italy) +39 0332 218949 pietro.colombo@uninsubria.it Vieri del Bianco University of Insubria Via Mazzini, 5 21100 Varese (Italy) +39 0332 218938 vieri.delbianco@uninsubria.it ...

Research paper thumbnail of Towards UML-Based Formal Specifications of Component-Based Real-Time Software

Lecture Notes in Computer Science, 2003

Research paper thumbnail of Towards a Meta-model for Problem Frames: Conceptual Issues and Tool Building Support

Research paper thumbnail of Applying the COSMIC Functional Size Measurement Method to Problem Frames

Abstract— The approach to requirements modelling based on problem frames is gaining increasing at... more Abstract— The approach to requirements modelling based on problem frames is gaining increasing attention and popularity, especially when the decomposition of complex problems into simpler recurring problems (the “frames”) is concerned. However, the usage of problem frames in ...

Research paper thumbnail of A Survey on the Importance of Some Economic Factors in the Adoption of Open Source Software

Research paper thumbnail of An Investigation of the Users’ Perception of OSS Quality

IFIP advances in information and communication technology, 2010

Research paper thumbnail of A Methodological Framework for SysML: a Problem Frames-based Approach

Proceedings, Dec 1, 2007

Abstract Recently, SysML has been adopted by the object management group as a modelling language ... more Abstract Recently, SysML has been adopted by the object management group as a modelling language for systems engineering. SysML is a UML profile that represents a subset of UML 2 with extensions. A wide adoption of the language could be hindered by the lack of a ...

Research paper thumbnail of A Web-based infrastructure for the management of semantic meta-data

Research paper thumbnail of A Proposal for Simplified Model-Based Cost Estimation Models

Lecture Notes in Computer Science, 2012

Research paper thumbnail of Towards The Evaluation of OSS Trustworthiness: Lessons Learned From The Observation of Relevant OSS Projects

Research paper thumbnail of An Empirical Assessment of Function Point-Like Object-Oriented Metrics

Since object-oriented programming became a popular development practice, researchers and practiti... more Since object-oriented programming became a popular development practice, researchers and practitioners have defined several techniques aimed at measuring object-oriented software. Among these, several Function Point-like approaches have been proposed. However, ...

Research paper thumbnail of Model checking UML specifications of real time software

... Vieri Del Bianco Politecnico di Milano P.zza Leonardo Da Vinci, 32 20133 Milano, Italy delbia... more ... Vieri Del Bianco Politecnico di Milano P.zza Leonardo Da Vinci, 32 20133 Milano, Italy delbianc@elet.polimi.it Luigi Lavazza CEFRIEL Politecnico di Milano P.zza Leonardo Da Vinci, 32 20133 Milano, Italy lavazza@elet.polimi.it ...

Research paper thumbnail of Enhancing problem frames with scenarios and histories

Research paper thumbnail of Agile formality: A "Mole" of software engineering practices

Research paper thumbnail of MACXIM (Model and Code XML-based Integrated Meter)

MACXIM is a tool for measuring object-oriented code and models. MACXIM extracts an XML representa... more MACXIM is a tool for measuring object-oriented code and models. MACXIM extracts an XML representation from the source code or model, stores such XML representation in a XML database, and then performs the required metrics vis XML queries. The current version of MACXIM supports UML and Java

Research paper thumbnail of Model-based Simplified Functional Size Measurement – an Experimental Evaluation with COSMIC Function Points

Research paper thumbnail of Fine-Grained Integrated Management of Software Configurations and Traceability Relations

Research paper thumbnail of Using problem frames to model the requirements ofa system for monitoring dangerous goods transportation

Abstract The approach to requirements modelling based on problem frames is gaining increasing att... more Abstract The approach to requirements modelling based on problem frames is gaining increasing attention and popularity. This paper reports an experience in the application of problem frames to modelling the requirements of a system for monitoring the ...

Research paper thumbnail of Enhancing problem frames with scenarios and histories in UML-based software development

Expert Systems, Feb 1, 2008

: Problem frames are an approach to requirements modelling that is gaining increasing attention a... more : Problem frames are an approach to requirements modelling that is gaining increasing attention and popularity, as it addresses the essential activity of understanding and describing the problem to be solved before undertaking the actual development phases. This paper reports a study concerning the possibility of enhancing the problem frames methodology with concepts derived from requirements modelling techniques based on scenarios and histories. The goal of this research is to make problem frames even more appealing to software developers, who are generally familiar with the ideas underlying scenario‐based modelling. The results presented here are encouraging: a well‐known problem, often used to illustrate problem frames (the sluice gate control), was studied with the help of scenarios, modelled by means of histories. Scenarios were also employed to support the merging of subproblems, for addressing the frame concern issues and for supporting design models. In all these activities the proposed approach proved helpful.

Research paper thumbnail of Analytical Convertibility of Functional Size Measures: A Tool-based Approach

ABSTRACT Background: Several Functional Size Measurement methods have been introduced after the s... more ABSTRACT Background: Several Functional Size Measurement methods have been introduced after the success of Function Point Analysis, thus originating the problem of converting Function Point measures into other units. To this end, several methods -- ranging from statistical analysis to "manual" conversion -- have been used. However, none of the proposed conversion methods guarantees the necessary accuracy. Objectives: The objective of the work reported here is to define a seamless and cheap procedure that allows measurers to derive functional size measures expressed in COSMIC Function Points from size measures expressed in Function Points. Method: To get accurate conversions, we propose to exploit all the available information provided by the measurement process, that is, not only the size in Function Points, but also the details of basic functional components. To make the procedure efficient, a mapping of Function Point Analysis concepts onto COSMIC concepts is proposed. Results: A conversion procedure based on the aforementioned mapping is proposed. Such procedure is supported by a software tool that eases the conversion process. The usage of both the procedure and tool is illustrated via an example of realistic complexity. Conclusion: The proposed procedure and tool can be effectively used to perform the required measurement with very good accuracy. The tool can also be used to perform a sort of "double" measurement, i.e., both Function Points and COSMIC Function Points are measured at the same time.

Research paper thumbnail of Towards the integration of sysml and problem frames

... Pietro Colombo University of Insubria Via Mazzini, 5 21100 Varese (Italy) +39 0332 218949 pie... more ... Pietro Colombo University of Insubria Via Mazzini, 5 21100 Varese (Italy) +39 0332 218949 pietro.colombo@uninsubria.it Vieri del Bianco University of Insubria Via Mazzini, 5 21100 Varese (Italy) +39 0332 218938 vieri.delbianco@uninsubria.it ...

Research paper thumbnail of Towards UML-Based Formal Specifications of Component-Based Real-Time Software

Lecture Notes in Computer Science, 2003

Research paper thumbnail of Towards a Meta-model for Problem Frames: Conceptual Issues and Tool Building Support

Research paper thumbnail of Applying the COSMIC Functional Size Measurement Method to Problem Frames

Abstract— The approach to requirements modelling based on problem frames is gaining increasing at... more Abstract— The approach to requirements modelling based on problem frames is gaining increasing attention and popularity, especially when the decomposition of complex problems into simpler recurring problems (the “frames”) is concerned. However, the usage of problem frames in ...

Research paper thumbnail of A Survey on the Importance of Some Economic Factors in the Adoption of Open Source Software

Research paper thumbnail of An Investigation of the Users’ Perception of OSS Quality

IFIP advances in information and communication technology, 2010

Research paper thumbnail of A Methodological Framework for SysML: a Problem Frames-based Approach

Proceedings, Dec 1, 2007

Abstract Recently, SysML has been adopted by the object management group as a modelling language ... more Abstract Recently, SysML has been adopted by the object management group as a modelling language for systems engineering. SysML is a UML profile that represents a subset of UML 2 with extensions. A wide adoption of the language could be hindered by the lack of a ...

Research paper thumbnail of A Web-based infrastructure for the management of semantic meta-data

Research paper thumbnail of A Proposal for Simplified Model-Based Cost Estimation Models

Lecture Notes in Computer Science, 2012

Research paper thumbnail of Towards The Evaluation of OSS Trustworthiness: Lessons Learned From The Observation of Relevant OSS Projects

Research paper thumbnail of An Empirical Assessment of Function Point-Like Object-Oriented Metrics

Since object-oriented programming became a popular development practice, researchers and practiti... more Since object-oriented programming became a popular development practice, researchers and practitioners have defined several techniques aimed at measuring object-oriented software. Among these, several Function Point-like approaches have been proposed. However, ...

Research paper thumbnail of Model checking UML specifications of real time software

... Vieri Del Bianco Politecnico di Milano P.zza Leonardo Da Vinci, 32 20133 Milano, Italy delbia... more ... Vieri Del Bianco Politecnico di Milano P.zza Leonardo Da Vinci, 32 20133 Milano, Italy delbianc@elet.polimi.it Luigi Lavazza CEFRIEL Politecnico di Milano P.zza Leonardo Da Vinci, 32 20133 Milano, Italy lavazza@elet.polimi.it ...

Log In