Abstract
Ugo Montanari began to work in software engineering related topics in the early eighties when he started to promote the use of formal techniques in industries. In that period Ugo established a strong cooperation mainly with Olivetti, that was for more than a decade a very active italian ICT company.
Those were also the years when the first Progetto Finalizzato Informatica started and in this contextUgo chaired the P1 subproject, “IndustriaNazionale del settore: Architettura e Struttura dei Sistemi di Elaborazione” whose aims were: i) the development of a prototypical local network meant also to be used to develop software products for the public administration; ii) the realization of a prototypical micro processor with dependability, availability and reconfigurability characteristics to be employed for industrial automation; iii) the development of methods and software programs to be used as basis for the software production.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsReferences
Habermann, A.N., Montanari, U. (eds.): System Development and Ada. LNCS, vol. 275. Springer, Heidelberg (1987)
Fantechi, A., Gnesi, S., Inverardi, P., Montanari, U.: An Executon Environment for the Formal Definiton of Ada. In: Nichols, H.K., Simpson, D. (eds.) ESEC 1987. LNCS, vol. 289, pp. 327–335. Springer, Heidelberg (1987)
Ehrig, H., Kowalski, R.A., Levi, G., Montanari, U.: CAAP 1987 and TAPSOFT 1987. LNCS, vol. 249. Springer, Heidelberg (1987)
Ehrig, H., Kowalski, R.A., Levi, G., Montanari, U.: TAPSOFT 1987 and CFLP 1987. LNCS, vol. 250. Springer, Heidelberg (1987)
Andrade, L.F., et al.: AGILE: Software Architecture for Mobility. In: Wirsing, M., Pattinson, D., Hennicker, R. (eds.) WADT 2003. LNCS, vol. 2755, pp. 1–33. Springer, Heidelberg (2003)
Hirsch, D., Montanari, U.: Consistent transformations for software architecture styles of distributed systems. Electr. Notes Theor. Comput. Sci. 28 (1999)
Hirsch, D., Inverardi, P., Montanari, U.: Modeling Software Architecutes and Styles with Graph Grammars and Constraint Solving. In: WICSA 1999 Software Architecture, TC2 First Working IFIP Conference on Software Architecture (WICSA1). IFIP Conference Proceedings, San Antonio, Texas, USA, 22-24 February 1999, pp. 127–144 (1999)
Hirsch, D., Inverardi, P., Montanari, U.: Reconfiguration of Software Architecture Styles with Name Mobility. In: Porto, A., Roman, G.-C. (eds.) COORDINATION 2000. LNCS, vol. 1906, pp. 148–163. Springer, Heidelberg (2000)
Hirsch, D., Montanari, U.: Two Graph-Based Techniques for Software Architecture Reconfiguration. Electr. Notes Theor. Comput. Sci. 51 (2001)
Hirsch, D., Montanari, U.: Shaped Hierarchical Architectural Design. Electr. Notes Theor. Comput. Sci. 109, 97–109 (2004)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Gnesi, S. (2008). Software Engineering: Ugo Montanari’s Main Contributions and Introduction to the Section. In: Degano, P., De Nicola, R., Meseguer, J. (eds) Concurrency, Graphs and Models. Lecture Notes in Computer Science, vol 5065. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-68679-8_16
Download citation
DOI: https://doi.org/10.1007/978-3-540-68679-8_16
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-68676-7
Online ISBN: 978-3-540-68679-8
eBook Packages: Computer ScienceComputer Science (R0)