[Proceedings 1988] The Third International IEEE Conference on Ada Applications and Environments
Latest Publications

TOTAL DOCUMENTS

14

(FIVE YEARS 0)

H-INDEX

2

(FIVE YEARS 0)

Published By IEEE Comput. Soc. Press

0818608080

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

The Benchmark Generator Tool: measuring Ada compilation system performance

[Proceedings 1988] The Third International IEEE Conference on Ada Applications and Environments ◽

10.1109/ada.1988.4785 ◽

2003 ◽

Author(s):

S.R. Rainier ◽

T.P. Reagan ◽

A.E. Salwin

Keyword(s):

System Performance

Download Full-text

Symbolic execution-based verification of Ada tasking programs

[Proceedings 1988] The Third International IEEE Conference on Ada Applications and Environments ◽

10.1109/ada.1988.4780 ◽

2003 ◽

Author(s):

L.K. Dillon

Keyword(s):

Symbolic Execution

Download Full-text

Development of a high performance, memory based, relational database system using Ada

[Proceedings 1988] The Third International IEEE Conference on Ada Applications and Environments ◽

10.1109/ada.1988.4783 ◽

2003 ◽

Author(s):

R.S. Birch ◽

A. Bolwell ◽

J.J. Maloney

Keyword(s):

Relational Database ◽

High Performance ◽

Database System ◽

Relational Database System

Download Full-text

Generating multitasking Ada programs from high-level specifications

[Proceedings 1988] The Third International IEEE Conference on Ada Applications and Environments ◽

10.1109/ada.1988.4794 ◽

2003 ◽

Author(s):

Y. Shi ◽

N. Prywes

Keyword(s):

Download Full-text

Packaging fault-tolerant software with Ada

[Proceedings 1988] The Third International IEEE Conference on Ada Applications and Environments ◽

10.1109/ada.1988.4784 ◽

2003 ◽

Author(s):

D.S. Morris

Keyword(s):

Download Full-text

An interleaving symbolic execution approach for the formal verification of Ada programs with tasking

[Proceedings 1988] The Third International IEEE Conference on Ada Applications and Environments ◽

10.1109/ada.1988.4781 ◽

2003 ◽

Author(s):

L.J. Harrison ◽

R.A. Kemmerer

Keyword(s):

Formal Verification ◽

Symbolic Execution

Download Full-text

Seer: a graphical retrieval system for reusable Ada software modules

[Proceedings 1988] The Third International IEEE Conference on Ada Applications and Environments ◽

10.1109/ada.1988.4792 ◽

2003 ◽

Author(s):

L. Latour ◽

E. Johnson

Keyword(s):

Retrieval System ◽

Software Modules

Download Full-text

Ada translation tools development: mappings from FORTRAN to Ada

[Proceedings 1988] The Third International IEEE Conference on Ada Applications and Environments ◽

10.1109/ada.1988.4793 ◽

2003 ◽

Author(s):

M. Parsian

Keyword(s):

Translation Tools

Download Full-text

A guided tour through a window oriented debugging environment for embedded real time Ada systems

[Proceedings 1988] The Third International IEEE Conference on Ada Applications and Environments ◽

10.1109/ada.1988.4789 ◽

2003 ◽

Author(s):

J. Gilles ◽

R. Ford

Keyword(s):

Real Time ◽

Download Full-text

Gaia: an object-oriented framework for an Ada environment

[Proceedings 1988] The Third International IEEE Conference on Ada Applications and Environments ◽

10.1109/ada.1988.4788 ◽

2003 ◽

Author(s):

D. Vines ◽

T. King

Keyword(s):

Object Oriented

Download Full-text