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
22181998
Research directions in requirements engineering
BHC Cheng, JM Atlee
Future of Software Engineering (FOSE'07), 285-303, 2007
8202007
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
3292013
State-based model checking of event-driven system requirements
JM Atlee, J Gannon
IEEE Transactions on Software Engineering 19 (1), 24-40, 1993
3091993
Software engineering
SL Pfleeger, JM Atlee
Macmillan, 1987
2631987
A software architecture reconstruction method
GY Guo, JM Atlee, R Kazman
Working Conference on Software Architecture, 15-33, 1999
1311999
Module reuse by interface adaptation
JM Purtilo, JM Atlee
Software: Practice and Experience 21 (6), 539-556, 1991
1201991
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
841996
Composing features and resolving interactions
JD Hay, JM Atlee
Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of …, 2000
832000
A logic-model semantics for SCR software requirements
JM Atlee, MA Buckley
ACM SIGSOFT Software Engineering Notes 21 (3), 280-292, 1996
731996
Current and future research directions in requirements engineering
BHC Cheng, JM Atlee
Design requirements engineering: A ten-year perspective, 11-43, 2009
692009
Towards automated detection of feature interactions.
KH Braithwaite, JM Atlee
FIW, 36-59, 1994
681994
A feature-oriented requirements modelling language
P Shaker, JM Atlee, S Wang
2012 20th IEEE International Requirements Engineering Conference (RE), 151-160, 2012
592012
Template semantics for model-based notations
J Niu, JM Atlee, NA Day
IEEE Transactions on Software Engineering 29 (10), 866-882, 2003
592003
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
492014
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
State-based model checking of event-driven system requirements
J Atlee, J Gannon
ACM SIGSOFT Software Engineering Notes 16 (5), 16-28, 1991
411991
Reachability analysis of feature interactions: A progress report
KP Pomakis, JM Atlee
Proceedings of the 1996 ACM SIGSOFT international symposium on Software …, 1996
341996
Semantic variations among UML statemachines
A Taleghani, JM Atlee
International Conference on Model Driven Engineering Languages and Systems …, 2006
322006
Deconstructing the semantics of big-step modelling languages
S Esmaeilsabzali, NA Day, JM Atlee, J Niu
Requirements Engineering 15 (2), 235-265, 2010
312010
The system can't perform the operation now. Try again later.
Articles 1–20