Selma Djeddai

According to our database, Selma Djeddai authored at least 3 papers in 2012.

Collaborative distances:

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

2012

Integrating a Formal Development for DSLs into Meta-modeling.

Selma Djeddai, Martin Strecker, Mohamed Mezghiche

Proceedings of the Model and Data Engineering - 2nd International Conference, 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