Jameleddine Hassine
Jameleddine Hassine
Associate Professor of Computer Science, KFUPM
Verified email at - Homepage
Cited by
Cited by
Change impact analysis for requirement evolution using use case maps
J Hassine, J Rilling, J Hewitt, R Dssouli
Eighth International Workshop on Principles of Software Evolution (IWPSE'05 …, 2005
Feature Interaction Filtering with Use Case Maps at Requirements Stage.
M Nakamura, T Kikuno, J Hassine, L Logrippo
FIW, 163-178, 2000
A questionnaire-based survey methodology for systematically validating goal-oriented models
J Hassine, D Amyot
Requirements Engineering 21, 285-308, 2016
Exploiting Parts-of-Speech for effective automated requirements traceability
N Ali, H Cai, A Hamou-Lhadj, J Hassine
Information and software technology 106, 126-141, 2019
Requirement Engineering Challenges: A Systematic Mapping Study on the Academic and the Industrial Perspective
M Tukur, S Umar, J Hassine
Arabian Journal for Science and Engineering, 1-26, 2021
A requirement level modification analysis support framework
M Shiri, J Hassine, J Rilling
Third international IEEE workshop on software evolvability 2007, 67-74, 2007
Abstract operational semantics for use case maps
J Hassine, J Rilling, R Dssouli
Formal Techniques for Networked and Distributed Systems-FORTE 2005: 25th …, 2005
An empirical approach toward the resolution of conflicts in goal-oriented models
J Hassine, D Amyot
Software and Systems Modeling (SoSyM) 16 (1), 279-306, 2017
Use Case Maps as a property specification language
J Hassine, J Rilling, R Dssouli
Software & Systems Modeling 8, 205-220, 2009
Combining goal modelling with business process modelling: Two decades of experience with the user requirements notation standard
D Amyot, O Akhigbe, M Baslyman, S Ghanavati, M Ghasemi, J Hassine, ...
Enterprise Modelling and Information Systems Architectures (EMISAJ) 17, 2: 1-38, 2022
Segmenting large traces of inter-process communication with a focus on high performance computing systems
L Alawneh, A Hamou-Lhadj, J Hassine
Journal of Systems and Software 120, 1-16, 2016
Formal semantics and verification of use case maps
J Hassine
Concordia University, 2008
Timed use case maps
J Hassine, J Rilling, R Dssouli
System Analysis and Modeling: Language Profiles: 5th International Workshop …, 2006
An ASM operational semantics for use case maps
J Hassine, J Rilling, R Dssouli
13th IEEE International Conference on Requirements Engineering (RE'05), 467-468, 2005
Applying reduction techniques to software functional requirement specifications
J Hassine, R Dssouli, J Rilling
System Analysis and Modeling: 4th International SDL and MSC Workshop, SAM …, 2005
Mutation operators for the atlas transformation language
Y Khan, J Hassine
2013 IEEE Sixth International Conference on Software Testing, Verification …, 2013
An evaluation of timed scenario notations
J Hassine, J Rilling, R Dssouli
Journal of Systems and Software 83 (2), 326-350, 2010
Formal verification of use case maps with real time extensions
J Hassine, J Rilling, R Dssouli
SDL 2007: Design for Dependable Systems: 13th International SDL Forum Paris …, 2007
Describing and assessing availability requirements in the early stages of system development
J Hassine
Software & Systems Modeling 14, 1455-1479, 2015
Early modeling and validation of timed system requirements using Timed Use Case Maps
J Hassine
Requirements Engineering 20, 181-211, 2015
The system can't perform the operation now. Try again later.
Articles 1–20