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ženo v:

Podrobná bibliografie
Vydáno v:	IEEE transactions on software engineering Ročník 42; číslo 6; s. 505 - 529
Hlavní autoři:	Degano, Pierpaolo, Ferrari, Gian-Luigi, Galletta, Letterio
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	New York IEEE 01.06.2016 IEEE Computer Society
Témata:	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 přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!