Ann E. Kelley Sobel

39 papers A* 1A 6B 1Journal 12Unranked 19
YearRankTypeTitle / Venue / Authors
2023 J jnl
Handover of the Role of Editor-in-Chief.
IEEE Trans. Educ.
John E. Mitchell, Ann E. Kelley Sobel
2019 J jnl
Curricular Foundations for Cybersecurity.
Computer
Ann E. Kelley Sobel, Allen Parrish, Rajendra K. Raj
2014 J jnl
Security or Privacy? A Matter of Perspective.
Computer
George F. Hurlburt, Irena Bojanova, Ann E. Kelley Sobel, Keesha Crosby
2011 J jnl
Academic Misconduct in the Early 21st Century.
Computer
Ann E. Kelley Sobel
2010 J jnl
Interview: Software Security in the Real World.
Computer
Ann E. Kelley Sobel, Gary McGraw
2008 — conf
Supporting the Formal Analysis of Software Systems.
CSSE (2)
Sherrie Campbell, Ann E. Kelley Sobel
2007 — conf
Supporting the Formal Analysis of Software Designs.
CSEE&T
Ann E. Kelley Sobel, Sherrie Campbell
2006 J jnl
SE2004: Recommendations for Undergraduate Software Engineering Curricula.
IEEE Softw.
Timothy C. Lethbridge, Richard J. LeBlanc, Ann E. Kelley Sobel, Thomas B. Hilburn, Jorge L. Díaz-Herrera
2005 — conf
Reflections on Software Engineering 2004, the ACM/IEEE-CS Guidelines for Undergraduate Programs in Software Engineering.
Software Education and Training Sessions @ ICSE
Joanne M. Atlee, Richard J. LeBlanc, Timothy C. Lethbridge, Ann E. Kelley Sobel, J. Barrie Thompson
2005 A* conf
Software engineering 2004: ACM/IEEE-CS guidelines for undergraduate programs in software engineering.
ICSE
Joanne M. Atlee, Richard J. LeBlanc, Timothy Lethbridge, Ann E. Kelley Sobel, J. Barrie Thompson
2004 — conf
Generating Undergraduate Software Engineering Courses/Programs Using the Computing Curricula Software Engineering Volume.
CSEE&T
Richard J. LeBlanc, Timothy Lethbridge, Ann E. Kelley Sobel
2004 A conf
IEEE-CS/ACM computing curricula: computer engineering & software engineering volumes.
SIGCSE
John Impagliazzo, Esther A. Hughes, Richard J. LeBlanc, Timothy Lethbridge, Andrew D. McGettrick, Ann E. Kelley Sobel, Pradip K. Srimani, Mitchell D. Theys
2003 — conf
Certification for Software Professionals: The IEEE Computer Society?s CSDP Program.
CSEE&T
Stephen B. Seidman, James Mason, Donald J. Bagert, J. Fernando Naveda, Ann E. Kelley Sobel, Dennis J. Frailey, Allen S. Parrish
2003 — conf
Engineering an Introductory Software Engineering Curriculum.
CSEE&T
Rick Duley, Gregory W. Hislop, Thomas B. Hilburn, Ann E. Kelley Sobel
2003 — conf
IEEE-CS/ACM Computing Curriculum Software Engineering Volume Project.
CSEE&T
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
2003 B conf
IEEE-CS/ACM computing curricula: software engineering volume.
ITiCSE
Ann E. Kelley Sobel, Timothy Lethbridge
2003 J jnl
Response to "Comments on 'Formal Methods Application: An Empirical Tale of Software Development'".
IEEE Trans. Software Eng.
Ann E. Kelley Sobel, Michael R. Clarkson
2002 — conf
An automated approach and virtual environment for generating maintenance instructions.
CHI Extended Abstracts
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
2002 J jnl
Formal Methods Application: An Empirical Tale of Software Development.
IEEE Trans. Software Eng.
Ann E. Kelley Sobel, Michael R. Clarkson
2002 — conf
Minitrack Introduction.
HICSS
Ann E. Kelley Sobel, Richard C. Linger
2002 — conf
The Flow-Service-Quality Framework: Unified Engineering for Large-Scale, Adaptive Systems.
HICSS
Alan R. Hevner, Richard C. Linger, Ann E. Kelley Sobel, Gwendolyn H. Walton
2001 — conf
Advances in Software Specification and Verification - Minitrack Introduction.
HICSS
Ann E. Kelley Sobel, Richard C. Linger
2001 J jnl
Emphasizing formal analysis in a software engineering curriculum.
IEEE Trans. Educ.
Ann E. Kelley Sobel
2001 — conf
SWEBOK as an International Foundation for Software Engineering Program Accreditation (Panel).
CSEE&T
Ann E. Kelley Sobel, Donald J. Bagert, David A. Carrington, Yoshihiro Matsumoto, Pierre N. Robillard, J. Barrie Thompson
2000 — conf
Advances in Software Specification and Verification - Introduction.
HICSS
Ann E. Kelley Sobel, Richard C. Linger
2000 A conf
Empirical results of a software engineering curriculum incorporating formal methods.
SIGCSE
Ann E. Kelley Sobel
2000 — conf
Teaching Formal Methods Early in the Software Engineering Curriculum (panel).
CSEE&T
Ann E. Kelley Sobel, Hossein Saiedian, Allan M. Stavely, Peter B. Henderson
2000 — conf
Technology Transfer Issues for Formal Methods of Software Specification.
CSEE&T
Ken Abernethy, John C. Kelly, Ann E. Kelley Sobel, James D. Kiper, John D. Powell
1999 A conf
Current issues in graduate student research.
SIGCSE
Ann E. Kelley Sobel, Mário Guimarães
1999 A conf
Current issues in undergraduate student research.
SIGCSE
Ann E. Kelley Sobel, Mário Guimarães
1999 J jnl
Enhancing the learning environment of deaf students.
ACM SIGCSE Bull.
Ann E. Kelley Sobel, Joseph C. Hill
1999 — conf
Formal Methods and Industry - Introduction.
HICSS
Jim Alves-Foss, Ann E. Kelley Sobel
1999 — conf
Security Analysis of Tramel.
HICSS
Ann E. Kelley Sobel
1998 J jnl
Applying an operational formal method throughout software engineering education.
Inf. Softw. Technol.
Ann E. Kelley Sobel
1998 — conf
Formal Requirements Specification Analysis of Attitude Control of the International Space Station Alpha.
HICSS (3)
Ann E. Kelley Sobel
1996 A conf
Experience integrating a formal method into a software engineering course.
SIGCSE
Ann E. Kelley Sobel
1996 A conf
Perspectives on assessment through teaching portfolios in computer science.
SIGCSE
James D. Kiper, Valerie V. Cross, Diane Delisio, Ann E. Kelley Sobel, Douglas Troy
1988 J jnl
A Proof System for Distributed Processes.
Acta Informatica
Ann E. Kelley Sobel, Neelam Soundararajan
1985 — conf
A Proof System for Distributed Processes.
Logic of Programs
Ann E. Kelley Sobel, Neelam Soundararajan