-
Article
Open AccessRigorous engineering of collective adaptive systems – 2nd special section
An adaptive system is able to adapt at runtime to dynamically changing environments and to new requirements. Adaptive systems can be single adaptive entities or collective ones that consist of several collabor...
-
Chapter and Conference Paper
Rigorous Engineering of Collective Adaptive Systems Introduction to the 4th Track Edition
A collective adaptive system consists of collaborating entities that are able to adapt in real-time to dynamically changing and open environments and changing needs. Rigorous engineering requires appropriate m...
-
Article
Open AccessRigorous engineering of collective adaptive systems: special section
An adaptive system is able to adapt at runtime to dynamically changing environments and to new requirements. Adaptive systems can be single adaptive entities or collective ones that consist of several collabor...
-
Chapter and Conference Paper
Rigorous Engineering of Collective Adaptive Systems Introduction to the 3rd Track Edition
A collective adaptive system consists of collaborating entities that are able to adapt at runtime to dynamically changing, open-ended environments and to evolving requirements. Rigorous engineering requires ap...
-
Chapter and Conference Paper
The Meaning of Adaptation: Mastering the Unforeseen?
This short paper gives an introduction to a panel held as part of the track on ‘Rigorous Engineering of Collective Adaptive Systems’ at ISOLA 2018. The discussion was structured on the basis of twenty question...
-
Chapter
Selbstverwaltete digitale Identitäten – Chancen und Herausforderungen für die weltweite Digitalisierung
Die Vernetzung von Personen, Diensten und Geräten ist ein wesentlicher Aspekt der Digitalisierung. Neben dem Ausbau der Netz-Infrastruktur sind sichere digitale Identitäten eine zentrale Voraussetzung für den ...
-
Chapter and Conference Paper
Rigorous Engineering of Collective Adaptive Systems Introduction to the 2nd Track Edition
A collective adaptive system consists of collaborating entities that are able to adapt at runtime to dynamically changing, open-ended environments and to new requirements. Rigorous engineering requires appropr...
-
Chapter and Conference Paper
Modelling the Transition to Distributed Ledgers
The emergence of Distributed Ledger Technologies and Cryptocurrencies impacts on how transactions of various assets between parties in highly dynamical settings – such as the Internet of Things or Smart Cities...
-
Article
Ein Rahmenwerk zur Protokollierung von Transaktionen in Distributed Ledgers
Distributed Ledger Technologien werden – nach der anfänglich ausschließlichen Nutzung für die Verwaltung digitaler Geldeinheiten wie Bitcoin – auch für weitere Anwendungen vorgeschlagen: ...
-
Chapter and Conference Paper
Adaptation to the Unforeseen: Do we Master our Autonomous Systems? Questions to the Panel – Panel Introduction
This short paper gives an introduction to a panel held as part of the track on “Rigorous Engineering of Collective Adaptive Systems” at ISOLA 2016. The moderator Stefan Jähnichen (TU Berlin) and the panelists ...
-
Chapter and Conference Paper
Rigorous Engineering of Collective Adaptive Systems Track Introduction
Today’s software systems are becoming increasingly distributed and decentralized and it would be important to have them adapt autonomously to dynamically changing, open-ended environments. Often the nodes of s...
-
Chapter and Conference Paper
A Library and Scripting Language for Tool Independent Simulation Descriptions
In modeling and simulation it is often necessary to simulate a model with a variety of settings and evaluate the simulation results with measured data or previously acquired results. As doing this manually is ...
-
Chapter
Grußwort
Vielen Dank für die Einladung zu dieser Konferenz und vielen Dank an Dr. Udo Bub. Meine ersten Grüße richte ich allerdings zunächst als Aufsichtsrat der EICT GmbH an Sie, da ich mich über die Entwicklung der E...
-
Article
Manifest: Strategische Bedeutung des Software Engineering für die Medizin
-
Chapter and Conference Paper
Flying Sensors – Swarms in Space
The aim of the Flying Sensors research group is to develop swarm technologies for future, high-performance space-based applications. In a swarm, a large number of autonomous spacecraft cooperate with each othe...
-
Chapter
Die 90er Jahre
Das Dokument ist die wichtigste Form, über Raum und Zeit hinweg Wissen aufzubewahren und zu transportieren. Dokumente sind sowohl Informationsquellen als auch Steuerungsinstrumente und damit gleichermaßen inte...
-
Chapter and Conference Paper
Simulation-Based Testing of Embedded Software in Space Applications
-
Chapter and Conference Paper
Modeling Constraint Programs with Software Technology Standards
In [1] Puget argued for a “model-and-run” paradigm for constraint programming. He proposed to develop a standard file format to express CP models. There is no such unified modeling standard available to the CP...
-
Chapter and Conference Paper
GOOSE – A Generic Object-Oriented Search Environment
The constraint programming community keeps on creating numerous search algorithms, which differ to a greater or lesser extent.It is an as desirable as difficult task to implement a variety of search algorithms...
-
Article
Editorial
