Coordination Technologies for Just-in-Time Integration (Englisch)
- Neue Suche nach: Fiadeiro, J. L.
- Neue Suche nach: United Nations University
- Neue Suche nach: Fiadeiro, J. L.
- Neue Suche nach: Aichernig, B. K.
- Neue Suche nach: Maibaum, T. S. E.
- Neue Suche nach: United Nations University
In:
United Nations University; International Institute for Software Technology; Formal methods at the crossroads from panacea to foundational support 10th anniversary colloquium of UNU/IIST
;
308-321
;
2003
-
ISBN:
-
ISSN:
- Aufsatz (Konferenz) / Print
-
Titel:Coordination Technologies for Just-in-Time Integration
-
Beteiligte:
-
Kongress: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
-
Erschienen in:LECTURE NOTES IN COMPUTER SCIENCE ; 308-321
-
Verlag:
- Neue Suche nach: Springer-Verlag
-
Erscheinungsort:Berlin
-
Erscheinungsdatum:01.01.2003
-
Format / Umfang:14 pages
-
ISBN:
-
ISSN:
-
Medientyp:Aufsatz (Konferenz)
-
Format:Print
-
Sprache:Englisch
-
Schlagwörter:
-
Datenquelle:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
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/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