1 option
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 / edited by Bernhard K. Aichernig, Tom Maibaum.
LIBRA Q341 .P7 2004
Available from offsite location
- Format:
- Book
- Series:
- Computer Science (Springer-11645)
- Lecture notes in computer science 0302-9743 ; 2757.
- Lecture Notes in Computer Science, 0302-9743 ; 2757
- Language:
- English
- Subjects (All):
- Software engineering.
- Computer science.
- Programming languages (Electronic computers).
- Computer logic.
- Logic, Symbolic and mathematical.
- 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.
- Local Subjects:
- 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.
- Physical Description:
- 1 online resource (XIV, 462 pages).
- Edition:
- First edition 2003.
- Contained In:
- Springer eBooks
- Place of Publication:
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003.
- System Details:
- text file PDF
- 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.
- Other Format:
- Printed edition:
- ISBN:
- 978-3-540-40007-3
- 9783540400073
- Access Restriction:
- Restricted for use by site license.
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.