X2Rel: An XML Relation Language with Formal Semantics (English)
- New search for: Janowski, T.
- New search for: United Nations University
- New search for: Janowski, T.
- New search for: Aichernig, B. K.
- New search for: Maibaum, T. S. E.
- New search for: United Nations University
-
ISBN:
-
ISSN:
- Conference paper / Print
-
Title:X2Rel: An XML Relation Language with Formal Semantics
-
Contributors:
-
Conference:Anniversary colloquium; 10th, United Nations University; International Institute for Software Technology; Formal methods at the crossroads from panacea to foundational support 10th anniversary colloquium of UNU/IIST ; 2002 ; Lisbon
-
Published in:LECTURE NOTES IN COMPUTER SCIENCE ; 97-114
-
Publisher:
- New search for: Springer-Verlag
-
Place of publication:Berlin
-
Publication date:2003-01-01
-
Size:18 pages
-
ISBN:
-
ISSN:
-
Type of media:Conference paper
-
Type of material:Print
-
Language:English
-
Keywords:
-
Source:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
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/IISTChaochen, Z. / United Nations University et al. | 2003
- 34
-
Contract-Based TestingAichernig, B. K. / United Nations University et al. | 2003
- 49
-
The Development of the RAISE ToolsGeorge, C. / United Nations University et al. | 2003
- 65
-
An Algebraic Approach to the VERILOG ProgrammingJifeng, H. / United Nations University et al. | 2003
- 81
-
Real-Time Systems Development with Duration Calculi: An OverviewVan Hung, D. / United Nations University et al. | 2003
- 97
-
X2Rel: An XML Relation Language with Formal SemanticsJanowski, T. / United Nations University et al. | 2003
- 115
-
Where, Exactly, Is Software Development?Jackson, M. / United Nations University et al. | 2003
- 132
-
From Formal Techniques to Well-Founded Software Development MethodsAstesiano, E. / Reggio, G. / Cerioli, M. / United Nations University et al. | 2003
- 151
-
Towards the Verifying CompilerHoare, T. / United Nations University et al. | 2003
- 161
-
A Grand Challenge Proposal for Formal Methods: A Verified StackMoore, J. S. / United Nations University et al. | 2003
- 173
-
"What Is an Infrastructure?" - Towards an Informatics AnswerBjorner, D. / United Nations University et al. | 2003
- 191
-
A Formal Basis for Some Dependability NotionsJones, C. B. / United Nations University et al. | 2003
- 207
-
Multi-view Modeling of Software SystemsBroy, M. / United Nations University et al. | 2003
- 226
-
An Executable Specification Language Based on Message Sequence ChartsRoychoudhury, A. / Thiagarajan, P. S. / United Nations University et al. | 2003
- 242
-
Graph-Based Models of Internetworking SystemsFerrari, G. / Montanari, U. / Tuosto, E. / United Nations University et al. | 2003
- 267
-
Software Development by RefinementPavlovic, D. / Smith, D. R. / United Nations University et al. | 2003
- 287
-
Formal Methods within a Totally Functional Approach to ProgrammingBailes, P. A. / Kemp, C. J. M. / United Nations University et al. | 2003
- 308
-
Coordination Technologies for Just-in-Time IntegrationFiadeiro, J. L. / United Nations University et al. | 2003
- 322
-
Real-Time Process Algebra and Its ApplicationsWang, Y. / United Nations University et al. | 2003
- 337
-
Making Timed Automata CommunicateChen, J. / Lin, H. / United Nations University et al. | 2003
- 352
-
A Tool Architecture for the Next Generation of UppaalDavid, A. / Behrmann, G. / Larsen, K. G. / Yi, W. / United Nations University et al. | 2003
- 367
-
Verification by AbstractionShankar, N. / United Nations University et al. | 2003
- 381
-
Combining Decision ProceduresManna, Z. / Zarba, C. G. / United Nations University et al. | 2003
- 423
-
A Theory of Hints in Model CheckingKaltenbach, M. / Misra, J. / United Nations University et al. | 2003
- 439
-
Type Systems for Concurrent ProgramsKobayashi, N. / United Nations University et al. | 2003