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 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.
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
Contenu potentiellement sensible ou inapproprié
Les exemples vous aident à traduire le mot ou l’expression cherchés dans des contextes variés. Ils ne sont ni sélectionnés ni validés par nous et peuvent contenir des mots ou des idées inappropriés. Signalez des exemples à modifier ou à retirer. Les traductions potentiellement sensibles, inappropriées ou familières sont généralement marquées de rouge ou d’orange.
