Вы здесь

Главная

ада

Связанные издания:

Ada Software for Teaching Modern Computer Arithmetic
Ada: The Choice for 92: Proc./Ada-Europe Intern.Conf., Athens, Greece, May 1991
Ada - The Project. The DoD High Order Language Working Group
Adding Design by Contract to the Ada Language
Adding Implicit Invocation to Languages: Three Approaches
Adequacy of the New Generation of Multithreading Operating Systems to the Ada Tasking Model
A Discussion on the Ada Run-Time Environment in Safety Critical Application
AFADA, A Measurement Tool for Ada
A Formal Definition of Priority in CSP
A Formal Model of the Ada Ravenscar Tasking Profile; Protected Objects
A Graphical Environment for GLADE
A High Resolution Event Timer Ada Package for DOS Environments
A Method for Mapping an Analysis to a Reusable Design
A Model of Ada Programs for Static Deadlock Detection in Polynominal Time
A Model Railroad for Ada and Software Engineering
An Ada95 Implementation of a Network Coordination Language with Code Mobility
An Ada95 Programming Style Checker Using the GNAT ASIS Implementation
An Ada95 Solution for Certification of Embedded Safety Critical Applications
An Ada 9X Subset for Inheritance-Based Reuse and Its Translation to Ada 83 (Part 1)
An Ada 9X Subset for Inheritance-Based Reuse and Its Translation to Ada 83 (Part 2)
An Ada Binding to the IEEE 1003.1q (POSIX Tracing) Standard
An Ada Math Library for Real-Time Avonics
An Ada Package for Multi-Precision Integer Arithmetic
An Adaptation of our Ada95/02 Binding to Provide Persistence to the Java Languages: Sharing and Handling of Data between Heterogeneous Applications Using Persistence
An Ada Real-time Executive Rate Scheduler
An Ada Solution To The General Mutual Exclusion Problem
An Alternative Asynchronous Transfer of Control in Ada 9X
Analysis, Design and Implementation of an Object-Oriented Framework in Ada95
Analysis of an Ada System Using Coloured Petri Nets and Occurence Graphs
Analyzing Ada Tasking Deadlocks and Livelocks Using Extended Petri Nets
An Approach to Benchmarking Ada Compilation Systems
An Architectural Perspective of Real-Time Ada Applications
An Efficient Compiler Validation Method for Ada 9X
A New Approach for HOOD/Ada Mapping
An Experimental Ada Programming Support Environment in the HP CASEdge Integration Framework
An Imperical Study of Software Reuse with Special Attention to Ada
An Invitation to Ada 2005
An Overview of Real-Time Issues and Ada
A Portable and Reusable RDBMS Interface for Ada
A Portable Generic Elementary Function Package in Ada and an Accurate Test Suite
Applying Ada9X to Two Real Time Applications: A Case Study
Applying Dimensional Analysis
Applying Teamwork/Ada and RAISE for Developing an Air Traffic Control Application
Approved Ada Uniformity Issues
A Quality Model for the Ada Standard Container Library
A Randomized Test Approach to Testing Safety Critical Ada Code
Are Booleans safe?
Ariane 5: Development of the On-Board Software
A Round Robin Scheduling Policy for Ada
A Set-Oriented Program Description Language for Ada