Publications


Copyright notice

Papers in international journals and magazines

S.Ceri, S.Crespi Reghizzi, A. Di Maio, and L.Lavazza.
Software prototyping by relational techniques: experiences with program construction systems.
IEEE Transactions on Software Engineering, vol. 14, n.11, Nov. 1988.          [abstract and text]

S.Ceri, S.Crespi Reghizzi, G.Lamperti, L.Lavazza, and R.Zicari.
ALGRES: an advanced database system for complex applications.
IEEE Software, vol. 7 n. 4, July 1990.          [abstract and text]

S.Gatti, L.Lavazza, B.Cavazzana, and R.Cattaneo.
An expert system for optimum water management in power production.
Environmental Software, vol. 6 n. 1, 1991.

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

L. Lavazza
A Comment on Considering Class Harmful,
Communications of the ACM, vol.36 n.1, January 1993 -
technical correspondence        [abstract and text]

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

S. Bandinelli, A. Fuggetta, L. Lavazza, M. Loi, and G.P. Picco.
Modelling and improving an industrial software process.
IEEE Transaction on Software Engineering, vol.21, n.5, May 1995.
[abstract and text]

S. Bandinelli, L. Baresi, A. Fuggetta, and L. Lavazza.
Experiences in building the SPADE repository using OO technology.
Theory and Practice of Object Systems, vol.1, n.2.    [abstract and text]

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   [abstract and text]

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.   [abstract and text]

C. Reid Turner, Alfonso Fuggetta, Luigi Lavazza, Alexander L. Wolf
A Conceptual Basis for Feature Engineering,
Journal of Systems and Software, 49 (1) (15 Dicembre 1999) pp. 3-15.     [abstract and text]

Luigi Lavazza
Providing automated support for the GQM measurement process.
IEEE Software, May-June 2000.         [abstract and text]

Luigi Lavazza and Giuseppe Valetto
Requirements-based Estimation of Change Costs
Empirical Software Engineering - An International Journal, vol. 5, n. 3, November 2000, Kluwer. [abstract and text]

L. Lavazza and A. Agostini
Automated Measurement of UML Models: an open toolset approach
Journal of Object Technology, vol. 4, no. 4, May-June 2005. [text]

V. Del Bianco, L. Lavazza, M. Mauri, G. Occorso
Towards UML-based formal specifications of component-based real-time software
International Journal on Software Tools for Technology Transfer (STTT) - Springer-Verlag GmbH. - to appear

Papers in international conferences and workshops

S. Ceri, G. Gottlob, and L. Lavazza.
Translation and optimization of logic queries: the algebraic approach. In Proceedings of the 10th Very Large Data Bases, Kyoto, Aug. 1986.          [abstract and text]

L. Lavazza and S. Crespi Reghizzi.
Algebraic ADT specifications of an extended relational algebra and their conversion into a working prototype. In Proceedings of the Workshop on Algebraic Methods, Theory, Tools and Applications, Passau, Germany, June 1987 (Bergstra and Wirsing eds.), Lecture Notes on Computer Science n. 394, Springer Verlag.

S. Ceri, S. Crespi Reghizzi, G. Gottlob, G. Lamperti, L. Lavazza, L. Tanca, and R. Zicari.
The ALGRES project. Position paper in Advances in Database Technology - EDBT 88, Venezia, March 1988 (J.W. Schmidt, S. Ceri, M. Missikof eds.), Lecture Notes of Computer Sciences, n. 303, Springer Verlag.

F. Cacace, S. Ceri, S. Crespi Reghizzi, G. Gottlob, G. Lamperti, L. Lavazza, L. Tanca, and R. Zicari.
ALGRES: an extended relational database system for the specification and prototyping of complex applications. In Proceedings of CASE 89, the 1st nordic conference on advanced system engineering, Sweden, May 1989.

A. Coen-Porisini, L. Lavazza, and R. Zicari.
The ESSE Project: an overview. In Proceedings of the Second Far-East Workshop on Future Database Systems, April 1992, Heian Shrine, Kyoto, Japan.

