Jameleddine Hassine
Jameleddine Hassine
Associate Professor of Computer Science, KFUPM
Verified email at kfupm.edu.sa - Homepage
Title
Cited by
Cited by
Year
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
752005
Feature Interaction Filtering with Use Case Maps at Requirements Stage.
M Nakamura, T Kikuno, J Hassine, L Logrippo
FIW, 163-178, 2000
462000
A requirement level modification analysis support framework
M Shiri, J Hassine, J Rilling
Third international IEEE workshop on software evolvability 2007, 67-74, 2007
222007
Abstract operational semantics for use case maps
J Hassine, J Rilling, R Dssouli
International Conference on Formal Techniques for Networked and Distributed …, 2005
192005
A questionnaire-based survey methodology for systematically validating goal-oriented models
J Hassine, D Amyot
Requirements Engineering 21 (2), 285-308, 2016
172016
Timed use case maps
J Hassine, J Rilling, R Dssouli
International Workshop on System Analysis and Modeling, 99-114, 2006
172006
Use Case Maps as a property specification language
J Hassine, J Rilling, R Dssouli
Software & Systems Modeling 8 (2), 205-220, 2009
162009
Formal semantics and verification of use case maps
J Hassine
Department of Computer Science and Software Engineering, Concordia University, 2008
162008
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
162005
Applying reduction techniques to software functional requirement specifications
J Hassine, R Dssouli, J Rilling
International Workshop on System Analysis and Modeling, 138-153, 2004
142004
Feature interaction analysis: a maintenance perspective
MS Shiri, JH Hassine, J Rilling
Proceedings of the twenty-second IEEE/ACM international conference on …, 2007
132007
Formal verification of use case maps with real time extensions
J Hassine, J Rilling, R Dssouli
International SDL Forum, 225-241, 2007
132007
An evaluation of timed scenario notations
J Hassine, J Rilling, R Dssouli
Journal of Systems and Software 83 (2), 326-350, 2010
122010
Mutation operators for the atlas transformation language
Y Khan, J Hassine
2013 IEEE Sixth International Conference on Software Testing, Verification …, 2013
112013
Early availability requirements modeling using use case maps
J Hassine
2011 Eighth International Conference on Information Technology: New …, 2011
102011
Describing and assessing availability requirements in the early stages of system development
J Hassine
Software & Systems Modeling 14 (4), 1455-1479, 2015
92015
Early modeling and validation of timed system requirements using Timed Use Case Maps
J Hassine
Requirements Engineering 20 (2), 181-211, 2015
92015
Exploring early availability requirements using use case maps
J Hassine, A Gherbi
International SDL Forum, 54-68, 2011
92011
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
82016
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
72017
The system can't perform the operation now. Try again later.
Articles 1–20