Ann E. Kelley Sobel

According to our database, Ann E. Kelley Sobel authored at least 45 papers between 1988 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Handover of the Role of Editor-in-Chief.

John E. Mitchell, Ann E. Kelley Sobel

IEEE Trans. Educ., August, 2023

2022

Cybersecurity Best Practices for CISE Programs.

Ann E. K. Sobel, Ron Vetter

Computer, 2022

2019

Curricular Foundations for Cybersecurity.

Ann E. Kelley Sobel, Allen Parrish, Rajendra K. Raj

Computer, 2019

Revisiting Whether Everyone Should Go to College.

Ann E. K. Sobel

Computer, 2019

A New (?) Educational View of Computing.

Ann E. K. Sobel

Computer, 2019

2014

Nurturing student leadership skills.

Ann E. K. Sobel

ACM SIGCSE Bull., 2014

Security or Privacy? A Matter of Perspective.

George F. Hurlburt, Irena Bojanova, Ann E. Kelley Sobel, Keesha Crosby

Computer, 2014

2013

The Escalating Cost of College.

Ann E. K. Sobel

Computer, 2013

The Modern Educator.

Ann E. K. Sobel

Computer, 2013

2012

Should Everyone Go to College?

Ann E. K. Sobel

Computer, 2012

2011

Academic Misconduct in the Early 21st Century.

Ann E. Kelley Sobel

Computer, 2011

2010

Interview: Software Security in the Real World.

Ann E. Kelley Sobel, Gary McGraw

Computer, 2010

2008

Supporting the Formal Analysis of Software Systems.

Sherrie Campbell, Ann E. Kelley Sobel

Proceedings of the International Conference on Computer Science and Software Engineering, 2008

2007

Supporting the Formal Analysis of Software Designs.

Ann E. Kelley Sobel, Sherrie Campbell

Proceedings of the 20th Conference on Software Engineering Education and Training (CSEE&T 2007), 2007

2006

SE2004: Recommendations for Undergraduate Software Engineering Curricula.

Timothy C. Lethbridge, Richard J. LeBlanc, Ann E. Kelley Sobel, Thomas B. Hilburn, Jorge L. Díaz-Herrera

IEEE Softw., 2006

2005

Reflections on Software Engineering 2004, the ACM/IEEE-CS Guidelines for Undergraduate Programs in Software Engineering.

Joanne M. Atlee, Richard J. LeBlanc, Timothy C. Lethbridge, Ann E. Kelley Sobel, J. Barrie Thompson

Proceedings of the Software Engineering Education in the Modern Age, 2005

Software engineering 2004: ACM/IEEE-CS guidelines for undergraduate programs in software engineering.

Joanne M. Atlee, Richard J. LeBlanc, Timothy Lethbridge, Ann E. Kelley Sobel, J. Barrie Thompson

Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005

2004

IEEE-CS/ACM computing curricula: computer engineering & software engineering volumes.

John Impagliazzo, Esther A. Hughes, Richard J. LeBlanc, Timothy Lethbridge, Andrew D. McGettrick, Ann E. Kelley Sobel, Pradip K. Srimani, Mitchell D. Theys

Proceedings of the 35th SIGCSE Technical Symposium on Computer Science Education, 2004

Generating Undergraduate Software Engineering Courses/Programs Using the Computing Curricula Software Engineering Volume.

Richard J. LeBlanc, Timothy Lethbridge, Ann E. Kelley Sobel

Proceedings of the 17th Conference on Software Engineering Education and Training (CSEE&T 2004), 2004

2003

Response to "Comments on 'Formal Methods Application: An Empirical Tale of Software Development'".

Ann E. Kelley Sobel, Michael R. Clarkson

IEEE Trans. Software Eng., 2003

IEEE-CS/ACM computing curricula: software engineering volume.

Ann E. Kelley Sobel, Timothy Lethbridge

Proceedings of the 8th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education, 2003

Certification for Software Professionals: The IEEE Computer Society?s CSDP Program.

Stephen B. Seidman, James Mason, Donald J. Bagert, J. Fernando Naveda, Ann E. Kelley Sobel, Dennis J. Frailey, Allen S. Parrish

Proceedings of the 16th Conference on Software Engineering Education and Training (CSEE&T 2003), 2003

IEEE-CS/ACM Computing Curriculum Software Engineering Volume Project.

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

Proceedings of the 16th Conference on Software Engineering Education and Training (CSEE&T 2003), 2003

Engineering an Introductory Software Engineering Curriculum.

