X2Rel: An XML Relation Language with Formal Semantics (English)
- New search for: Janowski, Tomasz
- New search for: Janowski, Tomasz
In:
Formal Methods at the Crossroads. From Panacea to Foundational Support
2
;
97-114
;
2003
- Article/Chapter (Book) / Electronic Resource
-
Title:X2Rel: An XML Relation Language with Formal Semantics
-
Contributors:Janowski, Tomasz ( author )
-
Published in:Lecture Notes in Computer Science ; 2757, 2 ; 97-114
-
Publisher:
- New search for: Springer Berlin Heidelberg
-
Place of publication:Berlin, Heidelberg
-
Publication date:2003-01-01
-
Size:18 pages
-
ISBN:
-
ISSN:
-
DOI:
-
Type of media:Article/Chapter (Book)
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Source:
Table of contents eBook
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.
- 1
-
In Memoriam Armando Martín HaebererMaibaum, Tom et al. | 2003
- 26
-
UNU and UNU/IISTChaochen, Zhou et al. | 2003
- 34
-
Contract-Based TestingAichernig, Bernhard K. et al. | 2003
- 49
-
The Development of the RAISE ToolsGeorge, Chris et al. | 2003
- 65
-
An Algebraic Approach to the VERILOG ProgrammingJifeng, He et al. | 2003
- 81
-
Real-Time Systems Development with Duration Calculi: An OverviewHung, Dang et al. | 2003
- 97
-
X2Rel: An XML Relation Language with Formal SemanticsJanowski, Tomasz et al. | 2003
- 115
-
Where, Exactly, Is Software Development?Jackson, Michael et al. | 2003
- 132
-
From Formal Techniques to Well-Founded Software Development MethodsAstesiano, Egidio / Reggio, Gianna / Cerioli, Maura et al. | 2003
- 151
-
Towards the Verifying CompilerHoare, Tony et al. | 2003
- 161
-
A Grand Challenge Proposal for Formal Methods: A Verified StackMoore, J. Strother et al. | 2003
- 173
-
“What Is an Infrastructure?” Towards an Informatics AnswerBjørner, Dines et al. | 2003
- 191
-
A Formal Basis for Some Dependability NotionsJones, Cliff B. et al. | 2003
- 207
-
Multi-view Modeling of Software SystemsBroy, Manfred et al. | 2003
- 226
-
An Executable Specification Language Based on Message Sequence ChartsRoychoudhury, Abhik / Thiagarajan, P. S. et al. | 2003
- 242
-
Graph-Based Models of Internetworking SystemsFerrari, Gianluigi / Montanari, Ugo / Tuosto, Emilio et al. | 2003
- 267
-
Software Development by RefinementPavlovic, Dusko / Smith, Douglas R. et al. | 2003
- 287
-
Formal Methods within a Totally Functional Approach to ProgrammingBailes, Paul A. / Kemp, Colin J. M. et al. | 2003
- 308
-
Coordination Technologies for Just-in-Time IntegrationFiadeiro, José Luiz et al. | 2003
- 322
-
Real-Time Process Algebra and Its ApplicationsWang, Yingxu et al. | 2003
- 337
-
Making Timed Automata CommunicateChen, Jing / Lin, Huimin et al. | 2003
- 352
-
A Tool Architecture for the Next Generation of UppaalDavid, Alexandre / Behrmann, Gerd / Larsen, Kim G. / Yi, Wang et al. | 2003
- 367
-
Verification by AbstractionShankar, Natarajan et al. | 2003
- 381
-
Combining Decision ProceduresManna, Zohar / Zarba, Calogero G. et al. | 2003
- 423
-
A Theory of Hints in Model CheckingKaltenbach, Markus / Misra, Jayadev et al. | 2003
- 439
-
Type Systems for Concurrent ProgramsKobayashi, Naoki et al. | 2003