Joanne M. Atlee
Joanne M. Atlee
Computer Science, University of Waterloo
Geverifieerd e-mailadres voor uwaterloo.ca
Titel
Geciteerd door
Geciteerd door
Jaar
Software engineering: theory and practice
SL Pfleeger, JM Atlee
Pearson Education India, 1998
26651998
Research directions in requirements engineering
BHC Cheng, JM Atlee
Future of Software Engineering (FOSE'07), 285-303, 2007
9092007
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
3952013
State-based model checking of event-driven system requirements
JM Atlee, J Gannon
IEEE Transactions on Software Engineering 19 (1), 24-40, 1993
3161993
A software architecture reconstruction method
GY Guo, JM Atlee, R Kazman
Working Conference on Software Architecture, 15-33, 1999
1381999
Module reuse by interface adaptation
JM Purtilo, JM Atlee
Software: Practice and Experience 21 (6), 539-556, 1991
1261991
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
871996
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
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
632014
A feature-oriented requirements modelling language
P Shaker, JM Atlee, S Wang
2012 20th IEEE International Requirements Engineering Conference (RE), 151-160, 2012
622012
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
Deconstructing the semantics of big-step modelling languages
S Esmaeilsabzali, NA Day, JM Atlee, J Niu
Requirements Engineering 15 (2), 235-265, 2010
362010
Reachability analysis of feature interactions: A progress report
KP Pomakis, JM Atlee
Proceedings of the 1996 ACM SIGSOFT international symposium on Software …, 1996
361996
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20