@-SWING Autonomic SoftWare InteNsive Systems for Grid Applications (ICT.P09.009.003)
- Type
- Modulo (Classe)
- Label
- @-SWING Autonomic SoftWare InteNsive Systems for Grid Applications (ICT.P09.009.003) (literal)
- Prodotto
- 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) (Prodotto della ricerca)
- Codice
- ICT.P09.009.003 (literal)
- Anno di chiusura previsto
- 2008-01-01T00:00:00+01:00 (literal)
- Istituto esecutore
- Primo anno di attività
- 2005-01-01T00:00:00+01:00 (literal)
- Abstract
- Nell'ambito degli obiettivi generali della commessa, l'attività programmata del modulo riguarderà in particolare i seguenti temi: metodologie per lo sviluppo di applicazioni parallele e distribuite efficienti e adattive per le-science; modelli computazionali di applicazioni adattive con requisiti di performance; utilizzo di metodi formali per la specifica e la verifica di sistemi software complessi, in particolare tecniche di analisi da applicare ai sistemi modulari misti (logica e automi). (literal)
- Nome
- @-SWING Autonomic SoftWare InteNsive Systems for Grid Applications (literal)
- Descrizione
- Descrizione del modulo "@-SWING Autonomic SoftWare InteNsive Systems for Grid Applications (ICT.P09.009.003)" (Descrizione modulo)
- Descrizione collaborazioni del modulo "@-SWING Autonomic SoftWare InteNsive Systems for Grid Applications (ICT.P09.009.003)" (Descrizione collaborazioni)
- Descrizione dello stato di avanzamento delle attività del modulo "@-SWING Autonomic SoftWare InteNsive Systems for Grid Applications (ICT.P09.009.003)" (Descrizione stato avanzamento attività)
- Modulo di
- Gestore
- ANGELO CORANA (Persona)
Incoming links:
- Prodotto di
- 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) (Prodotto della ricerca)
- Istituto esecutore di
- Modulo
- Gestore di
- ANGELO CORANA (Persona)
- Descrizione di
- Descrizione dello stato di avanzamento delle attività del modulo "@-SWING Autonomic SoftWare InteNsive Systems for Grid Applications (ICT.P09.009.003)" (Descrizione stato avanzamento attività)
- Descrizione del modulo "@-SWING Autonomic SoftWare InteNsive Systems for Grid Applications (ICT.P09.009.003)" (Descrizione modulo)
- Descrizione collaborazioni del modulo "@-SWING Autonomic SoftWare InteNsive Systems for Grid Applications (ICT.P09.009.003)" (Descrizione collaborazioni)