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
Kaydedildi:
| Müşterek Yazar: | |
|---|---|
| Diğer Yazarlar: | , |
| Materyal Türü: | Livre numérique |
| Dil: | Anglais |
| Baskı/Yayın Bilgisi: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Seri Bilgileri: | Lecture notes in computer science
2757 |
| Konular: | |
| Online Erişim: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Not: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • 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, Bernhard K. Aichernig, Tom Maibaum (eds.), Berlin, Springer, 2003, 1 vol. (XIV-453 p.), Lecture notes in computer science, 3-540-20527-6 • Formal Methods at the Crossroads. From Panacea to Foundational Support, Texte imprimé, 9783662185421 |
İçindekiler:
- 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.