E-Book, Englisch, Band 2757, 462 Seiten, eBook
Aichernig / Maibaum Formal Methods at the Crossroads. From Panacea to Foundational Support
Erscheinungsjahr 2011
ISBN: 978-3-540-40007-3
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
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
E-Book, Englisch, Band 2757, 462 Seiten, eBook
Reihe: Lecture Notes in Computer Science
ISBN: 978-3-540-40007-3
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
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.
