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) |