Software engineering: theory and practice SL Pfleeger, JM Atlee Pearson Education India, 1998 | 2654 | 1998 |
Research directions in requirements engineering BHC Cheng, JM Atlee Future of software engineering (FOSE'07), 285-303, 2007 | 1019 | 2007 |
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 | 552 | 2013 |
State-based model checking of event-driven system requirements JM Atlee, J Gannon IEEE Transactions on Software Engineering 19 (1), 24-40, 1993 | 327 | 1993 |
A software architecture reconstruction method GY Guo, JM Atlee, R Kazman Software Architecture: TC2 First Working IFIP Conference on Software …, 1999 | 161 | 1999 |
Module reuse by interface adaptation JM Purtilo, JM Atlee Software: Practice and Experience 21 (6), 539-556, 1991 | 135 | 1991 |
Current and future research directions in requirements engineering BHC Cheng, JM Atlee Design Requirements Engineering: A Ten-Year Perspective: Design Requirements …, 2009 | 98 | 2009 |
Composing features and resolving interactions JD Hay, JM Atlee Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of …, 2000 | 97 | 2000 |
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 | 90 | 1996 |
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 | 85 | 2014 |
A logic-model semantics for SCR software requirements JM Atlee, MA Buckley ACM SIGSOFT Software Engineering Notes 21 (3), 280-292, 1996 | 73 | 1996 |
Template semantics for model-based notations J Niu, JM Atlee, NA Day IEEE Transactions on Software Engineering 29 (10), 866-882, 2003 | 69 | 2003 |
Towards automated detection of feature interactions. KH Braithwaite, JM Atlee FIW, 36-59, 1994 | 69 | 1994 |
A feature-oriented requirements modelling language P Shaker, JM Atlee, S Wang 2012 20th IEEE International Requirements Engineering Conference (RE), 151-160, 2012 | 66 | 2012 |
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 | 54 | 2014 |
Feature interactions: the next generation (Dagstuhl seminar 14281) S Apel, JM Atlee, L Baresi, P Zave Dagstuhl Reports 4 (7), 1-24, 2014 | 53 | 2014 |
Evaluation of a State-Based Model of Feature Interactions. PK Au, JM Atlee FIW, 153-167, 1997 | 47 | 1997 |
Deconstructing the semantics of big-step modelling languages S Esmaeilsabzali, NA Day, JM Atlee, J Niu Requirements Engineering 15, 235-265, 2010 | 46 | 2010 |
An empirical investigation to understand the difficulties and challenges of software modellers when using modelling tools P Pourali, JM Atlee Proceedings of the 21th ACM/IEEE International Conference on Model Driven …, 2018 | 45 | 2018 |
State-based model checking of event-driven system requirements J Atlee, J Gannon ACM SIGSOFT Software Engineering Notes 16 (5), 16-28, 1991 | 44 | 1991 |