dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Joanne M. Atlee Home Page Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2012
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoanne M. Atlee, Paola Inverardi: Guest Editor's Introduction: International Conference on Software Engineering. IEEE Trans. Software Eng. 38(1): 3-4 (2012)
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAdam 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
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShahram Esmaeilsabzali, Bernd Fischer, Joanne M. Atlee: Monitoring aspects for the customization of automatically generated code for big-step models. GPCE 2011: 117-126
2010
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAli Taleghani, Joanne M. Atlee: Search-carrying code. ASE 2010: 367-376
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShahram Esmaeilsabzali, Nancy A. Day, Joanne M. Atlee: A Common Framework for Synchronization in Requirements Modelling Languages. MoDELS (2) 2010: 198-212
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShahram 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
33no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShari Lawrence Pfleeger, Joanne M. Atlee: Software engineering - theory and practice (4. ed.). Pearson Education 2009: 1-782
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAli Taleghani, Joanne M. Atlee: State-Space Coverage Estimation. ASE 2009: 459-467
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShahram Esmaeilsabzali, Nancy A. Day, Joanne M. Atlee, Jianwei Niu: Semantic Criteria for Choosing a Language for Big-Step Models. RE 2009: 181-190
2008
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoanne 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
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAdam Prout, Joanne M. Atlee, Nancy A. Day, Pourya Shaker: Semantically Configurable Code Generation. MoDELS 2008: 705-720
2007
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBetty H. C. Cheng, Joanne M. Atlee: Research Directions in Requirements Engineering. FOSE 2007: 285-303
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoanne M. Atlee, Robert B. France, Geri Georg, Ana Moreira, Bernhard Rumpe, Steffen Zschaler: Modeling in Software Engineering. ICSE Companion 2007: 113-114
2006
26no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShari Lawrence Pfleeger, Joanne M. Atlee: Software engineering - theory and practice (3. ed.). Ellis Horwood 2006: I-XIX, 1-716
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAli Taleghani, Joanne M. Atlee: Semantic Variations Among UML StateMachines. MoDELS 2006: 245-259
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoanne M. Atlee, Roel Wieringa: RE 05: Engineering Successful Products. IEEE Software 23(3): 16-18 (2006)
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoanne M. Atlee: Introduction to the best research papers from RE'05. Requir. Eng. 11(3): 155-156 (2006)
2005
22no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLP. Ann Zimmer, Joanne M. Atlee: Categorizing and Prioritizing Telephony Features. FIW 2005: 327-333
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoanne 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
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoanne 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
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLYun Lu, Joanne M. Atlee, Nancy A. Day, Jianwei Niu: Mapping Template Semantics to SMV. ASE 2004: 320-325
2003
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJianwei Niu, Joanne M. Atlee, Nancy A. Day: Understanding and Comparing Model-Based Specification Notations. RE 2003: 188-199
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJianwei Niu, Joanne M. Atlee, Nancy A. Day: Template Semantics for Model-Based Notations. IEEE Trans. Software Eng. 29(10): 866-882 (2003)
2002
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJianwei Niu, Joanne M. Atlee, Nancy A. Day: Composable semantics for model-based notations. SIGSOFT FSE 2002: 149-158
2000
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnnie 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
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJonathan D. Hay, Joanne M. Atlee: Composing features and resolving interactions. SIGSOFT FSE 2000: 110-119
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSaheem Siddiqi, Joanne M. Atlee: A hybrid model for specifying features and detecting interactions. Computer Networks 32(4): 471-485 (2000)
1999
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGeorge Yanbing Guo, Joanne M. Atlee, Rick Kazman: A Software Architecture Reconstruction Method. WICSA 1999: 15-34
1998
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark 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
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPansy K. Au, Joanne M. Atlee: Evaluation of a State-Based Model of Feature Interactions. FIW 1997: 153-167
1996
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKeith P. Pomakis, Joanne M. Atlee: Reachability Analysis of Feature Interactions: A Progress Report. ISSTA 1996: 216-223
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoanne M. Atlee, Michael A. Buckley: A Logic-Model Semantics for SCR Software Requirements. ISSTA 1996: 280-292
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoanne M. Atlee, Marsha Chechik, John D. Gannon: Using Model Checking to Analyze Requirements and Designs. Advances in Computers 43: 141-178 (1996)
1995
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoanne M. Atlee, John A. McDermid: Integrating requirements analysis and safety analysis. RE 1995: 158-159
1994
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKenneth H. Braithwaite, Joanne M. Atlee: Towards automated detection of feature interactions. FIW 1994: 36-59
1993
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoanne M. Atlee, John D. Gannon: Analyzing Timing Requirements. ISSTA 1993: 117-127
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoanne M. Atlee, John D. Gannon: State-Based Model Checking of Event-Driven System Requirements. IEEE Trans. Software Eng. 19(1): 24-40 (1993)
1991
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames M. Purtilo, Joanne M. Atlee: Module Reuse by Interface Adaptation. Softw., Pract. Exper. 21(6): 539-556 (1991)
1990
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJames M. Purtilo, Joanne M. Atlee: Improving Module Reuse by Interface Adaption. ICCL 1990: 208-217

Coauthor Index

1Annie I. Antón [15]
2Mark A. Ardis [11]
3Pansy K. Au [10]
4Kenneth H. Braithwaite [5]
5Michael A. Buckley [8]
6Marsha Chechik [7]
7Betty H. C. Cheng [28]
8Nancy A. Day [16] [17] [18] [19] [29] [31] [34] [35] [38]
9Shahram Esmaeilsabzali [31] [34] [35] [37]
10Bernd Fischer [37]
11Robert B. France [27] [30]
12John D. Gannon [3] [4] [7]
13Geri Georg [27] [30]
14George Yanbing Guo [12]
15Jonathan D. Hay [14]
16Paola Inverardi [39]
17Rick Kazman [12]
18Richard J. LeBlanc [20] [21]
19Timothy Lethbridge (Timothy C. Lethbridge) [20] [21]
20Yun Lu [19]
21John A. McDermid [6]
22Ana Moreira (Ana M. D. Moreira) [27] [30]
23Jianwei Niu [16] [17] [18] [19] [31] [34]
24Shari Lawrence Pfleeger [26] [33]
25Keith P. Pomakis [9]
26Adam Prout [29] [38]
27James M. Purtilo [1] [2]
28Bernhard Rumpe [27] [30]
29Pourya Shaker [29] [38]
30Saheem Siddiqi [13]
31Ann E. Kelley Sobel [20] [21]
32Ali Taleghani [25] [32] [36]
33J. Barrie Thompson [20] [21]
34Steven Völkel [30]
35Roel Wieringa [24]
36P. Ann Zimmer [22]
37Steffen Zschaler [27] [30]

Colors in the list of coauthors

Last update Sat May 26 04:23:17 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page