Research activities of Christine Choppy

  • Spécifications formelles et applications au développement de logiciel.
    Spécifications algébriques
    Environnements de développement de spécifications
    Prototypage à partir de spécifications formelles - Techniques d'évaluation mixte (ou hétérogène ou hybride)
    Retro-ingénierie à l'aide de spécifications formelles
  • other pages with references to my papers
    DBLP
    at IRISA
    at Bremen
  • My coauthors web pages:
    Gianna Reggio
    Maritta Heisel
    Laure Petrucci
    Pascal Poizat
    Michel Bidoit
    • Christine Choppy
    Last modified: Wed Nov 2 11:06:07 CET 2005