Formal methods at the crossroads : from panacea to foundational support : 10th Anniversary Colloquium of UNI/IISI, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18 - 20, 2002 ; revised papers (English)

2003

How to get this document?

Table of contents conference proceedings

The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.

26
UNU and UNU/IIST
Chaochen, Z. / United Nations University | 2003
34
Contract-Based Testing
Aichernig, B. K. / United Nations University | 2003
49
The Development of the RAISE Tools
George, C. / United Nations University | 2003
65
An Algebraic Approach to the VERILOG Programming
Jifeng, H. / United Nations University | 2003
81
Real-Time Systems Development with Duration Calculi: An Overview
Van Hung, D. / United Nations University | 2003
97
X2Rel: An XML Relation Language with Formal Semantics
Janowski, T. / United Nations University | 2003
115
Where, Exactly, Is Software Development?
Jackson, M. / United Nations University | 2003
132
From Formal Techniques to Well-Founded Software Development Methods
Astesiano, E. / Reggio, G. / Cerioli, M. / United Nations University | 2003
151
Towards the Verifying Compiler
Hoare, T. / United Nations University | 2003
161
A Grand Challenge Proposal for Formal Methods: A Verified Stack
Moore, J. S. / United Nations University | 2003
173
"What Is an Infrastructure?" - Towards an Informatics Answer
Bjorner, D. / United Nations University | 2003
191
A Formal Basis for Some Dependability Notions
Jones, C. B. / United Nations University | 2003
207
Multi-view Modeling of Software Systems
Broy, M. / United Nations University | 2003
226
An Executable Specification Language Based on Message Sequence Charts
Roychoudhury, A. / Thiagarajan, P. S. / United Nations University | 2003
242
Graph-Based Models of Internetworking Systems
Ferrari, G. / Montanari, U. / Tuosto, E. / United Nations University | 2003
267
Software Development by Refinement
Pavlovic, D. / Smith, D. R. / United Nations University | 2003
287
Formal Methods within a Totally Functional Approach to Programming
Bailes, P. A. / Kemp, C. J. M. / United Nations University | 2003
308
Coordination Technologies for Just-in-Time Integration
Fiadeiro, J. L. / United Nations University | 2003
322
Real-Time Process Algebra and Its Applications
Wang, Y. / United Nations University | 2003
337
Making Timed Automata Communicate
Chen, J. / Lin, H. / United Nations University | 2003
352
A Tool Architecture for the Next Generation of Uppaal
David, A. / Behrmann, G. / Larsen, K. G. / Yi, W. / United Nations University | 2003
367
Verification by Abstraction
Shankar, N. / United Nations University | 2003
381
Combining Decision Procedures
Manna, Z. / Zarba, C. G. / United Nations University | 2003
423
A Theory of Hints in Model Checking
Kaltenbach, M. / Misra, J. / United Nations University | 2003
439
Type Systems for Concurrent Programs
Kobayashi, N. / United Nations University | 2003
Feedback