Travelled to:1 × Ireland
1 × Italy
1 × Japan
1 × Poland
1 × Portugal
1 × Sweden
1 × United Kingdom
2 × Austria
2 × France
5 × USA
Collaborated with:F.Cattaneo V.D.Bianco G.Occorso G.Valetto P.Colombo F.Khendek A.Fuggetta G.Barresi ∅ H.Sedehi S.Ceri G.Gottlob E.D.Nitto G.Quaroni M.Venturelli S.Morasca D.Taibi D.Tosi M.Mauri A.Coen-Porisini R.Zicari M.Schiavoni E.Tracanella M.Trombetta F.Cacace S.Crespi-Reghizzi G.Lamperti L.Tanca R.V.Zicari
Talks about:model (6) uml (6) requir (5) softwar (4) process (4) descript (3) support (3) problem (3) analysi (3) system (3)
Person: Luigi Lavazza
DBLP: Lavazza:Luigi
Contributed to:
2012
20112010
2006
20052003
20032002
2001
20002000
19991995
1993
1989
1986Wrote 17 papers:
- SAC-2012-LavazzaMTT #empirical #java #open source #reliability #source code
- An empirical investigation of perceived reliability of open source Java programs (LL, SM, DT, DT), pp. 1109–1114.
- ECMFA-2011-ColomboKL #analysis #design #generative #modelling #problem #requirements #using
- Generating Early Design Models from Requirements Analysis Artifacts Using Problem Frames and SysML (PC, FK, LL), pp. 97–114.
- ECMFA-2010-ColomboKL #analysis #case study #modelling #problem #requirements
- Requirements Analysis and Modeling with Problem Frames and SysML: A Case Study (PC, FK, LL), pp. 74–89.
- FASE-2006-LavazzaB #problem #requirements #uml
- Combining Problem Frames and UML in the Description of Software Requirements (LL, VDB), pp. 199–213.
- ICSE-2005-LavazzaB #automation #execution #metric
- Automated support for process-aware definition and execution of measurement plans (LL, GB), pp. 234–243.
- FASE-2003-BiancoLMO #component #realtime #specification #towards #uml
- Towards UML-Based Formal Specifications of Component-Based Real-Time Software (VDB, LL, MM, GO), pp. 118–134.
- SEKE-2003-Lavazza #requirements #uml
- Rigorous Description of Software Requirements with UML (LL), pp. 327–334.
- SEKE-2003-LavazzaO #modelling #uml #verification
- Simulation-based Verification of UML models (LL, GO), pp. 314–321.
- ICSE-2002-NittoLSTT #execution #process #uml
- Deriving executable process descriptions from UML (EDN, LL, MS, ET, MT), pp. 155–165.
- ESEC-FSE-2001-LavazzaQV #modelling #realtime #uml
- Combining UML and formal notations for modelling real-time systems (LL, GQ, MV), pp. 196–206.
- ICRE-2000-LavazzaV #metric #modelling #process #requirements
- Enhancing Requirements and Change Management through Process Modeling and Measurement (LL, GV), pp. 106–118.
- ICSE-2000-CattaneoNFLV #web
- Managing software artifacts on the Web with Labyrinth (FC, EDN, AF, LL, GV), pp. 746–749.
- ICEIS-1999-LavazzaS #information management #modelling #named
- DAMAS: An Integrated Business Modelling Information System to Support Management Enterprose Decisions (LL, HS), pp. 256–263.
- ICSE-1995-CattaneoFL #assessment #experience #process
- An Experience in Process Assessment (FC, AF, LL), pp. 115–121.
- TOOLS-EUROPE-1993-CattaneoCLZ #analysis #database #evolution #object-oriented #overview
- Overview and Progress Report of the ESSE Project: Supporting Object-Oriented Database Schema Analysis and Evolution (FC, ACP, LL, RZ), pp. 63–74.
- CAiSE-1989-CacaceCCGLLTZ #database #named #prototype #relational #specification
- ALGRES: An Extended Relational Database System for the Specification and Prototyping of Complex Applications (FC, SC, SCR, GG, GL, LL, LT, RVZ).
- VLDB-1986-CeriGL #algebra #approach #logic #optimisation #query
- Translation and Optimization of Logic Queries: The Algebraic Approach (SC, GG, LL), pp. 395–402.