Proceedings of the third international IEEE conference on Ada applications and environments
Conference
·
OSTI ID:5865435
These proceedings collect papers on software applications. Topics include: An interleaving symbolic execution approach for the formal verification of Ada programs with tasking, fault-tolerant Ada software, object-oriented frameworks for Ada, and generating multitasking Ada programs from high-level specifications.
- OSTI ID:
- 5865435
- Report Number(s):
- CONF-8805166-
- Resource Relation:
- Conference: 3. IEEE international conference on Ada applications and environments, Manchester, NH, USA, 23-25 May 1988
- Country of Publication:
- United States
- Language:
- English
Similar Records
International Software for Strategic Systems Conference, 3rd, Huntsville, AL, Feb. 27, 28, 1990, Proceedings
Proceedings of the IEEE Society's ninth international computer software and applications conference
Simulation in Ada; Proceedings of the Eastern Simulation Conference, Norfolk, VA, March 3-8, 1985
Conference
·
Mon Jan 01 00:00:00 EST 1990
·
OSTI ID:5865435
Proceedings of the IEEE Society's ninth international computer software and applications conference
Conference
·
Tue Jan 01 00:00:00 EST 1985
·
OSTI ID:5865435
Simulation in Ada; Proceedings of the Eastern Simulation Conference, Norfolk, VA, March 3-8, 1985
Conference
·
Tue Jan 01 00:00:00 EST 1985
·
OSTI ID:5865435
Related Subjects
99 GENERAL AND MISCELLANEOUS//MATHEMATICS, COMPUTING, AND INFORMATION SCIENCE
ADA
COMPUTER CODES
ARRAY PROCESSORS
SUPERCOMPUTERS
TASK SCHEDULING
EXECUTIVE CODES
LEADING ABSTRACT
PARALLEL PROCESSING
ABSTRACTS
COMPUTERS
DATA PROCESSING
DIGITAL COMPUTERS
DOCUMENT TYPES
PROCESSING
PROGRAMMING
PROGRAMMING LANGUAGES
990210* - Supercomputers- (1987-1989)
ADA
COMPUTER CODES
ARRAY PROCESSORS
SUPERCOMPUTERS
TASK SCHEDULING
EXECUTIVE CODES
LEADING ABSTRACT
PARALLEL PROCESSING
ABSTRACTS
COMPUTERS
DATA PROCESSING
DIGITAL COMPUTERS
DOCUMENT TYPES
PROCESSING
PROGRAMMING
PROGRAMMING LANGUAGES
990210* - Supercomputers- (1987-1989)