A White Box Perspective on Behavioural Adaptation

DOI10.1007/978-3-319-15545-6_32zbMath1454.68118DBLPconf/birthday/BruniCGLV15OpenAlexW36762998WikidataQ56493245 ScholiaQ56493245MaRDI QIDQ5256369

Andrea Corradini, Alberto Lluch Lafuente, Fabio Gadducci, Andrea Vandin, Roberto Bruni

Publication date: 22 June 2015

Published in: Software, Services, and Systems (Search for Journal in Brave)

Full work available at URL: https://orbit.dtu.dk/en/publications/97d49a49-6eea-4028-b9ca-801fa1226c91

zbMATH Keywords

programming languagesadaptationcomputational modelsautonomic computingsoftware architecturescomputational reflection

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05)

Uses Software

• Maude
• PAGODA
• KLAIM
• Jolie
• ITACA
• SCEL
• JavAdaptor
• ContextJ

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Assurance of dynamic adaptation in distributed systems
• All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
• Conditional rewriting logic as a unified model of concurrency
• Recent trends in algebraic development techniques. 21st international workshop, WADT 2012, Salamanca, Spain, June 7--10, 2012. Revised selected papers
• Formal modeling of evolving self-adaptive systems
• Adaptable Transition Systems
• Statistical Model Checking for Composite Actor Systems
• Adaptable processes

This page was built for publication: A White Box Perspective on Behavioural Adaptation