Translation for "formal techniques" to french

Formal techniques

• techniques formelles

Translation examples

techniques formelles

People who are doing research on formal techniques hope to introduce a more rigorous approach to software development and to help software engineers finally resolve this crisis.
Les spécialistes qui mènent des travaux de recherche sur les techniques formelles espèrent pouvoir introduire une méthode plus rigoureuse d'élaboration des logiciels pour aider les ingénieurs de logiciels à venir à bout de cette crise.

Under this programme, in 2001, UNU/IIST continued its two research projects on theory and design methods for real-time systems and formal techniques for software development. UNU/IIST research projects help the international academic community to further develop software technology and to help developing countries strengthen their research and development capacities.
Dans le cadre de ce programme, l'UNU/IIST a poursuivi, en 2001, ses deux projets de recherche intitulés : << Théorie et méthodes de conception de systèmes en temps réel >> et << Techniques formelles d'élaboration de logiciels >>, qui ont pour objet d'aider les universités du monde entier à mettre au point de nouvelles méthodes d'élaboration de logiciels et d'appuyer les efforts faits par les pays en développement pour améliorer leurs capacités en matière de recherche-développement.