Copyright © Philip M. Parker, INSEAD. Terms of Use.

DEBUGGING AND SPECIFICATION OF ADA REAL TIME EMBEDDED SYSTEMS

Specialty Definition: DEBUGGING AND SPECIFICATION OF ADA REAL TIME EMBEDDED SYSTEMS

DomainDefinition

Computing

Esprit project which intends to assist developers of real-time embedded systems in Ada by investigating formal methods and by designing software and hardware tools. Source: European Union. (references)

Source: compiled by the editor from various references; see credits.

Top     

Abbreviations & Acronyms: DEBUGGING AND SPECIFICATION OF ADA REAL TIME EMBEDDED SYSTEMS

The following table is compiled from various sources, across various languages. When English abbreviations or acronyms come from a non-English source, this is noted.
EntrySourceExpressionField
DESCARTESEnglishDebugging and specification of Ada real time embedded systemsN/A

Source: compiled by the editor, based on several corpora (additional references).

Top     

Modern Translation: DEBUGGING AND SPECIFICATION OF ADA REAL TIME EMBEDDED SYSTEMS

Language Translations for "DEBUGGING AND SPECIFICATION OF ADA REAL TIME EMBEDDED SYSTEMS"; alternative meanings/domain in parentheses.

Danish

  

DESCARTES (DESCARTES), fejlfinding og specifikation af tidstro indbyggede Ada-systemer (DESCARTES). (various references)

   

Dutch

  

DESCARTES (DESCARTES), foutenopsporing in en specificatie van real-time ingebedde systemen in Ada (DESCARTES). (various references)

   

Finnish

  

sulautettujen tosiaikaisten Ada-järjestelmien virheenpoisto ja määrittely(DESCARTES) (DESCARTES). (various references)

   

French

  

DESCARTES (DESCARTES), Mise au point et spécification de systèmes ADA intégrés et temps réel (DESCARTES). (various references)

   

German

  

DESCARTES (DESCARTES), Fehlerbeseitigung und Spezifikation von in ADA-Echtzeit eingebetteten Systemen (DESCARTES). (various references)

   

Greek 

  

διόρθωση λαθών και καθορισμός προδιαγραφών σε ένθετα συστήματα πραγματικού χρόνου σε ADA (DESCARTES). (various references)

   

Italian

  

DESCARTES (DESCARTES), messa a punto e specifica di sistemi ADA integrati ed in tempo reale (DESCARTES). (various references)

   

Pig Latin

  

ebuggingday anday ecificationspay ofay adaay ealray imetay embeddeday ystemssay.(various references)

   

Portuguese

  

DESCARTES (DESCARTES), depuração e especificação de sistemas Ada integrados e em tempo real (DESCARTES). (various references)

   

Spanish

  

DESCARTES (DESCARTES), depuración y especificación de sistemas en tiempo real incorporados para Ada (DESCARTES). (various references)

   

Swedish

  

DESCARTES (DESCARTES). (various references)

Source: compiled by the editor from various translation references.

Top     



INDEX

1. Translations: Modern
2. Abbreviations
3. Acronyms
4. Bibliography


  

Copyright © Philip M. Parker, INSEAD. Terms of Use.