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 /

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 /

Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Aichernig, Bernhard K. (Editor, http://id.loc.gov/vocabulary/relators/edt), Maibaum, Tom (Editor, http://id.loc.gov/vocabulary/relators/edt)
Format: Electronic eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003.
Edition:1st ed. 2003.
Series:Lecture Notes in Computer Science, 2757
Subjects:
Software engineering.
Computer science.
Programming languages (Electronic computers).
Computer logic.
Mathematical logic.
Software Engineering/Programming and Operating Systems.
Software Engineering.
Computer Science, general.
Programming Languages, Compilers, Interpreters.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Online Access:Full Text via HEAL-Link
Table of Contents:
  • 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.

Similar Items