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 4 results:
XML
BibTex
Sort by: [
Author
]
Title
Type
Year
Filters:
First Letter Of Last Name
is
A
[Clear All Filters]
[A]
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
[
Show ALL
]
A
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
Amaral, V
,
Hardebolle C
,
Vangheluwe H
,
Lengyel L
,
Bunus P
. 2011.
Recent Advances in Multi-Paradigm Modeling
.
Electronic Communications of the EASST. 50
XML
BibTex
Amaral, V
,
Hardebolle C
,
Vangheluwe H
,
Lengyel L
,
Bunus P
. 2011.
Summary of the Workshop on Multi-Paradigm Modelling: Concepts and Tools
.
Models in Software Engineering - Workshops and Symposia at MODELS 2011, Wellington, New Zealand, Reports and Revised Selected Papers. 7167:83-88.
XML
BibTex
Adams, B
,
De Schutter K
,
Zaidman A
,
Demeyer S
,
Tromp H
,
Meuter WD
. 2009.
Using Aspect Orientation in Legacy Environments for Reverse Engineering using Dynamic Analysis - An Industrial Experience Report
.
Journal of Systems and Software. 82:668–684.
Abstract
XML
BibTex