Pubblicazioni Laboratori

Dipartimento di Sistemi e Informatica

Software Engineering Laboratory

Publications 1999

Books
	P. Ciancarini, A. Fantechi, R. Gorrieri, eds., "Formal methods for Open Object-based Distributed Systems" (Proceedings FMOODS'99) Kluwer Academic Press, IFIP Series, February 1999.
Journal and Book Chapters
	P.Nesi, ``Microprocessori", in ``Manuale Cremonese di Meccanica Elettrotecnica Elettronica", (Prof.A.Liberatore, ed.), Edizioni Cremonese, Borgo S. Croce, Italy, ISBN 88-7083-754-8, Parte Generale, Vol.I, Cap. 30, pp.1-89, Gennaio 1999.
	F.Fioravanti, P.Nesi, S.Stortoni, ``Controllo e predizione dei tempi di sviluppo in sistemi object-oriented'', De Qualitate, Rivista Italiana della Qualità, Roma (consiglio dei Ministri Registro Nazionale della Stampa 3927/92, registrata Tribunale di Roma 5-8-92, n.479/92), Nuovo Studio Tecna, Roma, ISBN 1123-2349, Anno VIII, N.7, pp.82-89, Luglio-Agosto 1999.
	P.Bellini, F.Fioravanti, P.Nesi, ``Lavoro Cooperativo e Gestione delle Voltate nelle Orchestre'', AIIA Notizie, Periodico dell'Associazione Italiana per l'Intelligenza Artificiale, Registrata presso il Tribunale di Torino n.3983 del 22/11/88, stampata a Pontassieve Firenze, anno XII, N.3, pp.52-55, Settembre 1999.
	P.Nesi, M.Trucco, "Real-Time Detection of Texture Defects", special issue for the Journal on Real-Time Imaging, Academic-Press, London, UK, ISSN 1077-2014, Vol.5, N.1, pp.1-2, Febbraio 1999.
	M.A.Bruno, P.Nesi, ``Life-Cycle of a Dual Object-Oriented Specification Model for Real-Time Systems'', Journal of Information and Software Technology, Elsevier Publishers, USA, ISSN 0950-5849, Vol.41, N.1, pp.35-52, 1999
	R.Mattolini, P.Nesi, ``An Interval Logic for Real Time System Specification'', IEEE Transactions on Software Engineering, IEEE Press, USA, ISSN 0098-5589, in corso di pubblicazione, 1999.
	P.Bellini, F.Fioravanti, P.Nesi, ``Managing Music in Orchestras'', IEEE Computer, IEEE Press, ISSN 0018-9162, pp.26-34, Settembre 1999.
	P.Bellini, R.Mattolini, P.Nesi, `` Temporal Logics for Real-Time System Specification'', ACM Computing Survey, ACM Press, ISSN 0360-0300, in corso di pubblicazione, 1999.
	P.Bellini, A.Buonopane, M.Montanelli, P.Nesi, ``Sistema Flessibile per la Gestione di Catene di Produzione: Sincronizzazione, controllo e riconfigurazione'', De Qualitate, Rivista Italiana della Qualità, Roma (consiglio dei Ministri Registro Nazionale della Stampa 3927/92, registrata Tribunale di Roma 5-8-92, n.479/92), Nuovo Studio Tecna, Roma, ISBN 1123-2349, Anno VIII, N.9, pp.63-74, Ottobre 1999.
	D. Powell, J. Arlat, L. Beus-Dukic, A. Bondavalli, P. Coppola, A. Fantechi, E. Jenn, C. Rabejac, A. Wellings, "GUARDS: A Generic Upgradable Architecture for Real-Time Dependable Systems", IEEE Transactions on Parallel and Distributed Systems, Vol. 10, n. 6, June 1999, pp.580-599.

Conference Proceedings
	P.Nesi, C.Verhoef, ``Proceedings of third European Conference on Software Maintenance and Reengineering'', IEEE Press, ISBN 0-7695-0090-0, Marzo 1999.
	A.Baldassarre, M.De Lucia, P.Nesi, A.Rossi, ``Real-Time Defect Detection on Cloths", Optical Measurement Systems for Industrial Inspection, Proc.of the International Conference on Polarization and Colour Techniques in Industrial Inspection, organizzata da EUROPTO (EOS - The European Optical Society and SPIE - The International Society for Optical Engineering), Monaco, Germania, 14-18 Giugno 1999.
	A.Baldassarre, M.De Lucia, P.Nesi, A.Rossi, ``A new Particle Tracking Velocimetry", Optical Measurement Systems for Industrial Inspection, Proc.of the International Conference on Polarization and Colour Techniques in Industrial Inspection, organizzata da EUROPTO (EOS - The European Optical Society and SPIE - The International Society for Optical Engineering), Monaco, Germania, 14-18 Giugno 1999.
	F.Fioravanti, P.Nesi, F.Stortoni, ``Metrics for Controlling Effort During Adaptive Maintenance of Object Oriented Systems'', Proc.of the 15th IEEE International Conference on Software Maintenance, ICSM'99, IEEE Press, USA, ISSN 1063-6773, ISBN 0-7695-0016-1, pp.483-492, Oxford, England, 30 Agosto - 3 Settembre 1999.
	P.Bellini, M.Buonopane, M.Montanelli, P.Nesi, ``Evaluating a Flexible Architecture for Distributed Control'', Prof.of the 5th ``IEEE International Conference on Engineering of Complex Computer Systems'', ICECCS'99, IEEE Press, Las Vegas, USA, Ottobre 1999.
	S.Marinai, P.Nesi, ``Projection Based Segmentation of Musical Sheets'', Proc.of the 5th International Conference on Document Analysis and Recognition, ICDAR'99, IEEE press, sponsorizzata dallo IAPR (Iternational Association on Pattern Recognition), Bangalore, India, ISSN 0-7695-0318-7, pp.515-518, 20-22 Settembre 1999.
	P.Nesi, ``Rigorous Production of Object Oriented Systems'', atti del convegno: ``Processo di produzione e sviluppo di software ad oggetti", organizzato da TABOO (associazione Italiana tecnologie avanzate basate su concetti orientati ad oggetti), Bologna, Luglio 1999 (su invito).
	P.Bellini, F.Fioravanti, P.Nesi, ``Cooperative work and automatic page turning in orchestras'', Workshop on Intelligent Systems for Art and Entertainment, AIIA, Spcial Interest Group on Intelligent Interfaces, Università di Napoli Federico II, Faculty of Science, 16 Aprile 1999.
	Fantechi, S. Gnesi,L. Semini, "Formal Description and Validation for an Integrity Policy Supporting Multiple Levels of Criticality", DCCA-7 - Dependable Computing for Critical Applications,San Jose, January 1999
	Bernardeschi, A. Fantechi, S. Gnesi,"Formal validation of the GUARDS Inter-consistency mechanism", SAFECOMP'99, Tolosa, Settembre 1999, Lecture notes in Computer Science, vol. 1698.