<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "Graph-Based Design and Analysis of Dynamic Software Architectures"^^ . "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 in Maude. The two approaches are compared by showing how different aspects can be tackled, including representation issues, modelling phases, property specification and analysis.\r\n"^^ . "2008" . "5065" . . "Springer"^^ . . "Springer"^^ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . "Roberto"^^ . "Bruni"^^ . "Roberto Bruni"^^ . . "Pierpaolo"^^ . "Degano"^^ . "Pierpaolo Degano"^^ . . "Dan"^^ . "Hirsch"^^ . "Dan Hirsch"^^ . . "Antonio"^^ . "Bucchiarone"^^ . "Antonio Bucchiarone"^^ . . "Alberto"^^ . "Lluch-Lafuente"^^ . "Alberto Lluch-Lafuente"^^ . . "Rocco"^^ . "De Nicola"^^ . "Rocco De Nicola"^^ . . "José"^^ . "Meseguer"^^ . "José Meseguer"^^ . . "Stefania"^^ . "Gnesi"^^ . "Stefania Gnesi"^^ . . . . . "HTML Summary of #153 \n\nGraph-Based Design and Analysis of Dynamic Software Architectures\n\n" . "text/html" . . . "QA75 Electronic computers. Computer science"@en . .