ThesisSources

UML Class Diagram Alloy Model

 

Alloy Metamodel in Ecore

 

Alloy Metamodel in Kermeta

 

Alloy String Model

 

FrenchSummary

Please compile the these.tex file.

thesisSourceBeforeCorrections

 

thesisSlides