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
772005
Feature Interaction Filtering with Use Case
M Nakamura, T Kikuno, J Hassine, L Logrippo
Feature Interactions in Telecommunications and Software Systems VI, 163, 2000
492000
A questionnaire-based survey methodology for systematically validating goal-oriented models
J Hassine, D Amyot
Requirements Engineering 21 (2), 285-308, 2016
262016
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
212005
Use Case Maps as a property specification language
J Hassine, J Rilling, R Dssouli
Software & Systems Modeling 8 (2), 205-220, 2009
182009
Timed use case maps
J Hassine, J Rilling, R Dssouli
International Workshop on System Analysis and Modeling, 99-114, 2006
182006
Formal semantics and verification of use case maps
J Hassine
Department of Computer Science and Software Engineering, Concordia University, 2008
172008
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
172005
Applying reduction techniques to software functional requirement specifications
J Hassine, R Dssouli, J Rilling
International Workshop on System Analysis and Modeling, 138-153, 2004
162004
Formal verification of use case maps with real time extensions
J Hassine, J Rilling, R Dssouli
International SDL Forum, 225-241, 2007
152007
Mutation operators for the atlas transformation language
Y Khan, J Hassine
2013 IEEE Sixth International Conference on Software Testing, Verification …, 2013
142013
An evaluation of timed scenario notations
J Hassine, J Rilling, R Dssouli
Journal of Systems and Software 83 (2), 326-350, 2010
142010
Feature interaction analysis: a maintenance perspective
MS Shiri, JH Hassine, J Rilling
Proceedings of the twenty-second IEEE/ACM international conference on …, 2007
132007
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
122016
Describing and assessing availability requirements in the early stages of system development
J Hassine
Software & Systems Modeling 14 (4), 1455-1479, 2015
122015
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
112017
Early modeling and validation of timed system requirements using Timed Use Case Maps
J Hassine
Requirements Engineering 20 (2), 181-211, 2015
102015
Early availability requirements modeling using use case maps
J Hassine
2011 Eighth International Conference on Information Technology: New …, 2011
102011
Exploring early availability requirements using use case maps
J Hassine, A Gherbi
International SDL Forum, 54-68, 2011
92011
The system can't perform the operation now. Try again later.
Articles 1–20