Traduction de «Langage de conception de programmes Ada » (Français → Anglais) :

TERMINOLOGIE

langage de conception de programmes Ada
Ada program design language [ Ada PDL ]

langage de conception de programmes basé sur Ada
Ada-based program design language [ Ada-based PDL ]

langage de conception de programmes [ PDL | langage de conception logicielle ]
program design language [ PDL | programme design language ]

TRADUCTIONS EN CONTEXTE

- Logiciels, grilles de calcul, architecture de distribution de services, sécurité et fiabilité: technologies, outils et méthodes pour la conception et la validation de logiciels, architectures et systèmes de couches intermédiaires de grande qualité, dynamiques et sûrs, constituant la base de services à forte intensité de connaissances, y compris leur fourniture en tant que ressources de base et pour des services de distribution et des technologies, des outils et des méthodes de conception et de validation de grande qualité ; infrastructures axées sur les services, interopérables et sans échelle, virtualisation de ressources, y compris des plateformes spécifiques à certains domaines, selon une optique de grille, systèmes d'exploitation réseau-centriques; logiciels ouverts; plateformes ouvertes et approches collaboratives pour le développement et la validation de logiciels, y compris les logiciels libres/ouverts; services et systèmes; outils de composition, y compris les langages de programmation ; maîtrise des comportements émergents de systèmes complexes; amélioration de la fiabilité et de la résistance de systèmes et services à grande échelle, distribués et connectés par intermittence; systèmes et services sûrs et fiables, notamment contrôle d'accès et authentification respectueux de la vie privée, politiques de sécurité et de confiance dynamiques, métamodèles de fiabilité et de confiance; introduction de modèles de logiciels dans l'industrie .
- Software, Grids, service-distribution architecture, security and dependability: technologies, tools and methods for developing and validating high-quality dynamic and trusted software, architectures and middleware systems that underpin knowledge-intensive services, including their provision as utilities and for high-quality distribution services and technologies, tools and methods for development and validation ; service-oriented, interoperable and scale-free infrastructures, grid-like virtualisation of resources, including domain-specific platforms, network-centric operating systems; open source software; open platforms and collaborative approaches for development and validation of software including free, libre and open source software , services and systems; composition tools including programming languages ; mastering emergent behaviours of complex systems; improving dependability and resilience of large-scale, distributed and intermittently connected systems and services; secure and trusted systems and services, including privacy-aware access control and authentication, dynamic security and trust policies, dependability and trust meta-models; introduction of software models in industry .

- Logiciels, grilles de calcul, architecture de distribution de services, sécurité et fiabilité: technologies, outils et méthodes pour la conception et la validation de logiciels, architectures et systèmes de couches intermédiaires de grande qualité, dynamiques et sûrs, constituant la base de services à forte intensité de connaissances, y compris leur fourniture en tant que ressources de base et pour des services de distribution et des technologies, des outils et des méthodes de conception et de validation de grande qualité; infrastructures axées sur les services, interopérables et sans échelle, virtualisation de ressources, y compris des plateformes spécifiques à certains domaines, selon une optique de grille, systèmes d’exploitation réseau-centriques; logiciels ouverts; plateformes ouvertes et approches collaboratives pour le développement et la validation de logiciels, y compris les logiciels libres/ouverts; services et systèmes; outils de composition, y compris les langages de programmation; maîtrise des comportements émergents de systèmes complexes; amélioration de la fiabilité et de la résistance de systèmes et services à grande échelle, distribués et connectés par intermittence; systèmes et services sûrs et fiables, notamment contrôle d’accès et authentification respectueux de la vie privée, politiques de sécurité et de confiance dynamiques, métamodèles de fiabilité et de confiance; introduction de modèles de logiciels dans l’industrie.
- Software, Grids, service-distribution architecture, security and dependability: technologies, tools and methods for developing and validating high-quality dynamic and trusted software, architectures and middleware systems that underpin knowledge-intensive services, including their provision as utilities and for high-quality distribution services and technologies, tools and methods for development and validation; service-oriented, interoperable and scale-free infrastructures, grid-like virtualisation of resources, including domain-specific platforms, network-centric operating systems; open source software; open platforms and collaborative approaches for development and validation of software including free, libre and open source software, services and systems; composition tools including programming languages; mastering emergent behaviours of complex systems; improving dependability and resilience of large-scale, distributed and intermittently connected systems and services; secure and trusted systems and services, including privacy-aware access control and authentication, dynamic security and trust policies, dependability and trust meta-models; introduction of software models in industry.