default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAnn E. Kelley Sobel
Person information
- affiliation: Miami University of Ohio, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
[j19]John E. Mitchell, Ann E. Kelley Sobel:
Handover of the Role of Editor-in-Chief. IEEE Trans. Educ. 66(4): 299 (2023)- 2022
- [j18]Ann E. K. Sobel, Ron Vetter:
Cybersecurity Best Practices for CISE Programs. Computer 55(5): 64-72 (2022)
2010 – 2019
- 2019
- [j17]Ann E. Kelley Sobel, Allen Parrish, Rajendra K. Raj
:
Curricular Foundations for Cybersecurity. Computer 52(3): 14-17 (2019) - [j16]Ann E. K. Sobel:
A New (?) Educational View of Computing. Computer 52(10): 97-98 (2019) - [j15]Ann E. K. Sobel:
Revisiting Whether Everyone Should Go to College. Computer 52(12): 107-108 (2019) - 2014
- [j14]George F. Hurlburt, Irena Bojanova, Ann E. Kelley Sobel, Keesha Crosby:
Security or Privacy? A Matter of Perspective. Computer 47(11): 94-98 (2014) - [j13]Ann E. K. Sobel:
Nurturing student leadership skills. ACM SIGCSE Bull. 46(3): 10 (2014) - 2013
- [j12]Ann E. K. Sobel:
The Modern Educator. Computer 46(6): 82-83 (2013) - [j11]Ann E. K. Sobel:
The Escalating Cost of College. Computer 46(12): 85-87 (2013) - 2012
- [j10]Ann E. K. Sobel:
Should Everyone Go to College? Computer 45(10): 82-83 (2012) - [e1]Richard J. LeBlanc, Ann E. K. Sobel:
IEEE Frontiers in Education Conference, FIE 2012, Seattle, WA, USA, October 3-6, 2012. IEEE Computer Society 2012, ISBN 978-1-4673-1351-3 [contents] - 2011
- [j9]Ann E. Kelley Sobel:
Academic Misconduct in the Early 21st Century. Computer 44(2): 89-90 (2011) - 2010
- [j8]Ann E. Kelley Sobel, Gary McGraw:
Interview: Software Security in the Real World. Computer 43(9): 47-53 (2010)
2000 – 2009
- 2008
- [c27]Sherrie Campbell, Ann E. Kelley Sobel:
Supporting the Formal Analysis of Software Systems. CSSE (2) 2008: 776-779 - 2007
- [c26]Ann E. Kelley Sobel, Sherrie Campbell:
Supporting the Formal Analysis of Software Designs. CSEE&T 2007: 123-132 - 2006
- [j7]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): 19-25 (2006) - 2005
- [c25]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 - [c24]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 - 2004
- [c23]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 - [c22]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 - 2003
- [j6]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) - [c21]Rick Duley, Gregory W. Hislop, Thomas B. Hilburn, Ann E. Kelley Sobel:
Engineering an Introductory Software Engineering Curriculum. CSEE&T 2003: 99-106 - [c20]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- - [c19]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- - [c18]Ann E. Kelley Sobel, Timothy Lethbridge:
IEEE-CS/ACM computing curricula: software engineering volume. ITiCSE 2003: 217-218 - 2002
- [j5]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) - [c17]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 - [c16]Ann E. Kelley Sobel, Richard C. Linger:
Minitrack Introduction. HICSS 2002: 275 - [c15]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 - 2001
- [j4]Ann E. Kelley Sobel:
Emphasizing formal analysis in a software engineering curriculum. IEEE Trans. Educ. 44(2): 17 (2001) - [c14]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 - [c13]Ann E. Kelley Sobel, Richard C. Linger:
Advances in Software Specification and Verification - Minitrack Introduction. HICSS 2001 - 2000
- [c12]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 - [c11]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- - [c10]Ann E. Kelley Sobel, Richard C. Linger:
Advances in Software Specification and Verification - Introduction. HICSS 2000 - [c9]Ann E. Kelley Sobel:
Empirical results of a software engineering curriculum incorporating formal methods. SIGCSE 2000: 157-161
1990 – 1999
- 1999
- [j3]Ann E. Kelley Sobel, Joseph C. Hill:
Enhancing the learning environment of deaf students. ACM SIGCSE Bull. 31(2): 71-72 (1999) - [c8]Jim Alves-Foss, Ann E. Kelley Sobel:
Formal Methods and Industry - Introduction. HICSS 1999 - [c7]Ann E. Kelley Sobel:
Security Analysis of Tramel. HICSS 1999 - [c6]Ann E. Kelley Sobel, Mário Guimarães:
Current issues in undergraduate student research. SIGCSE 1999: 350 - [c5]Ann E. Kelley Sobel, Mário Guimarães:
Current issues in graduate student research. SIGCSE 1999: 351 - 1998
- [j2]Ann E. Kelley Sobel:
Applying an operational formal method throughout software engineering education. Inf. Softw. Technol. 40(4): 233-238 (1998) - [c4]Ann E. Kelley Sobel:
Formal Requirements Specification Analysis of Attitude Control of the International Space Station Alpha. HICSS (3) 1998: 348-355 - 1996
- [c3]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 - [c2]Ann E. Kelley Sobel:
Experience integrating a formal method into a software engineering course. SIGCSE 1996: 271-274
1980 – 1989
- 1988
- [j1]Ann E. Kelley Sobel, Neelam Soundararajan:
A Proof System for Distributed Processes. Acta Informatica 25(3): 305-332 (1988) - 1985
- [c1]Ann E. Kelley Sobel, Neelam Soundararajan:
A Proof System for Distributed Processes. Logic of Programs 1985: 343-358
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-05-08 21:45 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
