Selma Djeddai

According to our database, Selma Djeddai authored at least 3 papers between 2012 and 2014.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2014

Integrating a Formal Development for DSLs into Meta-Modeling.

Selma Djeddai, Martin Strecker, Mohamed Mezghiche

J. Data Semant., 2014

2012

Combining Verification and MDE Illustrated by a Formal Java Development.

Selma Djeddai, Mohamed Mezghiche, Martin Strecker

Proceedings of the ICT in Education, Research, and Industrial Applications, 2012

A Case Study in Combining Formal Verification and Model-Driven Engineering.

Selma Djeddai, Mohamed Mezghiche, Martin Strecker

Proceedings of the 8th International Conference on ICT in Education, 2012