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

476 Seiten, Taschenbuch

Kurzbeschreibung des Verlags

In Memoriam Armando Martín Haeberer.- In Memoriam Armando Martín Haeberer.- Work 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 Semantics.- At 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 Notions.- From 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 Integration.- Real-Time Systems.- Real-Time Process Algebra and Its Applications.- Making Timed Automata Communicate.- A Tool Architecture for the Next Generation of Uppaal.- Verification.- Verification by Abstraction.- Combining Decision Procedures.- A Theory of Hints in Model Checking.- Type Systems for Concurrent Programs.

• Reihe: Lecture Notes in Computer Science
• Themen: Informatik und Informationstechnologie Informatik Theoretische Informatik
• ISBN: 9783540205272
• Sprache: Englisch
• Erscheinungsdatum: 18.11.2003
• Größe: 235 x 155 mm
• Verlag: Springer
• Herausgegeben von: Tom Maibaum, Bernhard K. Aichernig