A Graphical Environment for GLADE (English)
- New search for: Martel, E.
- New search for: Guerra, F.
- New search for: Miranda, J.
- New search for: Hernandez, L.
- New search for: Ada-Europe
- New search for: Martel, E.
- New search for: Guerra, F.
- New search for: Miranda, J.
- New search for: Hernandez, L.
- New search for: Rosen, J.-P.
- New search for: Strohmeier, A.
- New search for: Ada-Europe
In:
Reliable software technologies; Reliable software technologies-Ada-Europe 2003
;
182-195
;
2003
-
ISBN:
-
ISSN:
- Conference paper / Print
-
Title:A Graphical Environment for GLADE
-
Contributors:Martel, E. ( author ) / Guerra, F. ( author ) / Miranda, J. ( author ) / Hernandez, L. ( author ) / Rosen, J.-P. / Strohmeier, A. / Ada-Europe
-
Conference:International conference; 8th, Reliable software technologies; Reliable software technologies-Ada-Europe 2003 ; 2003 ; Toulouse, France
-
Published in:LECTURE NOTES IN COMPUTER SCIENCE ; 182-195
-
Publisher:
- New search for: Springer
-
Place of publication:Berlin , New York
-
Publication date:2003-01-01
-
Size:14 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.
- 1
-
An Invitation to Ada 2005Leroy, P. / Ada-Europe et al. | 2003
- 24
-
Modules for Crosscutting ModelsMezini, M. / Ostermann, K. / Ada-Europe et al. | 2003
- 45
-
Software Fault Tolerance: An OverviewKienzle, J. / Ada-Europe et al. | 2003
- 68
-
High Integrity RavenscarAmey, P. / Dobbing, B. / Ada-Europe et al. | 2003
- 80
-
Adding Temporal Annotations and Associated Verification to Ravenscar ProfileBurns, A. / Lin, T.-M. / Ada-Europe et al. | 2003
- 92
-
Impact of a Restricted Tasking Profile: The Case of the GOCE Platform Application SoftwareHolsti, N. / Langbacka, T. / Ada-Europe et al. | 2003
- 102
-
Booch's Ada vs. Liskov's Java: Two Approaches to Teaching Software DesignLamm, E. / Ada-Europe et al. | 2003
- 113
-
A Comparison of the Asynchronous Transfer of Control Features in Ada and the Real-Time Specification for Java™Brosgol, B. M. / Wellings, A. / Ada-Europe et al. | 2003
- 129
-
Exposing Memory Corruption and Finding Leaks: Advanced Mechanisms in AdaBriot, E. / Gasperoni, F. / Dewar, R. / Craeynest, D. / Waroquiers, P. / Ada-Europe et al. | 2003
- 142
-
Busy Wait AnalysisBlieberger, J. / Burgstaller, B. / Scholz, B. / Ada-Europe et al. | 2003
- 153
-
Eliminating Redundant Range Checks in GNAT Using Symbolic EvaluationBlieberger, J. / Burgstaller, B. / Ada-Europe et al. | 2003
- 168
-
Quasar: A New Tool for Concurrent Ada Programs AnalysisEvangelista, S. / Kaiser, C. / Pradat-Peyre, J.-F. / Rousseau, P. / Ada-Europe et al. | 2003
- 182
-
A Graphical Environment for GLADEMartel, E. / Guerra, F. / Miranda, J. / Hernandez, L. / Ada-Europe et al. | 2003
- 196
-
The Use of Ada, GNAT.Spitbol, and XML in the Sol-Eu-Net ProjectAlves, M. A. / Jorge, A. / Heaney, M. / Ada-Europe et al. | 2003
- 208
-
Transactions and Groups as Generic Building Blocks for Software Fault TolerancePatino-Martinez, M. / Jimenez-Peris, R. / Romanovsky, A. / Ada-Europe et al. | 2003
- 220
-
Getting System Metrics Using POSIX Tracing ServicesMinguet, A. E. / Garces, V. L. / Fornes, A. G. / Lorente, A. C. i. / Ada-Europe et al. | 2003
- 232
-
Some Architectural Features of Ada Systems Affecting DefectsEvanco, W. M. / Verner, J. / Ada-Europe et al. | 2003
- 246
-
Evidential Volume Approach for CertificationKuball, S. / Hughes, G. / Ada-Europe et al. | 2003
- 258
-
A Survey of Physical Unit Handling Techniques in AdaGrein, C. / Kazakov, D. A. / Wilson, F. / Ada-Europe et al. | 2003
- 271
-
Charles: A Data Structure Library for Ada95Heaney, M. / Ada-Europe et al. | 2003
- 283
-
A Quality Model for the Ada Standard Container LibraryFranch, X. / Marco, J. / Ada-Europe et al. | 2003
- 297
-
Experiences on Developing and Using a Tool Support for Formal SpecificationMikkonen, T. / Ada-Europe et al. | 2003
- 309
-
A Behavioural Notion of Subtyping for Object-Oriented Programming in SPARK95Lin, T.-M. / McDermid, J. A. / Ada-Europe et al. | 2003
- 322
-
Running Ada on Real-Time LinuxMasmano, M. / Real, J. / Ripoll, I. / Crespo, A. / Ada-Europe et al. | 2003
- 334
-
A Round Robin Scheduling Policy for AdaBurns, A. / Harbour, M. G. / Wellings, A. J. / Ada-Europe et al. | 2003
- 344
-
A Proposal to Integrate the POSIX Execution-Time Clocks into Ada 95Miranda, J. / Harbour, M. G. / Ada-Europe et al. | 2003
- 359
-
A Test Environment for High Integrity Software DevelopmentAlonso, A. / de la Puente, J. A. / Zamorano, J. / Ada-Europe et al. | 2003
- 368
-
Normalized Restricted Random TestingChan, K. P. / Chen, T. Y. / Towey, D. / Ada-Europe et al. | 2003
- 382
-
Testing Safety Critical Ada Code Using Non Real Time TestingJeppu, Y. V. / Karunakar, K. / Subramanyam, P. S. / Ada-Europe et al. | 2003
- 394
-
The Standard UML-Ada ProfileThom, F. / Ada-Europe et al. | 2003
- 405
-
HRT-UML: Taking HRT-HOOD onto UMLMazzini, S. / D Alessandro, M. / Di Natale, M. / Domenici, A. / Lipari, G. / Vardanega, T. / Ada-Europe et al. | 2003
- 417
-
A Case Study in Performance Evaluation of Real-Time Teleoperation Software Architectures Using UML-MASTOrtiz, F. / Alvarez, B. / Pastor, J. A. / Sanchez, P. / Ada-Europe et al. | 2003