The 'Grand Challenge' in Informatics: Engineering Software-Intensive Systems Export

@article{citeulike:5984666, abstract = {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}, author = {Broy, M.}, citeulike-article-id = {5984666}, citeulike-linkout-0 = {http://dx.doi.org/10.1109/MC.2006.358}, citeulike-linkout-1 = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=1707638}, day = {09}, doi = {10.1109/MC.2006.358}, journal = {Computer}, month = {October}, number = {10}, pages = {72--80}, posted-at = {2009-10-29 09:23:41}, priority = {4}, title = {The 'Grand Challenge' in Informatics: Engineering Software-Intensive Systems}, url = {http://dx.doi.org/10.1109/MC.2006.358}, volume = {39}, year = {2006} }

TY - JOUR ID - citeulike:5984666 L3 - citeulike-article-id:5984666 N2 - 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 IS - 10 JF - Computer EP - 80 TI - The 'Grand Challenge' in Informatics: Engineering Software-Intensive Systems VL - 39 SP - 72 AU - Broy, M PY - 2006/10/09/ UR - http://dx.doi.org/10.1109/MC.2006.358 ER -