Formalizing the notion of adaptive system behavior

M. Broy, C. Leuxner, W. Sitou, B. Spanfelner, S. Winter

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

22 Scopus citations

Abstract

In computer science the notion of adaptive systems has been used in different contexts for many years now. Although there is some intuitive, common understanding of the notion, a precise and universally practicable definition is still missing. More precisely, previous definitions fail to strictly differentiate between adaptive and non-adaptive systems. We investigate the intuitions and propose a precise definition that comprises most informal explanations. Methodical implications arising from our definition are discussed as well.

Original languageEnglish
Title of host publication24th Annual ACM Symposium on Applied Computing, SAC 2009
Pages1029-1033
Number of pages5
DOIs
StatePublished - 2009
Event24th Annual ACM Symposium on Applied Computing, SAC 2009 - Honolulu, HI, United States
Duration: 8 Mar 200912 Mar 2009

Publication series

NameProceedings of the ACM Symposium on Applied Computing

Conference

Conference24th Annual ACM Symposium on Applied Computing, SAC 2009
Country/TerritoryUnited States
CityHonolulu, HI
Period8/03/0912/03/09

Keywords

  • Adaptive systems
  • Context awareness
  • Formal methods

Fingerprint

Dive into the research topics of 'Formalizing the notion of adaptive system behavior'. Together they form a unique fingerprint.

Cite this