Towards Managing Dynamic Reconfiguration of Software Systems in a Categorical Setting

DOI10.1007/978-3-642-14808-8_21zbMath1286.68070OpenAlexW1492351889MaRDI QIDQ3585055

Carlos G. López Pombo, Thomas S. E. Maibaum, Nazareno Aguirre, Pablo F. Castro

Publication date: 31 August 2010

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-14808-8_21

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (4)

Towards a First-Order Deontic Action Logic ⋮ Specifying Properties of Dynamic Architectures Using Configuration Traces ⋮ Specifying with syntactic theory functors ⋮ Interactive verification of architectural design patterns in FACTum

Uses Software

• Hets

This page was built for publication: Towards Managing Dynamic Reconfiguration of Software Systems in a Categorical Setting