第一图书网

Formal Methods at the Crossroads. From Panacea to Foundational Support 十字路口中的形式方法

Aichernig, Bernhard K.; Maibaum, Tom; Springer
出版时间:

2004-01-22  

出版社:

Springer  

作者:

Aichernig, Bernhard K.; Maibaum, Tom;  

页数:

455  

内容概要

This volume is devoted to the 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of the United Nations University, as well as to the memory of Armando Haeberer, who passed away while he was working on the preparation of this book in February 2003. The volume starts with a special paper by Tom Maibaum recollecting Armando Haeberer's life and work. The second part presents work done by members of UNU/IIST as well as a paper on the history of the institute. The subsequent topical sections present key contributions by leading researchers and thus assess the state of the art in software engineering and its engineering and scientific principles, from models to software, real-time systems, and verification. All in all, the book is a unique survey of the power and potential of formal methods in software engineering.

书籍目录

In Memoriam Armando Martfn HaebererWork at UNU/IIST UNU and UNU/IIST Contract-Based Testing The Development of the RAISE Tools An Algebraic Approach to the VERILOG Programming Real-Time Systems Development with Duration Calculi: An Overview X2Rel: An XML Relation Language with Formal SemanticsAt the Crossroads Where, Exactly, Is Software Development? From Formal Techniques to Well-Founded Software Development Methods Towards the Verifying Compiler A Grand Challenge Proposal for Formal Methods: A Verified Stack "What Is an Infrastructure?" - Towards an Informatics Answer A Formal Basis for Some Dependability NotionsFrom Models to Software Multi-view Modeling of Software Systems An Executable Specification Language Based on Message Sequence Charts Graph-Based Models of Internetworking Systems Software Development by Refinement Formal Methods within a Totally Functional Approach to Programming Coordination Technologies for Just-in-Time IntegrationReal-Time Systems Real-Time Process Algebra and Its Applications Making Timed Automata Communicate A Tool Architecture for the Next Generation of UPPAALVerification Verification by Abstraction Combining Decision Procedures A Theory of Hints in Model Checking Type Systems for Concurrent ProgramsAuthor Index


图书封面

广告

下载页面


Formal Methods at the Crossroads. From Panacea to Foundational Support 十字路口中的形式方法 PDF格式下载



相关图书