|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 29 occurrences of 25 keywords
|
|
|
|
|
Results
Found 35 publication records. Showing 35 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Ann E. Kelley Sobel |
Academic Misconduct in the Early 21st Century.  |
IEEE Computer  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Ann E. Kelley Sobel, Gary McGraw |
Interview: Software Security in the Real World. |
IEEE Computer |
2010 |
DBLP DOI BibTeX RDF |
BSIMM, software security |
| 1 | Sherrie Campbell, Ann E. Kelley Sobel |
Supporting the Formal Analysis of Software Systems. |
CSSE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Ann E. Kelley Sobel, Sherrie Campbell |
Supporting the Formal Analysis of Software Designs. |
CSEE&T |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2006 |
DBLP DOI BibTeX RDF |
Software engineering education, curricula |
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
software engineering education |
| 1 | Richard J. LeBlanc, Timothy Lethbridge, Ann E. Kelley Sobel |
Generating Undergraduate Software Engineering Courses/Programs Using the Computing Curricula Software Engineering Volume. (PDF / PS) |
CSEE&T |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
curriculum, software engineering education, computer engineering, CC2001 |
| 1 | Ann E. Kelley Sobel, Michael R. Clarkson |
Response to "Comments on 'Formal Methods Application: An Empirical Tale of Software Development'". |
IEEE Trans. Software Eng. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Ann E. Kelley Sobel, Timothy Lethbridge |
IEEE-CS/ACM computing curricula: software engineering volume. |
ITiCSE |
2003 |
DBLP DOI BibTeX RDF |
software engineering education, curriculum guidelines |
| 1 | Rick Duley, Gregory W. Hislop, Thomas B. Hilburn, Ann E. Kelley Sobel |
Engineering an Introductory Software Engineering Curriculum. (PDF / PS) |
CSEE&T |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. (PDF / PS) |
CSEE&T |
2003 |
DBLP DOI BibTeX RDF |
CSDP, certification of software engineers, IEEE computer society, licensing |
| 1 | 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. (PDF / PS) |
CSEE&T |
2003 |
DBLP DOI BibTeX RDF |
computing curriculum software engineering, CCSE, software engineering education project, software engineering education knowledge, SEEK, SWEEP, computing curriculum |
| 1 | Ann E. Kelley Sobel, Michael R. Clarkson |
Formal Methods Application: An Empirical Tale of Software Development. |
IEEE Trans. Software Eng. |
2002 |
DBLP DOI BibTeX RDF |
formal methods, software specifications, software engineering curriculum |
| 1 | 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. (PDF / PS) |
HICSS |
2002 |
DBLP DOI BibTeX RDF |
distributed systems, workflows, Component-based systems, system specification |
| 1 | Ann E. Kelley Sobel, Richard C. Linger |
Minitrack Introduction. (PDF / PS) |
HICSS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
maintainability analysis, maintenance manual development, XML, virtual environments, haptics, natural language, human-centered design, text generation |
| 1 | Ann E. Kelley Sobel, Richard C. Linger |
Advances in Software Specification and Verification - Minitrack Introduction. (PDF / PS) |
HICSS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | 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). (PDF / PS) |
CSEE&T |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Ann E. Kelley Sobel, Richard C. Linger |
Advances in Software Specification and Verification - Introduction. (PDF / PS) |
HICSS |
2000 |
DBLP BibTeX RDF |
|
| 1 | Ann E. Kelley Sobel, Hossein Saiedian, Allan M. Stavely, Peter B. Henderson |
Teaching Formal Methods Early in the Software Engineering Curriculum (panel). (PDF / PS) |
CSEE&T |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Ken Abernethy, John C. Kelly, Ann E. Kelley Sobel, James D. Kiper, John D. Powell |
Technology Transfer Issues for Formal Methods of Software Specification. (PDF / PS) |
CSEE&T |
2000 |
DBLP DOI BibTeX RDF |
SE education, SE pedagogy, SE Curriculum, Formal methods, specification |
| 1 | Ann E. Kelley Sobel |
Empirical results of a software engineering curriculum incorporating formal methods. |
SIGCSE |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Ann E. Kelley Sobel, Joseph C. Hill |
Enhancing the learning environment of deaf students. |
SIGCSE Bulletin |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Ann E. Kelley Sobel |
Security Analysis of Tramel. (PDF / PS) |
HICSS |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Jim Alves-Foss, Ann E. Kelley Sobel |
Formal Methods and Industry - Introduction. (PDF / PS) |
HICSS |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Ann E. Kelley Sobel, Mário Guimarães |
Current issues in graduate student research. |
SIGCSE |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Ann E. Kelley Sobel, Mário Guimarães |
Current issues in undergraduate student research. |
SIGCSE |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Ann E. Kelley Sobel |
Applying an operational formal method throughout software engineering education. |
Information & Software Technology |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Ann E. Kelley Sobel |
Formal Requirements Specification Analysis of Attitude Control of the International Space Station Alpha. (PDF / PS) |
HICSS |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Ann E. Kelley Sobel |
Experience integrating a formal method into a software engineering course. |
SIGCSE |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Ann E. Kelley Sobel, Neelam Soundararajan |
A Proof System for Distributed Processes. |
Acta Inf. |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Ann E. Kelley Sobel, Neelam Soundararajan |
A Proof System for Distributed Processes. |
Logic of Programs |
1985 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #35 of 35 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")