Skip to Main content
Number of documents

3

Frédéric Tuong


2015   

Journal articles1 document

  • Frédéric Tuong, Burkhart Wolff. A Meta-Model for the Isabelle API. Archive of Formal Proofs, 2015. ⟨hal-01214254⟩

Conference papers1 document

  • Achim D. Brucker, Frédéric Tuong, Burkhart Wolff. Featherweight OCL: A Proposal for a Machine-Checked Formal Semantics for OCL 2.5. 15th International Workshop on OCL and Textual Modeling co-located with 18th International Conference on Model Driven Engineering Languages and Systems, Oct 2015, Karlsruhe, Germany. pp.199. ⟨hal-01213440⟩

Directions of work or proceedings1 document

  • Achim D. Brucker, Marina Egea, Martin Gogolla, Frédéric Tuong. Proceedings of the 15th International Workshop on OCL and Textual Modeling co-located with 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), Ottawa, Canada, September 28, 2015. Achim D. Brucker and Marina Egea and Martin Gogolla and Frédéric Tuong. Ottawa, Canada. 1512, CEUR-WS.org, 2015, CEUR Workshop Proceedings. ⟨hal-01321502⟩