All modern industries rely on large and complex software systems. In order to construct such large systems in a systematic manner, the focus of the development methodologies has switched in the last two decades from functional to structural issues. Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to the development of large systems requires a greater emphasis on specification, modeling, and validation techniques supporting the concepts of reusability and modifiability, and their...

​Innovations are a critical success factor for organizations to survive. Nowadays possibilities of information and communication technologies facilitate the use of IT-based tools for the integration of external innovators into the innovation process of organizations. These tools, like innovation communities, innovation contests, innovation toolkits, and innovation market places, are subsumed under the term open innovation platforms (OIPs). The skills required to design and manage OIPs differ significantly from those for a default website. Hence, typical lifecycle models cannot be...