Salim DJAABOUB
...
PhD
Centre univ. de Mila
Team : MFGL

Details
Publications
Salim Djaaboub; Elhillali Kerkouche; Allaoua Chaoui
Generating verifiable LOTOS specifications from UML models: a graph transformation-based approach. Int. J. of Embedded Systems (IJES) 10(6): 453-469 (2018)
Salim Djaaboub; Elhillali Kerkouche; Allaoua Chaoui
A New Approach for Generating LOTOS Specifications from UML Dynamic Models. 8th Int. C* Conf. on Computer Science \& Software Engineering (C3S2E'15): 138-143 (2015)
Salim Djaaboub; Elhillali Kerkouche; Allaoua Chaoui
From UML Statecharts to LOTOS Expressions Using Graph Transformation. 21st Int. Conf. on Information and Software Technologies (ICIST'15): 548-559 (2015)
PhD thesis
Salim Djaaboub
Génération d'expresions LOTOS à partir de diagrammes UML. Université Constantine 2, Algérie (2017)