Ann E. Kelley Sobel

Publication Activity (10 Years)

Years Active: 1985-2023
Publications (10 Years): 2

Top Topics

Security Measures

Secure Multiparty Computation

Individual Privacy

Top Venues

IEEE Trans. Educ.

Publications

John E. Mitchell, Ann E. Kelley Sobel
Handover of the Role of Editor-in-Chief. IEEE Trans. Educ. 66 (4) (2023)
Ann E. Kelley Sobel, Allen Parrish, Rajendra K. Raj
Curricular Foundations for Cybersecurity. Computer 52 (3) (2019)
George F. Hurlburt, Irena Bojanova, Ann E. Kelley Sobel, Keesha Crosby
Security or Privacy? A Matter of Perspective. Computer 47 (11) (2014)
Ann E. Kelley Sobel
Academic Misconduct in the Early 21st Century. Computer 44 (2) (2011)
Ann E. Kelley Sobel, Gary McGraw
Interview: Software Security in the Real World. Computer 43 (9) (2010)
Sherrie Campbell, Ann E. Kelley Sobel
Supporting the Formal Analysis of Software Systems. CSSE (2) (2008)
Ann E. Kelley Sobel, Sherrie Campbell
Supporting the Formal Analysis of Software Designs. CSEE&T (2007)
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 Softw. 23 (6) (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)
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)
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)
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)
Rick Duley, Gregory W. Hislop, Thomas B. Hilburn, Ann E. Kelley Sobel
Engineering an Introductory Software Engineering Curriculum. CSEE&T (2003)
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)
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) (2003)
Ann E. Kelley Sobel, Timothy Lethbridge
IEEE-CS/ACM computing curricula: software engineering volume. ITiCSE (2003)
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)
Ann E. Kelley Sobel, Michael R. Clarkson
Formal Methods Application: An Empirical Tale of Software Development. IEEE Trans. Software Eng. 28 (3) (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)
Ann E. Kelley Sobel, Richard C. Linger
Minitrack Introduction. HICSS (2002)
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)
Ann E. Kelley Sobel, Richard C. Linger
Advances in Software Specification and Verification - Minitrack Introduction. HICSS (2001)
Ann E. Kelley Sobel
Emphasizing formal analysis in a software engineering curriculum. IEEE Trans. Educ. 44 (2) (2001)
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)
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)
Ann E. Kelley Sobel, Richard C. Linger
Advances in Software Specification and Verification - Introduction. HICSS (2000)
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)
Ann E. Kelley Sobel
Empirical results of a software engineering curriculum incorporating formal methods. SIGCSE (2000)
Ann E. Kelley Sobel, Joseph C. Hill
Enhancing the learning environment of deaf students. ACM SIGCSE Bull. 31 (2) (1999)
Ann E. Kelley Sobel, Mário Guimarães
Current issues in graduate student research. SIGCSE (1999)
Jim Alves-Foss, Ann E. Kelley Sobel
Formal Methods and Industry - Introduction. HICSS (1999)
Ann E. Kelley Sobel, Mário Guimarães
Current issues in undergraduate student research. SIGCSE (1999)
Ann E. Kelley Sobel
Security Analysis of Tramel. HICSS (1999)
Ann E. Kelley Sobel
Applying an operational formal method throughout software engineering education. Inf. Softw. Technol. 40 (4) (1998)
Ann E. Kelley Sobel
Formal Requirements Specification Analysis of Attitude Control of the International Space Station Alpha. HICSS (3) (1998)
Ann E. Kelley Sobel
Experience integrating a formal method into a software engineering course. SIGCSE (1996)
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)
Ann E. Kelley Sobel, Neelam Soundararajan
A Proof System for Distributed Processes. Acta Informatica 25 (3) (1988)
Ann E. Kelley Sobel, Neelam Soundararajan
A Proof System for Distributed Processes. Logic of Programs (1985)