Data Portal @ linkeddatafragments.org

Matches in Harvard for { <http://id.lib.harvard.edu/aleph/009295581/catalog> ?p ?o. }

• catalog abstract "This volume records the 10th Anniversary Colloquium of UNU/IIST, the Int- nationalInstituteforSoftwareTechnologyoftheUnitedNationsUniversity,held in Lisbon, Portugal, March 18–21, 2002. Armando Haeberer, then Chairman of the board of UNU/IIST, conceived the idea of an international meeting in ce- brationoftheinstitute’s10thanniversary. HewasworkinginLisbonatthistime andheproposedtoholdthemeetingthere,notleastbecausethePortugueseg- ernment had been one of the major sponsors of the institute, right from the very beginning. The aim of the meeting, organized by the Board of UNU/IIST, was twofold. First, the institute’s research work should be re-assessed and diss- inated. Second, the future role of UNU/IIST’s research area, formal methods, should be discussed. Role of Formal Methods. Over at least three decades of development, the c- ception of what role formal methods should play in software engineering seems to have changed dramatically, in?uenced by both advocates and detractors. - ginning with a fundamentalist view that contested the genuineness of any ‘n- formal’ practice, dismissing it as an inappropriate contribution to the as yet ill-de?ned corpus of so-called software engineering, the conception of what this role should be has apparently evolved to a less naive engineering viewpoint. - day, as these theoretical methods acquire a new maturity and breadth of use, many of their advocates appear to be questioning their direct application by software practitioners, often considering it to be nonmandatory, and sometimes even nonadvisable. It appears that, together with the said maturation of the theoretical results and constructions, the perspective of their role within a far more complex picture of the software development activity has also matured.".
• catalog contributor b13118673.
• catalog contributor b13118674.
• catalog contributor b13118675.
• catalog created "2003.".
• catalog date "2003".
• catalog date "2003.".
• catalog dateCopyrighted "2003.".
• catalog description "In Memoriam Armando Martin Haeberer / Tom Maibaum -- UNU and UNU/IIST / Zhou Chaochen -- Contract-Based Testing / Bernhard K. Aichernig -- The Development of the RAISE Tools / Chris George -- An Algebraic Approach to the VERILOG Programming / He Jifeng -- Real-Time Systems Development with Duration Calculi: An Overview / Dang Van Hung.".
• catalog description "Includes bibliographical references and index.".
• catalog description "This volume records the 10th Anniversary Colloquium of UNU/IIST, the Int- nationalInstituteforSoftwareTechnologyoftheUnitedNationsUniversity,held in Lisbon, Portugal, March 18–21, 2002. Armando Haeberer, then Chairman of the board of UNU/IIST, conceived the idea of an international meeting in ce- brationoftheinstitute’s10thanniversary. HewasworkinginLisbonatthistime andheproposedtoholdthemeetingthere,notleastbecausethePortugueseg- ernment had been one of the major sponsors of the institute, right from the very beginning. The aim of the meeting, organized by the Board of UNU/IIST, was twofold. First, the institute’s research work should be re-assessed and diss- inated. Second, the future role of UNU/IIST’s research area, formal methods, should be discussed. Role of Formal Methods. Over at least three decades of development, the c- ception of what role formal methods should play in software engineering seems to have changed dramatically, in?uenced by both advocates and detractors. - ginning with a fundamentalist view that contested the genuineness of any ‘n- formal’ practice, dismissing it as an inappropriate contribution to the as yet ill-de?ned corpus of so-called software engineering, the conception of what this role should be has apparently evolved to a less naive engineering viewpoint. - day, as these theoretical methods acquire a new maturity and breadth of use, many of their advocates appear to be questioning their direct application by software practitioners, often considering it to be nonmandatory, and sometimes even nonadvisable. It appears that, together with the said maturation of the theoretical results and constructions, the perspective of their role within a far more complex picture of the software development activity has also matured.".
• catalog extent "xiv, 453 p. :".
• catalog identifier "3540205276 (alk. paper)".
• catalog isPartOf "Lecture notes in computer science ; 2757".
• catalog issued "2003".
• catalog issued "2003.".
• catalog language "eng".
• catalog publisher "Berlin ; New York : Springer-Verlag,".
• catalog subject "005.1 22".
• catalog subject "Computer science.".
• catalog subject "Logic design.".
• catalog subject "QA76.758 F67 2003".
• catalog subject "Software engineering Congresses.".
• catalog subject "Software engineering.".
• catalog tableOfContents "In Memoriam Armando Martin Haeberer / Tom Maibaum -- UNU and UNU/IIST / Zhou Chaochen -- Contract-Based Testing / Bernhard K. Aichernig -- The Development of the RAISE Tools / Chris George -- An Algebraic Approach to the VERILOG Programming / He Jifeng -- Real-Time Systems Development with Duration Calculi: An Overview / Dang Van Hung.".
• catalog title "Formal methods at the crossroads : from panacea to foundational support : 10th anniversary colloquium of UNU/IIST, the International Institute for Software Technology of the United Nations University, Lisbon, Portugal, March 18-20, 2002 : revised papers / Bernhard K. Aichernig, Tom Maibaum (eds.).".
• catalog type "Conference proceedings. fast".
• catalog type "Lissabon (2002) swd".
• catalog type "text".