Sign in
Ikram Darif
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 2
Top Topics
Model Driven Engineering
Software Requirements
Requirements Specification
Provably Correct
Top Venues
ISSRE Workshops
MODELS
</>
Publications
</>
Ikram Darif
,
Cristiano Politowski
,
Ghizlane El-Boussaidi
,
Imen Benzarti
,
Sègla Kpodjedo
A Model-driven and Template-based Approach for Requirements Specification.
MODELS
(2023)
Ikram Darif
,
Cristiano Politowski
,
Ghizlane El-Boussaidi
,
Sègla Kpodjedo
A Domain Specific Language for the ARINC 653 Specification.
ISSRE Workshops
(2022)