Concurrency, Specification and Programming
Revised Selected Papers from the 29th International Workshop on Concurrency, Specification and Programming (CS&P'21), Berlin, Germany
Page
%P
27 Result(s)
within
Bernd-Holger Schlingloff
-
Article
Open AccessGuest editorial to the special section on SEFM’22
-
Chapter and Conference Paper
A Cooperative Decentralised Optimization Method for Vehicle Platooning
This paper deals with optimization strategies in cooperative System-of-Systems. Intelligent systems which want to collaborate need to align their behaviour with respect to individual and group goals. We derive...
-
Book
-
Book Series
-
Chapter
Correction to: Formal Methods for Software Engineering
.
-
Book
-
Book and Conference Proceedings
Software Engineering and Formal Methods
20th International Conference, SEFM 2022, Berlin, Germany, September 26–30, 2022, Proceedings
-
Chapter
Formal Methods
Formal Methods are one means in software engineering that can help to ensure that a computer system meets its requirements. Using examples from space industry and every programmer’s daily life, we carefully de...
-
Chapter
Specification-Based Testing
In this chapter, we apply Formal Methods to software and systems testing. After some introductory remarks on the importance of software testing in general, and formal rigour in particular, we give a typical ex...
-
Chapter
Logics for Software Engineering
Logic is the basis for almost all formal methods in computer science. In this chapter, we introduce some of the most commonly used logics by examples. It serves as a reference for subsequent chapters. We start...
-
Chapter and Conference Paper
Rooting Formal Methods Within Higher Education Curricula for Computer Science and Software Engineering — A White Paper —
This white paper argues that formal methods need to be better rooted in higher education curricula for computer science and software engineering programmes of study. To this end, it advocates
-
Chapter and Conference Paper
Teaching Model Checking via Games and Puzzles
Puzzles and games give a strong motivation for humans to deal with formal objects: people spend hours and hours in seemingly useless board games, moving pebbles or cards according to prescribed rules, trying t...
-
Article
Open AccessTowards a framework for certification of reliable autonomous systems
A computational system is called autonomous if it is able to make its own decisions, or take its own actions, without human supervision or control. The capability and spread of such systems have reached the point...
-
Chapter and Conference Paper
Specification, Synthesis and Validation of Strategies for Collaborative Embedded Systems
A collaborative embedded system is an autonomous component of a cyber-physical system which cooperates with other such systems in order to accomplish a common goal. In this paper, we report on approaches for t...
-
Article
Special issue on engineering collaborative embedded systems
-
Chapter and Conference Paper
Cyber-Physical Systems Engineering
Building complex embedded- and cyber-physical systems requires a holistic view on both product and process. The constructed system must interact with its physical environment and its human users in a smooth wa...
-
Chapter and Conference Paper
Monitoring Systems with Extended Live Sequence Charts
A problem with most runtime verification techniques is that the monitoring specification formalisms are often complex. In this paper, we propose an extension of live sequence charts (LSCs) which avoids this pr...
-
Chapter and Conference Paper
Deriving Input Partitions from UML Models for Automatic Test Generation
In this paper, we deal with model-based automatic test generation. We show how to use UML state machines, UML class diagrams, and OCL expressions to automatically derive partitions of input parameter value ran...
-
Chapter and Conference Paper
Improving Test Coverage for UML State Machines Using Transition Instrumentation
We discuss the problem of generating test suites from UML state machines and present a method to extend the capabilities of existing automated test case generators. Current tools provide only a limited coverag...
-
Chapter
Softwarequalität — Geschichte und Trends
Kaum eine andere Wissenschaft hat solch einen massiven Einfluss auf den Alltag wie die Informatik. Unsere Umwelt ist von Informatiksystemen geprägt, und wir verlassen uns in zunehmendem Maße auf die korrekte F...
