From Formal Techniques to Well-Founded Software Development Methods (Englisch)

Wie erhalte ich diesen Titel?

Inhaltsverzeichnis Konferenzband

Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.

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