![]() | ![]() |
| 2012 | ||
|---|---|---|
| 39 | Joanne M. Atlee, Paola Inverardi: Guest Editor's Introduction: International Conference on Software Engineering. IEEE Trans. Software Eng. 38(1): 3-4 (2012) | |
| 38 | Adam Prout, Joanne M. Atlee, Nancy A. Day, Pourya Shaker: Code generation for a family of executable modelling notations. Software and System Modeling 11(2): 251-272 (2012) | |
| 2011 | ||
| 37 | Shahram Esmaeilsabzali, Bernd Fischer, Joanne M. Atlee: Monitoring aspects for the customization of automatically generated code for big-step models. GPCE 2011: 117-126 | |
| 2010 | ||
| 36 | Ali Taleghani, Joanne M. Atlee: Search-carrying code. ASE 2010: 367-376 | |
| 35 | Shahram Esmaeilsabzali, Nancy A. Day, Joanne M. Atlee: A Common Framework for Synchronization in Requirements Modelling Languages. MoDELS (2) 2010: 198-212 | |
| 34 | Shahram Esmaeilsabzali, Nancy A. Day, Joanne M. Atlee, Jianwei Niu: Deconstructing the semantics of big-step modelling languages. Requir. Eng. 15(2): 235-265 (2010) | |
| 2009 | ||
| 33 | Shari Lawrence Pfleeger, Joanne M. Atlee: Software engineering - theory and practice (4. ed.). Pearson Education 2009: 1-782 | |
| 32 | Ali Taleghani, Joanne M. Atlee: State-Space Coverage Estimation. ASE 2009: 459-467 | |
| 31 | Shahram Esmaeilsabzali, Nancy A. Day, Joanne M. Atlee, Jianwei Niu: Semantic Criteria for Choosing a Language for Big-Step Models. RE 2009: 181-190 | |
| 2008 | ||
| 30 | Joanne M. Atlee, Robert B. France, Geri Georg, Ana Moreira, Bernhard Rumpe, Steven Völkel, Steffen Zschaler: Modeling in software engineering. ICSE Companion 2008: 1039-1040 | |
| 29 | Adam Prout, Joanne M. Atlee, Nancy A. Day, Pourya Shaker: Semantically Configurable Code Generation. MoDELS 2008: 705-720 | |
| 2007 | ||
| 28 | Betty H. C. Cheng, Joanne M. Atlee: Research Directions in Requirements Engineering. FOSE 2007: 285-303 | |
| 27 | Joanne M. Atlee, Robert B. France, Geri Georg, Ana Moreira, Bernhard Rumpe, Steffen Zschaler: Modeling in Software Engineering. ICSE Companion 2007: 113-114 | |
| 2006 | ||
| 26 | Shari Lawrence Pfleeger, Joanne M. Atlee: Software engineering - theory and practice (3. ed.). Ellis Horwood 2006: I-XIX, 1-716 | |
| 25 | Ali Taleghani, Joanne M. Atlee: Semantic Variations Among UML StateMachines. MoDELS 2006: 245-259 | |
| 24 | Joanne M. Atlee, Roel Wieringa: RE 05: Engineering Successful Products. IEEE Software 23(3): 16-18 (2006) | |
| 23 | Joanne M. Atlee: Introduction to the best research papers from RE'05. Requir. Eng. 11(3): 155-156 (2006) | |
| 2005 | ||
| 22 | P. Ann Zimmer, Joanne M. Atlee: Categorizing and Prioritizing Telephony Features. FIW 2005: 327-333 | |
| 21 | Joanne M. Atlee, Richard J. LeBlanc, Timothy Lethbridge, Ann E. Kelley Sobel, J. Barrie Thompson: Software engineering 2004: ACM/IEEE-CS guidelines for undergraduate programs in software engineering. ICSE 2005: 623-624 | |
| 20 | Joanne M. Atlee, Richard J. LeBlanc, Timothy C. Lethbridge, Ann E. Kelley Sobel, J. Barrie Thompson: Reflections on Software Engineering 2004, the ACM/IEEE-CS Guidelines for Undergraduate Programs in Software Engineering. Software Education and Training Sessions @ ICSE 2005: 11-27 | |
| 2004 | ||
| 19 | Yun Lu, Joanne M. Atlee, Nancy A. Day, Jianwei Niu: Mapping Template Semantics to SMV. ASE 2004: 320-325 | |
| 2003 | ||
| 18 | Jianwei Niu, Joanne M. Atlee, Nancy A. Day: Understanding and Comparing Model-Based Specification Notations. RE 2003: 188-199 | |
| 17 | Jianwei Niu, Joanne M. Atlee, Nancy A. Day: Template Semantics for Model-Based Notations. IEEE Trans. Software Eng. 29(10): 866-882 (2003) | |
| 2002 | ||
| 16 | Jianwei Niu, Joanne M. Atlee, Nancy A. Day: Composable semantics for model-based notations. SIGSOFT FSE 2002: 149-158 | |
| 2000 | ||
| 15 | Annie I. Antón, Joanne M. Atlee: What Do You Mean I've Been Practicing without a License? Certification and Licensing of Requirements Engineering Professionals. ICRE 2000: 151 | |
| 14 | Jonathan D. Hay, Joanne M. Atlee: Composing features and resolving interactions. SIGSOFT FSE 2000: 110-119 | |
| 13 | Saheem Siddiqi, Joanne M. Atlee: A hybrid model for specifying features and detecting interactions. Computer Networks 32(4): 471-485 (2000) | |
| 1999 | ||
| 12 | George Yanbing Guo, Joanne M. Atlee, Rick Kazman: A Software Architecture Reconstruction Method. WICSA 1999: 15-34 | |
| 1998 | ||
| 11 | Mark A. Ardis, Joanne M. Atlee: Proceedings of the Second Workshop on Formal Methods in Software Practice, March 4-5, 1998, Clearwater Beach, Florida, USA ACM 1998 | |
| 1997 | ||
| 10 | Pansy K. Au, Joanne M. Atlee: Evaluation of a State-Based Model of Feature Interactions. FIW 1997: 153-167 | |
| 1996 | ||
| 9 | Keith P. Pomakis, Joanne M. Atlee: Reachability Analysis of Feature Interactions: A Progress Report. ISSTA 1996: 216-223 | |
| 8 | Joanne M. Atlee, Michael A. Buckley: A Logic-Model Semantics for SCR Software Requirements. ISSTA 1996: 280-292 | |
| 7 | Joanne M. Atlee, Marsha Chechik, John D. Gannon: Using Model Checking to Analyze Requirements and Designs. Advances in Computers 43: 141-178 (1996) | |
| 1995 | ||
| 6 | Joanne M. Atlee, John A. McDermid: Integrating requirements analysis and safety analysis. RE 1995: 158-159 | |
| 1994 | ||
| 5 | Kenneth H. Braithwaite, Joanne M. Atlee: Towards automated detection of feature interactions. FIW 1994: 36-59 | |
| 1993 | ||
| 4 | Joanne M. Atlee, John D. Gannon: Analyzing Timing Requirements. ISSTA 1993: 117-127 | |
| 3 | Joanne M. Atlee, John D. Gannon: State-Based Model Checking of Event-Driven System Requirements. IEEE Trans. Software Eng. 19(1): 24-40 (1993) | |
| 1991 | ||
| 2 | James M. Purtilo, Joanne M. Atlee: Module Reuse by Interface Adaptation. Softw., Pract. Exper. 21(6): 539-556 (1991) | |
| 1990 | ||
| 1 | James M. Purtilo, Joanne M. Atlee: Improving Module Reuse by Interface Adaption. ICCL 1990: 208-217 | |
Colors in the list of coauthors
Last update Sat May 26 04:23:17 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page