The SCEAS System
Navigation Menu

Search the dblp DataBase


Joanne M. Atlee: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Joanne M. Atlee, John D. Gannon
    State-Based Model Checking of Event-Driven System Requirements. [Citation Graph (1, 0)][DBLP]
    IEEE Trans. Software Eng., 1993, v:19, n:1, pp:24-40 [Journal]
  2. Pansy K. Au, Joanne M. Atlee
    Evaluation of a State-Based Model of Feature Interactions. [Citation Graph (0, 0)][DBLP]
    FIW, 1997, pp:153-167 [Conf]
  3. Kenneth H. Braithwaite, Joanne M. Atlee
    Towards automated detection of feature interactions. [Citation Graph (0, 0)][DBLP]
    FIW, 1994, pp:36-59 [Conf]
  4. P. Ann Zimmer, Joanne M. Atlee
    Categorizing and Prioritizing Telephony Features. [Citation Graph (0, 0)][DBLP]
    FIW, 2005, pp:327-333 [Conf]
  5. James M. Purtilo, Joanne M. Atlee
    Improving Module Reuse by Interface Adaption. [Citation Graph (0, 0)][DBLP]
    ICCL, 1990, pp:208-217 [Conf]
  6. 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. [Citation Graph (0, 0)][DBLP]
    ICRE, 2000, pp:151- [Conf]
  7. 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. [Citation Graph (0, 0)][DBLP]
    ICSE, 2005, pp:623-624 [Conf]
  8. 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. [Citation Graph (0, 0)][DBLP]
    Software Education and Training Sessions @ ICSE, 2005, pp:11-27 [Conf]
  9. Joanne M. Atlee, Michael A. Buckley
    A Logic-Model Semantics for SCR Software Requirements. [Citation Graph (0, 0)][DBLP]
    ISSTA, 1996, pp:280-292 [Conf]
  10. Joanne M. Atlee, John D. Gannon
    Analyzing Timing Requirements. [Citation Graph (0, 0)][DBLP]
    ISSTA, 1993, pp:117-127 [Conf]
  11. Keith P. Pomakis, Joanne M. Atlee
    Reachability Analysis of Feature Interactions: A Progress Report. [Citation Graph (0, 0)][DBLP]
    ISSTA, 1996, pp:216-223 [Conf]
  12. Yun Lu, Joanne M. Atlee, Nancy A. Day, Jianwei Niu
    Mapping Template Semantics to SMV. [Citation Graph (0, 0)][DBLP]
    ASE, 2004, pp:320-325 [Conf]
  13. Ali Taleghani, Joanne M. Atlee
    Semantic Variations Among UML StateMachines. [Citation Graph (0, 0)][DBLP]
    MoDELS, 2006, pp:245-259 [Conf]
  14. Joanne M. Atlee, John A. McDermid
    Integrating requirements analysis and safety analysis. [Citation Graph (0, 0)][DBLP]
    RE, 1995, pp:158-159 [Conf]
  15. Jianwei Niu, Joanne M. Atlee, Nancy A. Day
    Understanding and Comparing Model-Based Specification Notations. [Citation Graph (0, 0)][DBLP]
    RE, 2003, pp:188-199 [Conf]
  16. Jonathan D. Hay, Joanne M. Atlee
    Composing features and resolving interactions. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 2000, pp:110-119 [Conf]
  17. Jianwei Niu, Joanne M. Atlee, Nancy A. Day
    Composable semantics for model-based notations. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 2002, pp:149-158 [Conf]
  18. George Yanbing Guo, Joanne M. Atlee, Rick Kazman
    A Software Architecture Reconstruction Method. [Citation Graph (0, 0)][DBLP]
    WICSA, 1999, pp:15-34 [Conf]
  19. Joanne M. Atlee, Marsha Chechik, John D. Gannon
    Using Model Checking to Analyze Requirements and Designs. [Citation Graph (0, 0)][DBLP]
    Advances in Computers, 1996, v:43, n:, pp:141-178 [Journal]
  20. Saheem Siddiqi, Joanne M. Atlee
    A hybrid model for specifying features and detecting interactions. [Citation Graph (0, 0)][DBLP]
    Computer Networks, 2000, v:32, n:4, pp:471-485 [Journal]
  21. Joanne M. Atlee
    Introduction to the best research papers from RE'05. [Citation Graph (0, 0)][DBLP]
    Requir. Eng., 2006, v:11, n:3, pp:155-156 [Journal]
  22. James M. Purtilo, Joanne M. Atlee
    Module Reuse by Interface Adaptation. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 1991, v:21, n:6, pp:539-556 [Journal]
  23. Jianwei Niu, Joanne M. Atlee, Nancy A. Day
    Template Semantics for Model-Based Notations. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2003, v:29, n:10, pp:866-882 [Journal]
  24. Joanne M. Atlee, Robert B. France, Geri Georg, Ana Moreira, Bernhard Rumpe, Steffen Zschaler
    Modeling in Software Engineering. [Citation Graph (0, 0)][DBLP]
    ICSE Companion, 2007, pp:113-114 [Conf]

  25. Modeling in software engineering. [Citation Graph (, )][DBLP]

  26. Research Directions in Requirements Engineering. [Citation Graph (, )][DBLP]

  27. State-Space Coverage Estimation. [Citation Graph (, )][DBLP]

  28. Search-carrying code. [Citation Graph (, )][DBLP]

  29. Semantically Configurable Code Generation. [Citation Graph (, )][DBLP]

  30. A Common Framework for Synchronization in Requirements Modelling Languages. [Citation Graph (, )][DBLP]

  31. Semantic Criteria for Choosing a Language for Big-Step Models. [Citation Graph (, )][DBLP]

Search in 0.006secs, Finished in 0.007secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002