A. Barbieri, A. Fuggetta, L. Lavazza, and M. Tagliavini.
DynaMan: a tool to improve software process management through dynamic simulation. In Proceedings of the Fifth International Workshop on CASE, Montreal, July 1992.

S. Bandinelli, A. Fuggetta, and L. Lavazza.
Formal methods to improve the software process. In Proceedings of the DECUS Symphosium, Cannes, September 1992.

S. Bandinelli, L. Baresi, A. Fuggetta, and L. Lavazza.
Requirements and early experiences in the development of the SPADE repository. In Proceedings of the 8th International Workshop on the Software Process, Dagstuhl (Germania), March 1993.

F. Cattaneo, A. Coen-Porisini, L. Lavazza, and R. Zicari.
Overview and progress report of the ESSE project: supporting object-oriented database schema analysis and evolution. In Proceedings of TOOLS Europe '93, Versailles, March 1993, Prentice Hall.

S. Bandinelli, M. Braga, A. Fuggetta, and L. Lavazza.
Cooperation Support in the SPADE Environment: a Case Study. In Proceedings of the Workshop on Computer Supported Cooperative Work, Petri nets, and Related Formalisms (14th International Conference on Application and Theory of Petri Nets). Chicago (USA), June 1993.

S. Bandinelli, L. Baresi, A. Fuggetta, and L. Lavazza.
Requirements and Early Experiences in the Implementation of the SPADE Repository using Object-Oriented Technology. In Proceedings of the International Symposium on Object Technology for Advanced Software, Kanezawa (Japan), November 1993.

S. Bandinelli, M. Braga, A. Fuggetta, and L. Lavazza.
The Architecture of the SPADE-1 PSEE. In Proceedings of Third European Workshop on Software Process Technology, Grenoble (Francia), February 1994.

The GoodStep Team.
The GOODSTEP Project: General Object-Oriented Database for Software Engineering Processes. Position paper at the Workshop on software engineering and databases - ICSE '94, Sorrento, May 1994.

S. Bandinelli, A. Fuggetta, L. Lavazza, and G. Picco.
An experience in improving an industrial software process through formal modeling. In Proceedings of the 4th Reengineering Forum, Victoria (Canada), September 1994.

S. Bandinelli, E. Di Nitto, A. Fuggetta, and L. Lavazza.
Coupled vs decoupled user interfaces in PSEEs.
Proceedings of the 9th International Software Process Workshop, Virginia (USA), October 1994.

S. Bandinelli, A. Fuggetta, L. Lavazza, and G. Picco.
Combining control and data integration in the SPADE environment. In Proceedings of the 9th International Software Process Workshop, Virginia (USA), October 1994.

The GoodStep Team.
The GOODSTEP Project: General Object-Oriented Database for Software Engineering Processes. In Proceedings of APSEC'94, 1st Asia-Pacific Software Engineering Conference, Tokyo, Dec. 1994.

F. Cattaneo, A. Fuggetta, and L. Lavazza.
An experience in process assessment. In Proceedings of the 17th International Conference on Software Engineering-ICSE 17,
Seattle (USA), April 1995.     [abstract and text]

W. Emmerich, S. Bandinelli, L. Lavazza, J. Arlow
Fine Grained Process Modeling: an Experiment at British Airways. 4th International Conference on the Software Process (ICSP4), December 1996, Brighton, UK.

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.        [abstract and text]

L. Lavazza
An integrated view of process modelling, improvement and measurement", ICSE 97 WORKSHOP Process Modelling and Empirical Studies of Software Evolution,
Boston, May 18, 1997.        [abstract and text]

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, September 8-12, 1997.        [abstract and text]

