A guided tour through a window oriented debugging environment for embedded real time Ada systems (Englisch)
- Neue Suche nach: Gilles, J.
- Neue Suche nach: Ford, R.
- Neue Suche nach: Gilles, J.
- Neue Suche nach: Ford, R.
In:
Third International IEEE Conference on Ada Applications and Environments
;
93-103
;
1988
-
ISBN:
- Aufsatz (Konferenz) / Print
-
Titel:A guided tour through a window oriented debugging environment for embedded real time Ada systems
-
Weitere Titelangaben:Eine Fuehrung durch eine fensterorientierte Debuggingumgebung fuer eingebettete Realzeitsysteme in Ada
-
Beteiligte:Gilles, J. ( Autor:in ) / Ford, R. ( Autor:in )
-
Erschienen in:
-
Verlag:
- Neue Suche nach: IEEE Comput. Soc. Press
-
Erscheinungsort:Washington
-
Erscheinungsdatum:1988
-
Format / Umfang:11 Seiten, 11 Quellen
-
ISBN:
-
DOI:
-
Medientyp:Aufsatz (Konferenz)
-
Format:Print
-
Sprache:Englisch
-
Schlagwörter:
-
Datenquelle:
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.
- 0_1
-
Third International IEEE Conference on Ada Applications and Environments (Cat. No.87CH2470-3)| 1988
- 3
-
Symbolic execution-based verification of Ada tasking programsDillon, L.K. et al. | 1988
- 15
-
An interleaving symbolic execution approach for the formal verification of Ada programs with taskingHarrison, L.J. / Kemmerer, R.A. et al. | 1988
- 28
-
Three techniques supporting the developing of large prototype systemsWileden, J.C. / Clarke, L.A. / Wolf, A.L. et al. | 1988
- 39
-
Development of a high performance, memory based, relational database system using AdaBirch, R.S. / Bolwell, A. / Maloney, J.J. et al. | 1988
- 45
-
Packaging fault-tolerant software with AdaMorris, D.S. et al. | 1988
- 55
-
The Benchmark Generator Tool: measuring Ada compilation system performanceRainier, S.R. / Reagan, T.P. / Salwin, A.E. et al. | 1988
- 63
-
A system for evaluating Ada implementations using synthesized benchmarksKnight, J.C. / Crowe, R.H. et al. | 1988
- 71
-
A tool set for distributed Ada programmingMcFarland, G. / Brennan, P. / Litke, J.D. / Restivo, M.S. et al. | 1988
- 93
-
A guided tour through a window oriented debugging environment for embedded real time Ada systemsGilles, J. / Ford, R. et al. | 1988
- 105
-
Seer: a graphical retrieval system for reusable Ada software modulesLatour, L. / Johnson, E. et al. | 1988
- 117
-
Ada translation tools development: mappings from FORTRAN to AdaParsian, M. et al. | 1988
- 137
-
Generating multitasking Ada programs from high-level specificationsShi, Y. / Prywes, N. et al. | 1988
- 810
-
Gaia: an object-oriented framework for an Ada environmentVines, D. / King, T. et al. | 1988