skip to main content
10.1145/2804337acmconferencesBook PagePublication PagesfseConference Proceedingsconference-collections
CTSE 2015: Proceedings of the 1st International Workshop on Control Theory for Software Engineering
ACM2015 Proceeding
Publisher:
  • Association for Computing Machinery
  • New York
  • NY
  • United States
Conference:
ESEC/FSE'15: Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering Bergamo Italy 31 August 2015
ISBN:
978-1-4503-3814-1
Published:
31 August 2015
Sponsors:
Recommend ACM DL
ALREADY A SUBSCRIBER?SIGN IN

Reflects downloads up to 20 Jan 2025Bibliometrics
Abstract

No abstract available.

Skip Table Of Content Section
research-article
SimCA vs ActivFORMS: comparing control- and architecture-based adaptation on the TAS exemplar

Today customers require software systems to provide particular levels of qualities, while operating under dynamically changing conditions. These requirements can be met with different self-adaptation approaches. Recently, we developed two approaches ...

research-article
MORPH: a reference architecture for configuration and behaviour self-adaptation

An architectural approach to self-adaptive systems involves runtime change of system configuration (i.e., the system's components, their bindings and operational parameters) and behaviour update (i.e., component orchestration). Thus, dynamic ...

research-article
Adaptive predictive control for software systems

Self-adaptive software systems are designed to support a number of alternative solutions for fulfilling their requirements. These define an adaptation space. During operation, a self-adaptive system monitors its performance and when it finds that its ...

research-article
Quo vadis cyber-physical systems: research areas of cyber-physical ecosystems: a position paper

Many technological innovations from the research area of dynamic adaptive systems or IT ecosystems are already established in current software systems. Especially cyber-physical systems should benefit by this progress to provide smart applications in ...

research-article
Robust degradation and enhancement of robot mission behaviour in unpredictable environments

Temporal logic based approaches that automatically generate controllers have been shown to be useful for mission level planning of motion, surveillance and navigation, among others. These approaches critically rely on the validity of the environment ...

research-article
Control theory meets software engineering: the holonic perspective

One of the main challenges towards a software-based theory of control consists in finding an effective method for decomposing monolithic event-based interactive applications into modules. The task is challenging since this requires in turn to decompose ...

Contributors
  • Imperial College London
  • Saarland University

Index Terms

  1. Proceedings of the 1st International Workshop on Control Theory for Software Engineering

    Recommendations