Rick Duley, Gregory W. Hislop, Thomas B. Hilburn, Ann E. Kelley Sobel

Proceedings of the 16th Conference on Software Engineering Education and Training (CSEE&T 2003), 2003

2002

Formal Methods Application: An Empirical Tale of Software Development.

Ann E. Kelley Sobel, Michael R. Clarkson

IEEE Trans. Software Eng., 2002

Minitrack Introduction.

Ann E. Kelley Sobel, Richard C. Linger

Proceedings of the 35th Hawaii International Conference on System Sciences (HICSS-35 2002), 2002

The Flow-Service-Quality Framework: Unified Engineering for Large-Scale, Adaptive Systems.

Alan R. Hevner, Richard C. Linger, Ann E. Kelley Sobel, Gwendolyn H. Walton

Proceedings of the 35th Hawaii International Conference on System Sciences (HICSS-35 2002), 2002

An automated approach and virtual environment for generating maintenance instructions.

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

Proceedings of the Extended abstracts of the 2002 Conference on Human Factors in Computing Systems, 2002

2001

Emphasizing formal analysis in a software engineering curriculum.

Ann E. Kelley Sobel

IEEE Trans. Educ., 2001

Advances in Software Specification and Verification - Minitrack Introduction.

Ann E. Kelley Sobel, Richard C. Linger

Proceedings of the 34th Annual Hawaii International Conference on System Sciences (HICSS-34), 2001

SWEBOK as an International Foundation for Software Engineering Program Accreditation (Panel).

Ann E. Kelley Sobel, Donald J. Bagert, David A. Carrington, Yoshihiro Matsumoto, Pierre N. Robillard, J. Barrie Thompson

Proceedings of the 14th Conference on Software Engineering Education and Training, 2001

2000

Empirical results of a software engineering curriculum incorporating formal methods.

Ann E. Kelley Sobel

Proceedings of the 31st SIGCSE Technical Symposium on Computer Science Education, 2000

Advances in Software Specification and Verification - Introduction.

Ann E. Kelley Sobel, Richard C. Linger

Proceedings of the 33rd Annual Hawaii International Conference on System Sciences (HICSS-33), 2000

Teaching Formal Methods Early in the Software Engineering Curriculum (panel).

Ann E. Kelley Sobel, Hossein Saiedian, Allan M. Stavely, Peter B. Henderson

Proceedings of the Thirteenth Conference on Software Engineering Education and Training, 2000

Technology Transfer Issues for Formal Methods of Software Specification.

Ken Abernethy, John C. Kelly, Ann E. Kelley Sobel, James D. Kiper, John D. Powell

Proceedings of the Thirteenth Conference on Software Engineering Education and Training, 2000

1999

Enhancing the learning environment of deaf students.

Ann E. Kelley Sobel, Joseph C. Hill

ACM SIGCSE Bull., 1999

Current issues in graduate student research.

Ann E. Kelley Sobel, Mário Guimarães

Proceedings of the 30th SIGCSE Technical Symposium on Computer Science Education, 1999

Current issues in undergraduate student research.

Ann E. Kelley Sobel, Mário Guimarães

Proceedings of the 30th SIGCSE Technical Symposium on Computer Science Education, 1999

Security Analysis of Tramel.

Ann E. Kelley Sobel

Proceedings of the 32nd Annual Hawaii International Conference on System Sciences (HICSS-32), 1999

Formal Methods and Industry - Introduction.

Jim Alves-Foss, Ann E. Kelley Sobel

Proceedings of the 32nd Annual Hawaii International Conference on System Sciences (HICSS-32), 1999

1998

Applying an operational formal method throughout software engineering education.

Ann E. Kelley Sobel

Inf. Softw. Technol., 1998

Formal Requirements Specification Analysis of Attitude Control of the International Space Station Alpha.

Ann E. Kelley Sobel

Proceedings of the Thirty-First Annual Hawaii International Conference on System Sciences, 1998

1996

Experience integrating a formal method into a software engineering course.

Ann E. Kelley Sobel

Proceedings of the 27th SIGCSE Technical Symposium on Computer Science Education, 1996

Perspectives on assessment through teaching portfolios in computer science.

James D. Kiper, Valerie V. Cross, Diane Delisio, Ann E. Kelley Sobel, Douglas Troy

Proceedings of the 27th SIGCSE Technical Symposium on Computer Science Education, 1996

1988

A Proof System for Distributed Processes.

Ann E. Kelley Sobel, Neelam Soundararajan

Acta Informatica, 1988