Search Results - "[Proceedings 1988] The Third International IEEE Conference on Ada Applications and Environments"
-
1
Seer: a graphical retrieval system for reusable Ada software modules
Published in [Proceedings 1988] The Third International IEEE Conference on Ada Applications and Environments (1988)“…The authors describe Seer, a student's engineering environment for reusable software. It is also a retrieval and evaluation system that is both flexible and…”
Get full text
Conference Proceeding
-
2
An interleaving symbolic execution approach for the formal verification of Ada programs with tasking
Published in [Proceedings 1988] The Third International IEEE Conference on Ada Applications and Environments (1988)“…The use of symbolic execution to prove partial correctness and general safety properties of Ada programs is considered. Past efforts are extended by…”
Get full text
Conference Proceeding -
3
Symbolic execution-based verification of Ada tasking programs
Published in [Proceedings 1988] The Third International IEEE Conference on Ada Applications and Environments (1988)“…Symbolic execution has been used successfully with sequential programs for generating the verification conditions required for correctness proofs. It is shown…”
Get full text
Conference Proceeding -
4
A guided tour through a window oriented debugging environment for embedded real time Ada systems
Published in [Proceedings 1988] The Third International IEEE Conference on Ada Applications and Environments (1988)“…Embedded real-time control systems typically require the use of special debugging environments, which consist of a special debugging processor that hosts the…”
Get full text
Conference Proceeding -
5
The Benchmark Generator Tool: measuring Ada compilation system performance
Published in [Proceedings 1988] The Third International IEEE Conference on Ada Applications and Environments (1988)“…A Benchmark Generator Tool (BGT) has been developed to generate compilation benchmarks that uncover limits in Ada compilation systems. The benchmarks, which…”
Get full text
Conference Proceeding -
6
Generating multitasking Ada programs from high-level specifications
Published in [Proceedings 1988] The Third International IEEE Conference on Ada Applications and Environments (1988)“…A method for automatic generation of large-scale multitasking systems in an Ada programming environment is presented. The method allows the human designers to…”
Get full text
Conference Proceeding -
7
A tool set for distributed Ada programming
Published in [Proceedings 1988] The Third International IEEE Conference on Ada Applications and Environments (1988)“…A tool set for a distributed Ada programmable testbed is described. The testbed includes an Ada compiler to produce distributed programs and a unique tool set…”
Get full text
Conference Proceeding -
8
A system for evaluating Ada implementations using synthesized benchmarks
Published in [Proceedings 1988] The Third International IEEE Conference on Ada Applications and Environments (1988)“…A system is described that allows project designers to evaluate the suitability of an Ada implementation for a particular application using tailored…”
Get full text
Conference Proceeding -
9
Three techniques supporting the developing of large prototype systems
Published in [Proceedings 1988] The Third International IEEE Conference on Ada Applications and Environments (1988)“…Experiments with various techniques that can facilitate prototyping are reported. It has been recognized that three of these used most extensively represent…”
Get full text
Conference Proceeding -
10
Packaging fault-tolerant software with Ada
Published in [Proceedings 1988] The Third International IEEE Conference on Ada Applications and Environments (1988)“…The ability of the Ada programming language to support a software-engineering approach to building fault-tolerant applications systems by distributed redundant…”
Get full text
Conference Proceeding -
11
Ada translation tools development: mappings from FORTRAN to Ada
Published in [Proceedings 1988] The Third International IEEE Conference on Ada Applications and Environments (1988)“…The problem addressed is how existent syntactically and semantically correct Fortran programs can be translated into Ada programs (library units). A system…”
Get full text
Conference Proceeding -
12
Development of a high performance, memory based, relational database system using Ada
Published in [Proceedings 1988] The Third International IEEE Conference on Ada Applications and Environments (1988)“…An attempt is made to describe the development, in Ada, of a memory-based relational database system to support a high-performance, real-time wagering system…”
Get full text
Conference Proceeding -
13
Gaia: an object-oriented framework for an Ada environment
Published in [Proceedings 1988] The Third International IEEE Conference on Ada Applications and Environments (1988)“…Gaia is a framework that provides the basis for the high degree of integration required by Ada environments that will involve complex data structures,…”
Get full text
Conference Proceeding