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...

Celý popis

Uložené v:

Podrobná bibliografia
Vydané v:	IEEE transactions on software engineering Ročník 42; číslo 6; s. 505 - 529
Hlavní autori:	Degano, Pierpaolo, Ferrari, Gian-Luigi, Galletta, Letterio
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	New York IEEE 01.06.2016 IEEE Computer Society
Predmet:	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
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Buďte prvý, kto okomentuje tento záznam!