G. Cugola, C. Gresse, P. Fusaro, A. Fuggetta, L. Lavazza, S. Manca, M.R. Pagone, G. Ruhe, R. Soro
"An application of Goal-Oriented Measurement to the Evaluation of the Impact of Configuration Management", Fourth International Symposium on Software Metrics (Metrics '97), Albuquerque, New Mexico (USA), Novembver 1997        [abstract and text]

C. R. Turner, A. Fuggetta, L. Lavazza, A. Wolf
"Feature Engineering", Ninth IEEE International Workshop on Software Specification and Design (IWSSD-9), Ise-shima, Japan April 16-18, 1998  [abstract and text]

The SACHER team
The SACHER approach to requirement management, Acquire-ICT Information and Communications Technology, London, February 1998. [abstract and text]

Luigi Lavazza, Habib Sedehi
"DAMAS: an Integrated Business Modelling Information System to Support Management Enterprise Decisions", ICEIS'99 - 1st International Conference on Enterprise Information Systems, March, 1999. Setubal, Portugal (to appear also in the best paper selection:  "Enterprise Information Systems", Joaquim Filipe (Ed.), Kluwer Academic Publishers). [abstract and text]

F. Cattaneo, A. Fuggetta, L. Lavazza, G. Valetto
"Exploiting the web to manage software development artifacts: the Labyrinth Project", 2nd ICSE Workshop on Software Engineering over the Internet, Los Angeles, May 17, 1999. [html text]

Luigi Lavazza and Giuseppe Valetto
"Requirements-based Estimation of Change Costs", EASE 2000, 4th International Conference on Empirical Assessment & Evaluation in Software Engineering, Keele University, Staffordshire, UK, April 17th - 19th 2000. [abstract and text]

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

Luigi Lavazza, Giuseppe Valetto
"Enhancing Requirements and Change Management through Process Modelling and Measurement", ICRE2000 Fourth IEEE International Conference On Requirements Engineering, June 19-23, 2000, Schaumburg, Illinois. [abstract and text]

Vieri del Bianco, Luigi Lavazza, Marco Mauri
"An application of the DESS modeling approach: The Car Speed Regulator", position paper in Specification, Implementation and Validation of Object-oriented Embedded Systems (SIVOES'2001), Budapest, June 2001. [abstract and text]

Vieri del Bianco, Luigi Lavazza, Marco Mauri
"A classification of real-time specifications complexity", position paper in Specification, Implementation and Validation of Object-oriented Embedded Systems (SIVOES'2001), Budapest, June 2001. [abstract and text]

Luigi Lavazza, Gabriele Quaroni, Matteo 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), Wien, 10-14, September 2001. [abstract and text]

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

Vieri Del Bianco, Luigi Lavazza, Marco Mauri
“A Formalization of UML Statecharts for Real-Time Software Modeling”, The Sixth Biennial World Conference on Integrated Design Process Technology (IDPT 2002), Pasadena, California, 23-28 June 2002.
[abstract and text]

Vieri Del Bianco, Luigi Lavazza, Marco 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.
[abstract and text]

Vieri Del Bianco, Luigi Lavazza, Marco Mauri
"Towards UML-based formal specifications of component-based real-time software", Fundamental Approaches to Software Engineering (FASE03), ETAPS European Joint Conferences on Theory And Practice of Software, April 5-13, 2003, Warsaw, Poland.

Luigi Lavazza, Sandro Morasca, Angelo Morzenti
"A Dual Language Approach Extension to UML for the Development of Time-Critical Component-Based Systems", TACoS (International Workshop on Test and Analysis of Component Based Systems) Warsaw, April 13 2003.

Vieri Del Bianco and Luigi Lavazza
"Towards a component-based, model-driven process supporting variability of real-time software" Workshop on Software Variability Management, a satellite event of the International Conference on Software Engineering 2003, May 3, 2003, Portland, Oregon, USA.

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

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

L. Lavazza, S. Morasca, A. Morzenti
A Dual Language Approach to the Development of Time-Critical Systems with UML
Workshop on Critical Systems Development with UML, San Francisco, California, 21 October 2003.

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.

V. Del Bianco, G. Ripa, E. Tracanella, L. Lavazza
A Web-based infrastructure for the management of semantic meta-data
The 9th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2004), Firenze, 14-16 April 2004.

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.

L. Lavazza and 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, May 24 2004, Edinburgh.

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

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.

L. Lavazza e V. Del Bianco
Combining problem frames and UML in the description of software requirements
Fundamental Approaches to Software Engineering (FASE06), part of the Joint European Conferences on Theory And Practice of Software ETAPS 2006, 25 March-2 April 2006, Vienna, Austria.

 L. Lavazza e M. Mauri
Software Process Measurement in the Real World: Dealing with Operating Constraints
Software Process Workshop SPW/Prosim 2006, 20-21 May 2006, Shanghai.  Lecture Notes in Computer Science Volume 3966 / 2006, ISBN: 3-540-34199-4

V. del Bianco e L. Lavazza
Enhancing Problem Frames with Scenarios and Histories: a Preliminary Study
2nd International Workshop on Advances and Applications of Problem Frames (IWAAPF), an ICSE’06 Workshop
, 23 May 2006, Shanghai Proceedings published by the IEE.

A.F. Crisà, V. del Bianco, L. Lavazza
A tool for the measurement, storage, and pre-elaboration of data supporting the release of public datasets
Workshop on Public Data about Software Development (WoPDaSD 2006), part of The Second International Conference on Open Source Systems, 10 June 2006, Como.

V. del Bianco, L. Lavazza
Object-Oriented Model Size Measurement: Experiences and a Proposal for a Process”
Workshop on Model Size Metrics, part of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MoDELS 2006), October 2006, Genova
.

