Graph-based design and analysis of dynamic software architectures (Articolo in rivista)

Type
Label
  • Graph-based design and analysis of dynamic software architectures (Articolo in rivista) (literal)
Anno
  • 2008-01-01T00:00:00+01:00 (literal)
Alternative label
  • Bucchiarone A.; Gnesi S.; Bruni R.; Lafuente A. L.; Hirsch D. (2008)
    Graph-based design and analysis of dynamic software architectures
    in Lecture notes in computer science
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Bucchiarone A.; Gnesi S.; Bruni R.; Lafuente A. L.; Hirsch D. (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#numeroVolume
  • 5065 (literal)
Rivista
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#note
  • In: Festschrift in honor of Ugo Montanari. P. Degano et al... (eds.). (Lecture Notes in Computer Science, vol. 5065). Berlin: Springer, 2008. (literal)
Note
  • ISI Web of Science (WOS) (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • CNR-ISTI, Pisa, Dipartimento di Informatica, Università di Pisa, Dipartimento di lnformatica, Università di Pisa, Argentina Software Development Center (Intel), Argentina (literal)
Titolo
  • Graph-based design and analysis of dynamic software architectures (literal)
Abstract
  • We illustrate two ways to address the specification, modelling and analysis of dynamic software architectures using: i) ordinary typed graph transformation techniques implemented in Alloy; ii) a process algebraic presentation of graph transformation implemented inMaude. The two approaches are compared by showing how different aspects can be tackled, including representation issues, modelling phases, property specification and analysis. (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
data.CNR.it