Accueil

Semafor

Environnement de programmation numérique et formelle

Version 0.3 - © 1999 Evolane

Présentation

Semafor est un environnement de programmation Fortran, intégrant des outils originaux de calcul formel. Il vous permet d'introduire dans vos codes numériques une sémantique mathématique de niveau supérieur, afin de traduire plus facilement les modèles mathématiques sous-jacents.

  • différentiation formelle automatique
  • développement limité
  • analyse des dépendances
  • réécriture de codes
  • éditeur syntaxique avec coloration
  • assistant pour l'élaboration d'interfaces graphiques multi-plateformes
  • outils de visualisation de données 3D

Semafor fonctionne indifféremment sous Windows (95/98/2000/NT/XP) ou la plupart des plateformes de type Un*x.

Licence

Le logiciel Semafor n'est plus supporté. Si vous souhaitez cependant obtenir plus d'information concernant ce produit, ou si vous souhaitez étudier la possibilité de développer un partenariat de recherche ou de développement avec notre équipe, nous vous invitons à prendre contact avec nous.