<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "Modelling and analyzing adaptive self-assembling strategies with Maude"^^ . "Building adaptive systems with predictable emergent behavior is a challenging task and it is becoming a critical need. The research community has accepted the challenge by introducing approaches of various nature: from software architectures, to programming paradigms, to analysis techniques. We recently proposed a conceptual framework for adaptation centered around the role of control data. In this paper we show that it can be naturally realized in a reflective logical language like Maude by using the Reflective Russian Dolls model. Moreover, we exploit this model to specify, validate and analyse a prominent example of adaptive system: robot swarms equipped with self-assembly strategies. The analysis exploits the statistical model checker PVeStA."^^ . . . "Elsevier"^^ . . . "Science of Computer Programming"^^ . . . "01676423" . . . . . . . . . . . . . . . . . . "Roberto"^^ . "Bruni"^^ . "Roberto Bruni"^^ . . "Alberto"^^ . "Lluch-Lafuente"^^ . "Alberto Lluch-Lafuente"^^ . . "Andrea"^^ . "Vandin"^^ . "Andrea Vandin"^^ . . "Fabio"^^ . "Gadducci"^^ . "Fabio Gadducci"^^ . . "Andrea"^^ . "Corradini"^^ . "Andrea Corradini"^^ . . . . . . "Modelling and analyzing adaptive self-assembling strategies with Maude (PDF)"^^ . . . "scp2013.pdf"^^ . . . "Modelling and analyzing adaptive self-assembling strategies with Maude (Other)"^^ . . . . . . "indexcodes.txt"^^ . . . "Modelling and analyzing adaptive self-assembling strategies with Maude (Other)"^^ . . . . . . "lightbox.jpg"^^ . . . "Modelling and analyzing adaptive self-assembling strategies with Maude (Other)"^^ . . . . . . "preview.jpg"^^ . . . "Modelling and analyzing adaptive self-assembling strategies with Maude (Other)"^^ . . . . . . "medium.jpg"^^ . . . "Modelling and analyzing adaptive self-assembling strategies with Maude (Other)"^^ . . . . . . "small.jpg"^^ . . "HTML Summary of #1536 \n\nModelling and analyzing adaptive self-assembling strategies with Maude\n\n" . "text/html" . . . "QA75 Electronic computers. Computer science"@en . .