The University of Insubria.
The University of Insubria The University of Insubria The University of Insubria The University of Indubria
The University of Insubria The University of Insubria logo The University of Insubria image bar  
The University of Insubria
The Univsersity of Insubria

 
The University of Insubria CV
The University of Insubria CV
The University of Insubria CV The University of Insubria CV Luigi Lavazza
The University of Insubria CV
 

Contact data

Associate Professor
Department of Computer Science and Communication
Via Mazzini, 5 - 21100 Varese
Tel: 0332 218930
Fax: 0332 218919
E-mail: luigi.lavazza@uninsubria.it

 

Biography

Luigi Lavazza received his Ph.D. degree in Electronic Engineering from Politecnico of Milan in 1984. For about six years he worked in industry, where he was involved in both research and commercial projects. In 1990 he joined CEFRIEL, where he carried out education and research activities in the Software Engineering unit. In 1996 he joined Politecnico of Milan as an Assistant Professor. There he continued his activities in the Software Engineering group. In October 2005 he became Associate Professor at the University of Insubria at Varese. He is still cooperating with the Software Engineering research group at CEFRIEL, where he leads research projects as well as technology transfer initiatives.

He was involved in the several national and international research projects.

He also served as reviewer of ESPRIT and IST projects for the European Commission.

He has been member of the Program Committee of the International Conference on Engineering Complex Computer Systems (ICECCS) in 1997 and 1998, and of the Software Engineering and Applications Conference (SEA) in 2005. He as also served as reviewer for several international journals (IEEE Transactions on Software Engineering, Software Process Improvement and Practice, Empirical Software Engineering Journal, Software and System Modeling, International Journal on Software Tools for Technology Transfer) and conferences (International Conference on Software Engineering, European Software Engineering Conference, Automated Software Engineering, Fundamental Approaches to Software Engineering, Foundations of Software Engineering).

He is co-author of over 60 scientific articles, published on international journals, or on the proceedings of international conferences or on books.
 

Research interests

His research interests include: Model based development, especially concerning real-time and embedded software, Software process modeling, measurement and improvement, Requirements engineering and Configuration management.

In particular he is currently involved in the following research activities:

  • In the field of requirement engineering he is studying the integration of M. Jackson’s Problem Frames with UML and with the real-time extensions of OCL.
  • He is involved in the definition of a platform supporting “semantic” Software Configuration Management. The platform should exploit the knowledge of the meaning of the managed data and relationships in order to provide advanced SCM services.
  • He is leading the development of a set of tools supporting the measurement process. In particular, the project aims at developing a tool supporting measurement activities based on the Goal/Question/Metrics methodology. Another project aims at the creation of a measurement toolset addressing both object-oriented models and code. This tool exploits XML to represent different types of artifacts in a homogeneous way. Prototypes of the mentioned tools are already available for experimentation.
  • Other activities in the field of software metrics concern the validation of metrics for object-oriented software and the study of relations between the measurable features and the defect density of object-oriented software.
  • Finally, he is involved in the definition of methods supporting the model-based development of real-time software, with specific emphasis on the definition of formal notations and the seamless application of formal methods.
 

Teaching experience and appointments

He started teaching computer science at Politecnico of Milan in 1990. Since then, he regularly taught several courses, including Fundamentals of Computer science, Computer Architectures and Theoretical Foundations of Computer Science.

He also has much experience in organizing and giving courses for professionals.

In 2001 he became a member of the Commission for the definition of the stage rules of the Information Engineering Faculty at Politecnico of Milan. Then he was the Appointed Professor responsible for the approval and management of stages in computer science at the Information Engineering Faculty at Politecnico of Milan, through October 2005.
 

Representative  publications

1. S. Ceri, S. Crespi Reghizzi, A. Di Maio, L. Lavazza, “Software prototyping by relational techniques: experiences with program construction systems”, IEEE Transactions on Software Engineering, vol. 14, n.11, November 1988.

2. S. Ceri, S. Crespi Reghizzi, G. Lamperti, L. Lavazza, R. Zicari, “ALGRES: an advanced database system for complex applications”, IEEE Software, vol. 7 n. 4, July 1990.

3. S. Bandinelli, A. Fuggetta, L. Lavazza, M. Loi, G.P. Picco, “Modeling and Improving an Industrial Software Process”, IEEE Transactions on Software Engineering, vol. 21, n.5, May 1995.

4. A. Fuggetta, L. Lavazza, S. Morasca, S. Cinti, G. Oldano, E. Orazi, “Applying G/Q/M in an Industrial Software Factory”, ACM Transactions on Software Engineering and Methodology, vol. 7, n. 4, October 1998.

5. L. Lavazza, “Providing automated support for the GQM measurement process”, IEEE Software, vol. 17, n. 3, May-June 2000.

6. A. Coen-Porisini, L. Lavazza, R. Zicari, “Assuring Type-Safety of Object Oriented Languages”, Journal of Object-Oriented Programming, February 1994.

7. J. Arlow, S. Bandinelli, W. Emmerich, L. Lavazza, “Fine Grained Process Modeling: an Experiment at British Airways”, Software Process Improvement and Practice, J. Wiley, 3(2), 1997.

8. C. Reid Turner, Alfonso Fuggetta, Luigi Lavazza, Alexander L. Wolf, “A Conceptual Basis for Feature Engineering”, Journal of Systems and Software, 49 (1) (15 December 1999).

9. L. Lavazza e G. Valetto “Requirements-based Estimation of Change Costs”, Empirical Software Engineering – An International Journal, vol. 5, n. 3, November 2000.

