Automatic Generation of Adaptation Contracts

DOI10.1016/J.ENTCS.2009.06.032zbMath1347.68090OpenAlexW2005837755MaRDI QIDQ5179209

José Antonio Martín, Ernesto Pimentel

Publication date: 19 March 2015

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

Full work available at URL: https://doi.org/10.1016/j.entcs.2009.06.032

zbMATH Keywords

expert systemA* algorithmbehavioral adaptationadapter specification

Mathematics Subject Classification ID

Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Distributed systems (68M14) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Algorithms on strings (68W32)

Related Items (2)

A generic framework for \(n\)-protocol compatibility checking ⋮ Contracts for security adaptation

Uses Software

• Jess
• Unnamed Item

Cites Work

• On the semantics of software adaptation
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Automatic Generation of Adaptation Contracts