Metadata
Author: EurLex-2
Data
Danish[da]
- genanvendelige systemkomponenter, automatiseret generering af programmer af hoej kvalitet til tidstro systemer, formelle teknikker og metoder.
German[de]
- Wiederverwendbare Systemkomponenten, automatische Generierung von hochwertigen Programmen für Echtzeitsysteme, formale Techniken und Methoden.
Greek[el]
- τα στοιχεία συστημάτων πολλαπλών χρήσεων, την αυτόματη δημιουργία προγραμμάτων υψηλής ποιότητας για συστήματα πραγματικού χρόνου, τις τυπικές τεχνικές και μεθόδους.
English[en]
- reusable system components, automated generation of high quality programmes for real-time systems, formel techniques and methods.
Spanish[es]
- componentes de sistemas reutilizables, generación automática de programas de alta calidad para sistemas de tiempo real, técnicas y métodos formales.
French[fr]
- composants de systèmes réutilisables, production automatisée de programmes de haute qualité pour les systèmes en temps réel, techniques et méthodes formelles.
Italian[it]
- i componenti riutilizzabili di sistemi, la produzione automatica di programmi di qualità elevata per sistemi in tempo reale, tecniche e metodi formali.
Dutch[nl]
- ontwikkeling van herbruikbare systeemcomponenten, automatisch genereren van hoogwaardige programma's voor real-time-systemen, formele technieken en methoden;
Portuguese[pt]
- os componentes de sistema reutilizáveis, a geração automatizada de programas de grande qualidade para sistemas em tempo real, as técnicas e métodos formais.