Follow
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
PS Lawrence, JM Atlee
Pearson Education, 2006
2619*2006
Research directions in requirements engineering
BHC Cheng, JM Atlee
Future of software engineering (FOSE'07), 285-303, 2007
9742007
A survey of variability modeling in industrial practice
T Berger, R Rublack, D Nair, JM Atlee, M Becker, K Czarnecki, ...
Proceedings of the 7th International Workshop on Variability Modelling of …, 2013
5162013
State-based model checking of event-driven system requirements
JM Atlee, J Gannon
IEEE Transactions on Software Engineering 19 (1), 24-40, 1993
3271993
A software architecture reconstruction method
GY Guo, JM Atlee, R Kazman
Software Architecture: TC2 First Working IFIP Conference on Software …, 1999
1561999
Module reuse by interface adaptation
JM Purtilo, JM Atlee
Software: Practice and Experience 21 (6), 539-556, 1991
1331991
Current and future research directions in requirements engineering
BHC Cheng, JM Atlee
Design Requirements Engineering: A Ten-Year Perspective: Design Requirements …, 2009
972009
Composing features and resolving interactions
JD Hay, JM Atlee
Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of …, 2000
942000
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
921996
Three cases of feature-based variability modeling in industry
T Berger, D Nair, R Rublack, JM Atlee, K Czarnecki, A Wąsowski
Model-Driven Engineering Languages and Systems: 17th International …, 2014
812014
A logic-model semantics for SCR software requirements
JM Atlee, MA Buckley
ACM SIGSOFT Software Engineering Notes 21 (3), 280-292, 1996
711996
Towards automated detection of feature interactions.
KH Braithwaite, JM Atlee
FIW, 36-59, 1994
711994
Template semantics for model-based notations
J Niu, JM Atlee, NA Day
IEEE Transactions on Software Engineering 29 (10), 866-882, 2003
682003
A feature-oriented requirements modelling language
P Shaker, JM Atlee, S Wang
2012 20th IEEE International Requirements Engineering Conference (RE), 151-160, 2012
662012
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
532014
Feature interactions: the next generation (Dagstuhl seminar 14281)
S Apel, JM Atlee, L Baresi, P Zave
Dagstuhl Reports 4 (7), 2014
482014
Evaluation of a State-Based Model of Feature Interactions.
PK Au, JM Atlee
FIW, 153-167, 1997
471997
State-based model checking of event-driven system requirements
J Atlee, J Gannon
ACM SIGSOFT Software Engineering Notes 16 (5), 16-28, 1991
461991
Deconstructing the semantics of big-step modelling languages
S Esmaeilsabzali, NA Day, JM Atlee, J Niu
Requirements Engineering 15, 235-265, 2010
452010
Semantic variations among UML statemachines
A Taleghani, JM Atlee
International Conference on Model Driven Engineering Languages and Systems …, 2006
392006
The system can't perform the operation now. Try again later.
Articles 1–20