A propos de CDSoft

CDSoft propose des solutions pour vos besoins informatiques :

• conversion de données (analyse syntaxique, formatage, ...)
• vérification de données

basées sur des technologies simples, rapides, robustes, portables and libres :

• langages portables et open source (pour Unix, GNU/Linux, MS Windows, ...) :
  • script : Python, Lua, ...
  • langages compilés comme C ou C++ lorsque les performances sont critiques (mais Lua est déjà très rapide par exemple)
• format de documentation portable et open source :
  • format de travail : reStructuredText
  • format de diffusion : HTML, PDF (ou même reStructuredText)
  • vérification automatique de la couverture des éxigences de spécification/conception/code/test

Nous utilisons des technologies et des formats libres et open source pour éviter les problèmes de maintenance et réutilisation :

• sécurité (tout est open source, vous maitrisez tous les ingrédients)
• durabilité (tout est open source, standard, commenté et documenté, vous connaissez tous les secrets de fabrication et pouvez modifier vos logiciels)

Comment commander un logiciel ?

1. Fournissez-nous par email :
   • une description de vos besoins (environement, technologies souhaitées, ...)
   • planning
2. Nous vous proposerons une solution :
   • notre compréhension du besoin
   • solution technique
   • planning et chiffrage
3. Si notre proposition est acceptée :
   • nous produisons le logiciel, les documentations et les tests
   • nous pouvons aussi livrer les versions intermédiaires.

Les payements par virement bancaire ou par PayPal sont acceptés.

Expérience

CDSoft a une solide expérience dans des domaines critiques :

• aéronautique (DO178B niveau A):
  • simulateurs de DSP pour vérifier :
    • l'utilisation des piles
    • l'allocation correcte du temps dans des applications temps réel
  • divers logiciels de vérifation :
    • règles de codage
    • vérification automatique de résultats de test

mais aussi sur des problèmes plus génériques :

• analyse de données :
  • moteurs d'analyse syntaxique écrits en Python:
    • TPG, SP: Analyseurs récursifs descendants en Python
  • filtres bayésiens :
    • PopF: Filtrage d'emails non solicités (filtres statistiques, proxy POP3)
  • outils pour programmeurs :
    • Calc: une calculatrice en Python basée sur SP
    • Calculadoira: une calculatrice en BonaLuna basée sur un parser écrit en Lua
• langages et environnement de programmation :
  • BonaLuna: un interpréteur Lua et quelques modules utiles dans un unique exécutable
  • MSYS: une distribution modulaire de MSYS/MinGW pour Windows
• outils systèmes :
  • configuration d'Openbox basée sur Lua pour remplacer la configuration XML
  • Save: un script de sauvegarde Python embarqué sur un périphérique USB contenant divers systèmes GNU/Linux et un antivirus

et une formation en Intelligence Artificielle :

• Dialogue: Modélisation du processus cognitif du dialogue humain