Formal Methods at the Crossroads. from Panacea to Foundational Support: 10th Anniversary Colloquium of UNU/IIST, the International Institute for ... ... Portugal, March 18-20, 2002, Revised Papers - Softcover

Softcover

ISBN 10: 3662185423 ISBN 13: 9783662185421

Publisher: Springer, 2014

Synopsis

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.

Edition details

• Publisher: Springer
• Publication date: 2014
• Language: English
• ISBN 10: 3662185423
• ISBN 13: 9783662185421
• Binding: Paperback
• Number of pages: 476
• Editor: Aichernig Bernhard K, Maibaum Tom