Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
ада
Связанные издания:
Shlaer/Mellor or Rumbaugh? A Discussion of Two Popular Object-Oriented Methods
Some Architectural Features of Ada Systems Affecting Defects
Specification and Implementation of a Tree-Abiding Interface for Ada
Specification de types abstraits pour programmes paralleles au moyen de reseaux de Petri a predicats implantation en Ada
Static Analysis of Ada Programs
Strategy on the Use of SPARK
Structuring Iterators to Encourage Reuse
Support for Distributed Systems in Ada 9X
Supporting Deadlines and EDF Scheduling in Ada
Symbolic Reaching Definitions Analysis of Ada Programs
Synchronization of the Producer/Consumer Problem using Semaphores, Monitores, and the Ada Rendezvous
Systematic Transformation of Interface Specifications
Teaching Real-Time Systems Around a Digital Model Railroad Using Ada
Tenth Anniversary. Ada Design Language/ CASE Developers Matrix
Ten Years of Tool Based Ada Compiler Validations
Testing Ada Abstract Data Types using Formal Specifications
Testing of Ada Compiler Diagnostics
Testing Safety Critical Ada Code Using Non Real Time Testing
Test Methods and Tools for SOHO Mass Memnory Unit Software
The Ada Compiler Evaluation System
The AECSS Fault Tolerant Distributed Ada Tested and Application
The Ceiling Protocol in Multi-moded Real-Time Systems
The Impact of Ada 9X Incompatibilities on Projects Converting from Ada 83
The Impact of Ada on MIS applications
The Impact of an Ada Run-time System`s Performance Characteristics on Scheduling Models
The Language Compatible Arithmetic Standard and Ada
The Olympus Attitude and Orbital Control System. A Case Study in Hard Real-time System Design and Implementation
Theoretical Tools for Ada Semantics Analysis
The PCTE Contribution to Ada Programming Support Environments (APSE)
The Practical Application of Safety Techniques on an Ada based Project
The Ravenscar Tasking Profile for High Integrity Real-Time Programs
The Standard UML-Ada Profile
The Task Dependence Net in Ada Software Development
The Use of Ada, GNAT.Spitbol, and XML in the Sol-Eu-Net Project
Time Management for Ada Real-Time Systems
Time-Related Issues in Ada 9X
Timing Analysis of Ada Tasking Programs
Tool for Computing Cohesion and Coupling in Ada Programs: DIANA Dependent Part
Tool Support for High Integrity Ada Software
Toward a Secondary Standard for Hard Real-Time Ada: The Real-Time Rapporteur Group (ISO/JTC1/SC22/WG9/RRG) JTC 1.22.35
Towards Validation of Generic Elementary Functions and Other Standard Ada Numerics Packages
Training Realtime Simulation Developers in Object-Oriented Methods with Ada
Translating an AdaPT Partition to Ada9x
Translating Time Petri Net Structures into Ada 95 Statements
(True) Polymorphism in SPARK2000
Trying to Make Reuse Happen on a Large Project
Tuning Ada Programs in Advance
Types That Reflect Changes of Object Usability
Use and Abuse of Exceptions - 12 Guidelines for Proper Exception Handling
Using Ada in Interactive Digital Television Systems
« первая
‹ предыдущая
1
2
3
4
5
6
7
8
следующая ›
последняя »