A Two-Component Language for Adaptation: Design, Semantics and Program Analysis

Adaptive systems are designed to modify their behaviour in response to changes of their operational environment. We propose a two-component language for adaptive programming, within the Context-Oriented Programming paradigm. It has a declarative constituent for programming the context and a function...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	IEEE transactions on software engineering Jg. 42; H. 6; S. 505 - 529
Hauptverfasser:	Degano, Pierpaolo, Ferrari, Gian-Luigi, Galletta, Letterio
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	New York IEEE 01.06.2016 IEEE Computer Society
Schlagworte:	Adaptability Adaptation Adaptation models Adaptive Software Approximation Computer languages Computer programming Context Context Oriented Programming Datalog Dynamical systems Dynamics Formal Methods Functional Programming Information systems Mathematical analysis Programming Programming languages Running Semantics Software Studies Type Systems Verification context oriented programming functional programming formal methods Adaptive software semantics type systems verification datalog
ISSN:	0098-5589, 1939-3520
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!