Schwerpunkte
Schwerpunkte Today’s development of modern software-based systems is characterized by vaguely defined problems as the result of some requirements engineering, typically expressed in natural language or [...] or, in the best case, in a semi-formal notation, implemented on top of large software libraries or other third party code as an overall system of millions of lines of code to run on a highly complex enterprise [...] be formally verified in cases where the problem is not stated precisely upfront? In fact, in most software projects, adapting the development to the changing needs revealed last-minute is the dominating …
