Ansymo
External content site (publications, course materials and artefacts)
Home (main site)
News and events
BENEVOL2017
BENEVOL 2017 - Agenda
Publications
Courses
Masters Thesis
Project Software Engineering (1BAC)
Software Engineering (3BAC)
Software Reengineering (Master)
Software Testing (Master)
Tools
Experiments
Presentations
Other
Home
›
Publications
Publications
List
Filter
Export 2 results:
XML
BibTex
Sort by:
Author
Title
[
Type
]
Year
Filters:
Author
is
Benoît Combemale
[Clear All Filters]
Book Chapter
Meyers, B
,
Deshayes R
,
Lucio L
,
Syriani E
,
Vangheluwe H
,
Wimmer M
. 2014.
ProMoBox: A Framework for Generating Domain-Specific Property Languages
.
Software Language Engineering. 8706:1-20.
Abstract
XML
BibTex
Workshop Paper
Amrani, M
,
Lúcio L
,
Selim GMK
,
Combemale B
,
Dingel J
,
Vangheluwe H
,
Traon YL
,
Cordy JR
. 2012.
A Tridimensional Approach for Studying the Formal Verification of Model Transformations
.
IEEE International Conference on Software Testing, Verification and Validation (ICST). :921-928.
XML
BibTex