24 Result(s)

Chapter and Conference Paper

Rigorous Engineering of Collective Adaptive Systems Introduction to the 4^th 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...

Martin Wirsing, Rocco De Nicola… in Leveraging Applications of Formal Methods,… (2022)

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

Martin Wirsing, Rocco De Nicola… in Leveraging Applications of Formal Methods,… (2020)

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

Stefan Jähnichen, Rocco De Nicola… in Leveraging Applications of Formal Methods,… (2018)

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

Rocco De Nicola, Stefan Jähnichen… in Leveraging Applications of Formal Methods,… (2018)

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

Jan Sürmeli, Stefan Jähnichen… in Leveraging Applications of Formal Methods,… (2018)

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

Stefan Jähnichen, Martin Wirsing in Leveraging Applications of Formal Methods,… (2016)

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

Stefan Jähnichen, Martin Wirsing in Leveraging Applications of Formal Methods,… (2016)

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

Alexandra Mehlhase, Stefan Jähnichen… in Leveraging Applications of Formal Methods,… (2016)

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

Stefan Jähnichen, Klaus Brieβ… in Autonomous Systems – Self-Organization, Ma… (2008)

Chapter and Conference Paper

Simulation-Based Testing of Embedded Software in Space Applications

Sergio Montenegro, Stefan Jähnichen… in Embedded Systems – Modeling, Technology, a… (2006)

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

Matthias Hoche, Stefan Jähnichen in Principles and Practice of Constraint Prog… (2005)

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

Henry Müller, Stefan Jähnichen in Principles and Practice of Constraint Prog… (2005)

Article

Was, bitte, bedeutet Objektorientierung?

(25/1) vorgebracht haben [5]. Rein äußerlich enthält jener Artikel einige Ungenauigkeiten und Fehler, die eine Richtigstellung verlangen.

Stefan Jähnichen, Stephan Herrmann in Informatik-Spektrum (2002)

Chapter and Conference Paper

A Two-Layered Approach to Support Systematic Software Development

We present two concepts that help software engineers to perform different software development activities systematically. The concept of an agenda serves to represent technical process knowledge. An agenda consis...

Maritta Heisel, Stefan Jähnichen in Requirements Targeting Software and Systems Engineering (1998)