The ´Grand Challenge´ in Informatics: Engineering Software-Intensive Systems

The science of information and information processing, informatics comprises many areas and includes principles of computing, storing, communicating, and visualizing information, and formalisms to describe information-processing procedures. The development and production of information-processing systems is based on software support systems such as software tools or product data repositories. Software and systems engineering is thus the key discipline for constructing information-processing systems. In particular, software and systems engineering addresses issues such as requirements engineering, architectural design, implementation, reliability engineering, and long-term maintenance. Developing a methodology for specifying and verifying software-intensive systems poses a grand challenge that a broad stream of research must address