Chapters in international books

S. Ceri, S. Crespi Reghizzi, G. Lamperti, L. Lavazza, D. Milani, M. Riva, and R. Zicari.
Interfacing the C programming language with ALGRES, an extended relational system: towards advanced information system prototyping environments. In P. Loucopoulos, R. Zicari eds., Conceptual Modelling, Databases and CASE: an Integrated View of Information System Development, J. Wiley, 1993.

S. Bandinelli, A. Fuggetta, C. Ghezzi, and L. Lavazza.
SPADE: an environment for Software Process Analysis, Design, and Enactment. In A. Finkelstein, J. Kramer, B.A. Nuseibeh, eds., Software Process Modelling and Technology. Research Studies Press Limited (J. Wiley), 1994. [abstract and text]

Luigi Lavazza and Habib Sedehi
DAMAS: an Integrated Business Modelling Information System to Support Management Enterprise Decisions.
In "Enterprise Information Systems", Joaquim Filipe (Ed.), Kluwer Academic Publishers, May 2000.

Papers in national journals

L. Attuati, L. Lavazza, and A. Rosti.
Analisi semantica di Ada e risoluzione degli overload nel progetto ART. Rivista di Informatica, vol.16, n.2, April-June 1986.

A. Costa, S. Gatti, L. Lavazza, and B. Cavazzana.
Un sistema esperto per la gestione ottimale di risorse idriche destinate alla produzione di energia elettrica. Terra, vol. 3, n.9, January-March 1990.

National books

L. Lavazza and M. Pezzè.
Fondamenti di Informatica 2 - Esercizi e Temi d'Esame Risolti - Parte I Algoritmi e Strutture Dati. Esculapio Editore, March 1994.

L. Lavazza, M. Pezzè, and G. Pozzi.
Fondamenti di Informatica 2 - Esercizi e Temi d'Esame Risolti - Parte II Sistemi Operativi e Macchina Hardware. Esculapio Editore, Dec. 1994.

Dino Mandrioli, Luigi Lavazza, Angelo Morzenti, Pierluigi San Pietro, Paola Spoletini, Esercizi di Informatica Teorica, terza edizione. Esculapio Editore, 2005

newL. Baresi, L. Lavazza, M. Pianciamore “Dall’idea al codice con UML 2.0”, Pearson 2006.

Papers in National Conferences

A. Fuggetta and L. Lavazza.
Research directions in quantitative process modeling: the system dynamics approach. In Atti del Convegno Annuale AICA, AICA, Siena, September 1991.

Chapters in National Books 

G. Denaro, L. Lavazza, M. Pezzè "Le Metriche Object Oriented nella Realtà Aziendale", in Misurazione del Software: stato dell'arte e prospettive future", GUFPI (Gruppo Utenti Function Point ItaliaFranco Angeli, 2006, ISBN 88-464-7139-3.


Home