| An automated translation of UML class diagrams into a formal specification to detect UML inconsistencies KE Miloudi, YE Amrani, A Ettouhami The Sixth International Conference on Software Engineering Advances, ICSEA …, 2011 | 11 | 2011 |
| A formal definition of metrics for object oriented design: Mood metrics M Lamrani, Y El Amrani, A Ettouhami Journal of Theoretical and Applied Information Technology 49 (1), 1-10, 2013 | 9 | 2013 |
| USING Z FORMAL SPECIFICATION FOR ENSURING CONSISTENCY IN MULTI-VIEW MODELING. K el Miloudi, Y el Amrani, A Ettouhami Journal of Theoretical & Applied Information Technology 57 (3), 2013 | 6 | 2013 |
| Formal specification of software design metrics M Lamrani, Y El Amrani, A Ettouhami In Proceedings of the 6th International Conference on Software Engineering …, 2011 | 6 | 2011 |
| On formalizing predefined OCL properties M Lamrani, Y El Amrani, A Ettouhami Int. J. Comput. Inf. Sci. Eng 7 (1), 2013 | 3 | 2013 |
| Optimized design refactoring (ODR): a generic framework for automated search-based refactoring to optimize object-oriented software architectures T Houichime, Y El Amrani Automated Software Engineering 31 (2), 1-49, 2024 | | 2024 |
| EXPLORING A NOVEL PERSPECTIVE ON DESIGN PATTERN RECOVERY VIA VISUAL SIGNATURES AND CONTINUOUS-TIME SIGNALS T HOUICHIME, Y EL AMRANI Journal of Theoretical and Applied Information Technology 101 (6), 2023 | | 2023 |
| Towards a Formal Library for Precise and Accurate Measurements M Lamrani, Y El Amrani, A Ettouhami International Conference on Computational Science and Its Applications, 633-648, 2014 | | 2014 |
| SPECIFYING CLASS HIERARCHIES IN Z Y EL AMRANI Journal of Theoretical and Applied Information Technology 55 (1), 2013 | | 2013 |
| Specifying Class Hierarchies and MOOSE Metrics in Z Y El Amrani | | |
