Ann E. Kelley Sobel

Ann E. Kelley Sobel: Academic Misconduct in the Early 21st Century. IEEE Computer 44(2): 89-90 (2011)

Ann E. Kelley Sobel, Gary McGraw: Interview: Software Security in the Real World. IEEE Computer 43(9): 47-53 (2010)

Sherrie Campbell, Ann E. Kelley Sobel: Supporting the Formal Analysis of Software Systems. CSSE (2) 2008: 776-779

Ann E. Kelley Sobel, Sherrie Campbell: Supporting the Formal Analysis of Software Designs. CSEE&T 2007: 123-132

Timothy C. Lethbridge, Richard J. LeBlanc, Ann E. Kelley Sobel, Thomas B. Hilburn, Jorge L. Díaz-Herrera: SE2004: Recommendations for Undergraduate Software Engineering Curricula. IEEE Software 23(6): 19-25 (2006)

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

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

Richard J. LeBlanc, Timothy Lethbridge, Ann E. Kelley Sobel: Generating Undergraduate Software Engineering Courses/Programs Using the Computing Curricula Software Engineering Volume. CSEE&T 2004: 167-168

John Impagliazzo, Esther A. Hughes, Richard J. LeBlanc, Timothy Lethbridge, Andrew D. McGettrick, Ann E. Kelley Sobel, Pradip K. Srimani, Mitchell D. Theys: IEEE-CS/ACM computing curricula: computer engineering & software engineering volumes. SIGCSE 2004: 450-452

Ann E. Kelley Sobel, Michael R. Clarkson: Response to "Comments on 'Formal Methods Application: An Empirical Tale of Software Development'". IEEE Trans. Software Eng. 29(6): 572-575 (2003)

Rick Duley, Gregory W. Hislop, Thomas B. Hilburn, Ann E. Kelley Sobel: Engineering an Introductory Software Engineering Curriculum. CSEE&T 2003: 99-106

Stephen B. Seidman, James Mason, Donald J. Bagert, J. Fernando Naveda, Ann E. Kelley Sobel, Dennis J. Frailey, Allen S. Parrish: Certification for Software Professionals: The IEEE Computer Society?s CSDP Program. CSEE&T 2003: 323-

Richard J. LeBlanc, Mordechai Ben-Menachem, Thomas B. Hilburn, Susan A. Mengel, Timothy Lethbridge, J. Barrie Thompson, Ann E. Kelley Sobel, Jorge L. Díaz-Herrera: IEEE-CS/ACM Computing Curriculum Software Engineering Volume Project. CSEE&T 2003: 333-

Ann E. Kelley Sobel, Timothy Lethbridge: IEEE-CS/ACM computing curricula: software engineering volume. ITiCSE 2003: 217-218

Ann E. Kelley Sobel, Michael R. Clarkson: Formal Methods Application: An Empirical Tale of Software Development. IEEE Trans. Software Eng. 28(3): 308-320 (2002)

Russell S. Blue, Jeff Wampler, G. Bowden Wise, Louis J. Hoebel, Boris Yamrom, Christopher R. Volpe, Bruce Wilde, Pascale Rondot, Ann E. Kelley Sobel, Anne Gilman, Wesley Turner, Steve Linthicum, George Ryon: An automated approach and virtual environment for generating maintenance instructions. CHI Extended Abstracts 2002: 494-495

Ann E. Kelley Sobel, Richard C. Linger: Minitrack Introduction. HICSS 2002: 275

Alan R. Hevner, Richard C. Linger, Ann E. Kelley Sobel, Gwendolyn H. Walton: The Flow-Service-Quality Framework: Unified Engineering for Large-Scale, Adaptive Systems. HICSS 2002: 278

Ann E. Kelley Sobel, Donald J. Bagert, David A. Carrington, Yoshihiro Matsumoto, Pierre N. Robillard, J. Barrie Thompson: SWEBOK as an International Foundation for Software Engineering Program Accreditation (Panel). CSEE&T 2001: 293

Ann E. Kelley Sobel, Richard C. Linger: Advances in Software Specification and Verification - Minitrack Introduction. HICSS 2001

Ken Abernethy, John C. Kelly, Ann E. Kelley Sobel, James D. Kiper, John D. Powell: Technology Transfer Issues for Formal Methods of Software Specification. CSEE&T 2000: 23-31

Ann E. Kelley Sobel, Hossein Saiedian, Allan M. Stavely, Peter B. Henderson: Teaching Formal Methods Early in the Software Engineering Curriculum (panel). CSEE&T 2000: 55-

Ann E. Kelley Sobel, Richard C. Linger: Advances in Software Specification and Verification - Introduction. HICSS 2000

Ann E. Kelley Sobel: Empirical results of a software engineering curriculum incorporating formal methods. SIGCSE 2000: 157-161

Ann E. Kelley Sobel, Joseph C. Hill: Enhancing the learning environment of deaf students. SIGCSE Bulletin 31(2): 71-72 (1999)

Jim Alves-Foss, Ann E. Kelley Sobel: Formal Methods and Industry - Introduction. HICSS 1999

Ann E. Kelley Sobel: Security Analysis of Tramel. HICSS 1999

Ann E. Kelley Sobel, Mário Guimarães: Current issues in undergraduate student research. SIGCSE 1999: 350

Ann E. Kelley Sobel, Mário Guimarães: Current issues in graduate student research. SIGCSE 1999: 351

Ann E. Kelley Sobel: Applying an operational formal method throughout software engineering education. Information & Software Technology 40(4): 233-238 (1998)

Ann E. Kelley Sobel: Formal Requirements Specification Analysis of Attitude Control of the International Space Station Alpha. HICSS (3) 1998: 348-355

James D. Kiper, Valerie V. Cross, Diane Delisio, Ann E. Kelley Sobel, Douglas Troy: Perspectives on assessment through teaching portfolios in computer science. SIGCSE 1996: 200-203

Ann E. Kelley Sobel: Experience integrating a formal method into a software engineering course. SIGCSE 1996: 271-274

Ann E. Kelley Sobel, Neelam Soundararajan: A Proof System for Distributed Processes. Acta Inf. 25(3): 305-332 (1988)

Ann E. Kelley Sobel, Neelam Soundararajan: A Proof System for Distributed Processes. Logic of Programs 1985: 343-358