Accéder directement au contenu

Rémi Douence

3
Documents
Affiliations actuelles
  • 495900
  • 489559

Domaines de recherche

Génie logiciel [cs.SE]

Compétences

Functional Languages Semantics Certified Programming Haskell Agda Java Object-Oriented Languages

Publications

"massimo-tisi"

Lazy Evaluation for OCL

Massimo Tisi , Rémi Douence , Dennis Wagelaar
Models 2015: 15th International Workshop on OCL and Textual Modeling, Sep 2015, Ottawa, Canada
Communication dans un congrès hal-01221072v1