Il est utilisable depuis les plates-formes CAVEAT ou FRAMA-C pour la preuve de programmes en langage C, depuis la boîte à outils WHY pour les programmes Java, et depuis SPARK pour les programmes ADA.
It can be used from CAVEAT or FRAMA-C platforms to prove programs written in C, from the WHY toolbox for Java programs, and from SPARK for ADA programs.
HtmlUnit est un "browser pour les programmes Java".
HtmlUnit is a "browser for Java programs".
le Skin Look and Feel (SkinLF) et ses thèmes qui permettent de dessiner et installer facilement des skins pour les programmes java, voir la licence.
the Skin Look and Feel and its themes that let you design and install skins easily for java softs, see license
Le projet PADECL a mis en œuvre des analyses de haut niveau de la sécurité, de la fiabilité et des performances pour les programmes Java, et développé une infrastructure initiale d'analyse des programmes en Javascript.
PADECL implemented high-level security, reliability and performance-oriented analyses for Java programmes, and developed initial infrastructure for Javascript programme analysis.
Potentially sensitive or inappropriate content
Examples are used only to help you translate the word or expression searched in various contexts. They are not selected or validated by us and can contain inappropriate terms or ideas. Please report examples to be edited or not to be displayed. Potentially sensitive, inappropriate or colloquial translations are usually marked in red or in orange.
