Willkommen, schön sind Sie da!
Logo Ex Libris

Formal Methods at the Crossroads. From Panacea to Foundational Support

  • E-Book (pdf)
  • 462 Seiten
(0) Erste Bewertung abgeben
Bewertungen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
This volume is devoted to the 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of the... Weiterlesen
CHF 100.90
Download steht sofort bereit
Informationen zu E-Books
E-Books eignen sich auch für mobile Geräte (sehen Sie dazu die Anleitungen).
E-Books von Ex Libris sind mit Adobe DRM kopiergeschützt: Erfahren Sie mehr.
Weitere Informationen finden Sie hier.
Bestellung & Lieferung in eine Filiale möglich

Beschreibung

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.



Inhalt

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.

Produktinformationen

Titel: Formal Methods at the Crossroads. From Panacea to Foundational Support
Untertitel: 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
Editor:
EAN: 9783540400073
Format: E-Book (pdf)
Hersteller: Springer Berlin Heidelberg
Genre: IT & Internet
Veröffentlichung: 29.03.2011
Digitaler Kopierschutz: Wasserzeichen
Anzahl Seiten: 462

Weitere Bände aus der Buchreihe "Lecture Notes in Computer Science"