http://www.cnr.it/ontology/cnr/individuo/prodotto/ID44197
Software engineering: Ugo Montanari's main contributions and introduction to the section (Articolo in rivista)
- Type
- Label
- Software engineering: Ugo Montanari's main contributions and introduction to the section (Articolo in rivista) (literal)
- Anno
- 2008-01-01T00:00:00+01:00 (literal)
- Alternative label
- Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
- Pagina inizio
- Pagina fine
- Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#numeroVolume
- Rivista
- Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#note
- In: Concurrency, Graphs and Models : essays dedicated to Ugo Montanari on the occasion of his 65th Birthday. pp. 258 - 260. Pierpaolo Degano, Rocco De Nicola, José Meseguer (eds.). (Lecture Notes in Computer Science, vol. 5065). Berlin/Heidelberg: Springer, 2008. (literal)
- Note
- ISI Web of Science (WOS) (literal)
- Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
- Titolo
- Software engineering: Ugo Montanari's main contributions and introduction to the section (literal)
- 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. (literal)
- Prodotto di
- Autore CNR
- Insieme di parole chiave
Incoming links:
- Prodotto
- Autore CNR di
- Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#rivistaDi
- Insieme di parole chiave di