DINO MANDRIOLI
- Type
- Persona
(Classe)
- Persona
- Label
- DINO MANDRIOLI (literal)
- DINO MANDRIOLI (literal)
- Subject
- Software architecture (Categoria DBpedia)
- Data management (Categoria DBpedia)
- Internet protocols (Categoria DBpedia)
- Software engineering (Categoria DBpedia)
- Knowledge representation (Categoria DBpedia)
- Software architecture
- Partecipa a commessa
- Partecipazione a Commessa "Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità" (ICT.P09.008) di DINO MANDRIOLI nell'anno 2006 (Partecipazione a commessa)
- Partecipazione a Commessa "Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità" (ICT.P09.008) di DINO MANDRIOLI nell'anno 2009 (Partecipazione a commessa)
- Partecipazione a Commessa "Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità" (ICT.P09.008) di DINO MANDRIOLI nell'anno 2005 (Partecipazione a commessa)
- Partecipazione a Commessa "Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità" (ICT.P09.008) di DINO MANDRIOLI nell'anno 2007 (Partecipazione a commessa)
- Partecipazione a Commessa "Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità" (ICT.P09.008) di DINO MANDRIOLI nell'anno 2008 (Partecipazione a commessa)
- Persona in rapporto
- Employment relationship with CNR of DINO MANDRIOLI (Rapporto con CNR)
- Autore CNR di
- Automated Compositional Proofs for real-Time Systems (Articolo in rivista) (Prodotto della ricerca)
- A UML-compatible formal language for system architecture description (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Modeling the Environment in Software-Intensive Systems (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- ArchiTRIO: a UML-compatible lan- guage for architectural description and its formal semantics (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- The Role of Formal Methods in Developing High Assurance Systems: Some Old and Some Less Old Thoughts (Contributo in atti di convegno) (Prodotto della ricerca)
- An Experiment in Applying UML2.0 to the Development of an Industrial Critical Application (Contributo in atti di convegno) (Prodotto della ricerca)
- ArchiTRIO: a UML-compatible language for architectural description and its formal semantics (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- A Formal Approach for Designing CORBA based Applications (Articolo in rivista) (Prodotto della ricerca)
- The challenges of software engineering education (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- FM for FMS, \"Lessons Learned While Applying Formal Methods to the Study of Flexible Manufacturing Systems\" (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- Coautore
- MATTEO PRADELLA (Unità di personale interno)
- Nome
- DINO (literal)
- Cognome
- MANDRIOLI (literal)
- Afferisce a
- Ha pubblicazioni con
- MATTEO PRADELLA (Unità di personale interno)
- Http://www.cnr.it/ontology/persone.owl#argomentoDiRicercaSimile
- TOMMASO CASELLI (Persona)
- ANTONIO CALABRESE (Unità di personale interno)
Incoming links:
- Autore CNR
- Modeling the Environment in Software-Intensive Systems (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- ArchiTRIO: a UML-compatible language for architectural description and its formal semantics (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- ArchiTRIO: a UML-compatible lan- guage for architectural description and its formal semantics (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- A UML-compatible formal language for system architecture description (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- FM for FMS, \"Lessons Learned While Applying Formal Methods to the Study of Flexible Manufacturing Systems\" (Articolo in rivista) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1101)
- A Formal Approach for Designing CORBA based Applications (Articolo in rivista) (Prodotto della ricerca)
- Automated Compositional Proofs for real-Time Systems (Articolo in rivista) (Prodotto della ricerca)
- The Role of Formal Methods in Developing High Assurance Systems: Some Old and Some Less Old Thoughts (Contributo in atti di convegno) (Prodotto della ricerca)
- An Experiment in Applying UML2.0 to the Development of an Industrial Critical Application (Contributo in atti di convegno) (Prodotto della ricerca)
- The challenges of software engineering education (Contributo in atti di convegno) (http://www.cnr.it/ontology/cnr/individuo/prodotto/TIPO1301)
- Ha afferente
- Coautore
- MATTEO PRADELLA (Unità di personale interno)
- Ha pubblicazioni con
- MATTEO PRADELLA (Unità di personale interno)
- Partecipazione di
- Partecipazione a Commessa "Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità" (ICT.P09.008) di DINO MANDRIOLI nell'anno 2008 (Partecipazione a commessa)
- Partecipazione a Commessa "Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità" (ICT.P09.008) di DINO MANDRIOLI nell'anno 2006 (Partecipazione a commessa)
- Partecipazione a Commessa "Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità" (ICT.P09.008) di DINO MANDRIOLI nell'anno 2007 (Partecipazione a commessa)
- Partecipazione a Commessa "Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità" (ICT.P09.008) di DINO MANDRIOLI nell'anno 2005 (Partecipazione a commessa)
- Partecipazione a Commessa "Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità" (ICT.P09.008) di DINO MANDRIOLI nell'anno 2009 (Partecipazione a commessa)
- Http://www.cnr.it/ontology/persone.owl#argomentoDiRicercaSimile
- TOMMASO CASELLI (Persona)
- ANTONIO CALABRESE (Unità di personale interno)
- Rapporto con persona
- Employment relationship with CNR of DINO MANDRIOLI (Rapporto con CNR)
- Http://www.w3.org/2004/02/skos/core#isSubjectOf
- Software engineering (Categoria DBpedia)
- Data management (Categoria DBpedia)
- Software architecture (Categoria DBpedia)
- Knowledge representation (Categoria DBpedia)
- Internet protocols (Categoria DBpedia)
- Software engineering
