Joanne M. Atlee
Joanne M. Atlee
Computer Science, University of Waterloo
Verified email at uwaterloo.ca
Title
Cited by
Cited by
Year
Software engineering: theory and practice
SL Pfleeger, JM Atlee
Pearson Education India, 1998
24621998
Research directions in requirements engineering
BHC Cheng, JM Atlee
Future of Software Engineering (FOSE'07), 285-303, 2007
9232007
A survey of variability modeling in industrial practice
T Berger, R Rublack, D Nair, JM Atlee, M Becker, K Czarnecki, ...
Proceedings of the Seventh International Workshop on Variability Modelling …, 2013
4112013
State-based model checking of event-driven system requirements
JM Atlee, J Gannon
IEEE Transactions on Software Engineering 19 (1), 24-40, 1993
3171993
A software architecture reconstruction method
GY Guo, JM Atlee, R Kazman
Working Conference on Software Architecture, 15-33, 1999
1411999
Module reuse by interface adaptation
JM Purtilo, JM Atlee
Software: Practice and Experience 21 (6), 539-556, 1991
1271991
Composing features and resolving interactions
JD Hay, JM Atlee
Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of …, 2000
922000
Feasibility of model checking software requirements: A case study
T Sreemani, JM Atlee
Proceedings of 11th Annual Conference on Computer Assurance. COMPASS'96, 77-88, 1996
881996
Current and future research directions in requirements engineering
BHC Cheng, JM Atlee
Design Requirements Engineering: A Ten-Year Perspective, 11-43, 2009
732009
A logic-model semantics for SCR software requirements
JM Atlee, MA Buckley
ACM SIGSOFT Software Engineering Notes 21 (3), 280-292, 1996
701996
Towards automated detection of feature interactions
KH Braithwaite, JM Atlee
FIW, 36-59, 1994
701994
Template semantics for model-based notations
J Niu, JM Atlee, NA Day
IEEE Transactions on Software Engineering 29 (10), 866-882, 2003
642003
A feature-oriented requirements modelling language
P Shaker, JM Atlee, S Wang
2012 20th IEEE International Requirements Engineering Conference (RE), 151-160, 2012
632012
Three cases of feature-based variability modeling in industry
T Berger, D Nair, R Rublack, JM Atlee, K Czarnecki, A Wąsowski
International Conference on Model Driven Engineering Languages and Systems …, 2014
622014
Scaling exact multi-objective combinatorial optimization by parallelization
J Guo, E Zulkoski, R Olaechea, D Rayside, K Czarnecki, S Apel, JM Atlee
Proceedings of the 29th ACM/IEEE international conference on Automated …, 2014
472014
Evaluation of a State-Based Model of Feature Interactions.
PK Au, JM Atlee
FIW, 153-167, 1997
431997
State-based model checking of event-driven system requirements
J Atlee, J Gannon
ACM SIGSOFT Software Engineering Notes 16 (5), 16-28, 1991
401991
Semantic variations among UML statemachines
A Taleghani, JM Atlee
International Conference on Model Driven Engineering Languages and Systems …, 2006
372006
Feature interactions: the next generation (dagstuhl seminar 14281)
S Apel, JM Atlee, L Baresi, P Zave
Dagstuhl Reports 4 (7), 2014
362014
Deconstructing the semantics of big-step modelling languages
S Esmaeilsabzali, NA Day, JM Atlee, J Niu
Requirements Engineering 15 (2), 235-265, 2010
362010
The system can't perform the operation now. Try again later.
Articles 1–20