10. L. Lavazza e A. Agostini, “Automated Measurement of UML Models: an open toolset approach”, Journal of Object Technology, vol. 4, no. 4, May-June 2005.

11. A. Coen-Porisini, L. Lavazza, R. Zicari, “Updating the Schema of an Object-Oriented Data Base”, IEEE Data Engineering Bullettin, vol.14 n.2, June 1991.

12. S. Bandinelli, A. Fuggetta, C. Ghezzi, L. Lavazza, “SPADE: an Environment for Software Process Analysis, Design and Enactment", in Software Process Modelling and Technologies (A. Finkelstein, J. Kramer, B. A. Nuseibeh, Eds.), Research Study Press LTD, Taunton (GB) 1994.

13. S. Ceri, G. Gottlob, L. Lavazza, “Translation and optimization of logic queries: the algebraic approach”, in Proc. 10th Very Large Data Bases, Kyoto, August 1986.

14. F. Cattaneo, A. Fuggetta, L. Lavazza, “An Experience in Process Assessment”, 17th ICSE, International Conference on Software Engineering, Seattle, 24-25 April 1995.

15. G. Cugola, L. Lavazza, V. Nart, S. Manca, M.R. Pagone, “An Experience in Setting-Up a Configuration Management Environment”, Software Technology And Engineering Practice - STEP'97 8th International Workshop (incorporating CASE’97), London, July 1997.

16. L. Lavazza, “An Experience in Introducing Configuration Management in a Process-Centered Software Engineering Environment”, International Conference on Engineering of Complex Computer Systems (ICECCS’97), Villa Olmo - Como, 8-12 September 1997.

17. G. Cugola, P. Fusaro, A. Fuggetta, C. Gresse, L. Lavazza, S. Manca, M.R. Pagone, G. Ruhe, R. Soro, “A Case Study of Evaluating Configuration Management Practices with Goal-Oriented Measurement”, Fourth International Symposium on Software Metrics (METRICS '97), Albuquerque, New Mexico (USA), November 1997.

18. L. Lavazza e G. Valetto, “Enhancing Requirements and Change Management through Process Modelling and Measurement”, Fourth IEEE International Conference On Requirements Engineering ICRE2000, 19-23 June 2000, Schaumburg, Illinois.

19. F. Cattaneo, E. Di Nitto, A. Fuggetta, L. Lavazza, G. Valetto, “Managing software artifacts on the Web with Labyrinth”, ICSE2000, 22nd International Conference on Software Engineering –Formal Research Demonstration, Limerick, Ireland, 4-10 June, 2000.

20. L. Lavazza, G. Quaroni, M. Venturelli, “Combining UML and formal
notations for modelling real-time systems”, Joint 8th European Software Engineering Conference (ESEC) and 9th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE), Vienna, 10-14 September 2001.

21. E. Di Nitto, L. Lavazza, M. Schiavoni, E. Tracanella, M. Trombetta, “Deriving executable process descriptions from UML”, International Conference on Software Engineering ICSE 2002, Orlando, Florida, 19-25 May 2002.

22. V. del Bianco, L. Lavazza, M. Mauri, “Model Checking UML Specifications of Real-Time Software”, The Eighth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2002), Greenbelt, Maryland, 2–4 December, 2002.

23. V. del Bianco, L. Lavazza, M. Mauri, “Towards UML-based formal specifications of component-based real-time software”, Fundamental Approaches to Software Engineering (FASE03), held as part of the Joint European Conferences on Theory And Practice of Software ETAPS 2003, 5-13 April, 2003, Varsavia, Polonia. Lecture Notes in Computer Science - Springer-Verlag GmbH (ISSN: 0302-9743) Volume 2621, 2003, M. Pezzè (Editor).

24. L. Lavazza e G. Occorso “Simulation-based Verification of UML models”, 15th International Conference on Software Engineering and Knowledge Engineering (SEKE2003), San Francisco, July 2003.

25. L. Lavazza, “Rigorous Description of Software Requirements with UML”, 15th International Conference on Software Engineering and Knowledge Engineering (SEKE2003), San Francisco, July 2003.

26. G. Denaro, L. Lavazza, M. Pezzè “An Empirical Evaluation of Object Oriented Metrics in Industrial Setting”, The 5th CaberNet Plenary Workshop, November 2003, Porto Santo, Madeira Archipelago, Portugal.

27. L. Lavazza, S. Morasca, A. Morzenti, “A Dual Language Approach to the Development of Time-Critical Systems with UML” TACoS (International Workshop on Test and Analysis of Component Based Systems) in conjunction with ETAPS 2004, Barcelona, march 27 - 28, 2004. Electronic Notes in Theoretical Computer Science 116 (2005).

28. L. Lavazza e V. Del Bianco, “A UML-based Approach for Representing Problem Frames”, 1st International Workshop on Advances and Applications of Problem Frames (IWAAPF), an ICSE’04 Workshop, 24 May 2004, Edinburgo.

29. L. Lavazza e G. Barresi, “Automated Support for Process-aware Definition and Execution of Measurement Plans”, International Conference on Software Engineering ICSE 2005, St. Louis, Missouri, May 2005.

30. V. Del Bianco e L. Lavazza, “An Empirical Assessment of Function Point-Like Object-Oriented Metrics”, METRICS 2005, 11th International Software Metrics Symposium, 19-22 September 2005, Como.

 

 
   
leftmenu univ of insubria
 
 
 
CV CV