The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Ann E. Kelley Sobel: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  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. [Citation Graph (0, 0)][DBLP]
    CHI Extended Abstracts, 2002, pp:494-495 [Conf]
  2. Ken Abernethy, John C. Kelly, Ann E. Kelley Sobel, James D. Kiper, John Powell
    Technology Transfer Issues for Formal Methods of Software Specification. [Citation Graph (0, 0)][DBLP]
    CSEE&T, 2000, pp:23-31 [Conf]
  3. Rick Duley, Gregory W. Hislop, Thomas B. Hilburn, Ann E. Kelley Sobel
    Engineering an Introductory Software Engineering Curriculum. [Citation Graph (0, 0)][DBLP]
    CSEE&T, 2003, pp:99-106 [Conf]
  4. 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. [Citation Graph (0, 0)][DBLP]
    CSEE&T, 2003, pp:333-0 [Conf]
  5. Richard J. LeBlanc, Timothy Lethbridge, Ann E. Kelley Sobel
    Generating Undergraduate Software Engineering Courses/Programs Using the Computing Curricula Software Engineering Volume. [Citation Graph (0, 0)][DBLP]
    CSEE&T, 2004, pp:167-168 [Conf]
  6. 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. [Citation Graph (0, 0)][DBLP]
    CSEE&T, 2003, pp:323-0 [Conf]
  7. 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). [Citation Graph (0, 0)][DBLP]
    CSEE&T, 2001, pp:293- [Conf]
  8. Ann E. Kelley Sobel, Hossein Saiedian, Allan M. Stavely, Peter B. Henderson
    Teaching Formal Methods Early in the Software Engineering Curriculum (panel). [Citation Graph (0, 0)][DBLP]
    CSEE&T, 2000, pp:55-0 [Conf]
  9. Jim Alves-Foss, Ann E. Kelley Sobel
    Formal Methods and Industry - Introduction. [Citation Graph (0, 0)][DBLP]
    HICSS, 1999, pp:- [Conf]
  10. 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. [Citation Graph (0, 0)][DBLP]
    HICSS, 2002, pp:278- [Conf]
  11. Ann E. Kelley Sobel
    Formal Requirements Specification Analysis of Attitude Control of the International Space Station Alpha. [Citation Graph (0, 0)][DBLP]
    HICSS (3), 1998, pp:348-355 [Conf]
  12. Ann E. Kelley Sobel
    Security Analysis of Tramel. [Citation Graph (0, 0)][DBLP]
    HICSS, 1999, pp:- [Conf]
  13. Ann E. Kelley Sobel, Richard C. Linger
    Advances in Software Specification and Verification - Introduction. [Citation Graph (0, 0)][DBLP]
    HICSS, 2000, pp:- [Conf]
  14. Ann E. Kelley Sobel, Richard C. Linger
    Advances in Software Specification and Verification - Minitrack Introduction. [Citation Graph (0, 0)][DBLP]
    HICSS, 2001, pp:- [Conf]
  15. Ann E. Kelley Sobel, Richard C. Linger
    Minitrack Introduction. [Citation Graph (0, 0)][DBLP]
    HICSS, 2002, pp:275- [Conf]
  16. 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. [Citation Graph (0, 0)][DBLP]
    ICSE, 2005, pp:623-624 [Conf]
  17. 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. [Citation Graph (0, 0)][DBLP]
    Software Education and Training Sessions @ ICSE, 2005, pp:11-27 [Conf]
  18. Ann E. Kelley Sobel, N. Soundararajan
    A Proof System for Distributed Processes. [Citation Graph (0, 0)][DBLP]
    Logic of Programs, 1985, pp:343-358 [Conf]
  19. 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. [Citation Graph (0, 0)][DBLP]
    SIGCSE, 2004, pp:450-452 [Conf]
  20. James D. Kiper, Valerie V. Cross, Diane Delisio, Ann E. Kelley Sobel, Douglas Troy
    Perspectives on assessment through teaching portfolios in computer science. [Citation Graph (0, 0)][DBLP]
    SIGCSE, 1996, pp:200-203 [Conf]
  21. Ann E. Kelley Sobel
    Empirical results of a software engineering curriculum incorporating formal methods. [Citation Graph (0, 0)][DBLP]
    SIGCSE, 2000, pp:157-161 [Conf]
  22. Ann E. Kelley Sobel
    Experience integrating a formal method into a software engineering course. [Citation Graph (0, 0)][DBLP]
    SIGCSE, 1996, pp:271-274 [Conf]
  23. Ann E. Kelley Sobel, Mário Guimarães
    Current issues in undergraduate student research. [Citation Graph (0, 0)][DBLP]
    SIGCSE, 1999, pp:350- [Conf]
  24. Ann E. Kelley Sobel, Mário Guimarães
    Current issues in graduate student research. [Citation Graph (0, 0)][DBLP]
    SIGCSE, 1999, pp:351- [Conf]
  25. Ann E. Kelley Sobel, N. Soundararajan
    A Proof System for Distributed Processes. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1988, v:25, n:3, pp:305-332 [Journal]
  26. Ann E. Kelley Sobel
    Applying an operational formal method throughout software engineering education. [Citation Graph (0, 0)][DBLP]
    Information & Software Technology, 1998, v:40, n:4, pp:233-238 [Journal]
  27. Ann E. Kelley Sobel, Michael R. Clarkson
    Formal Methods Application: An Empirical Tale of Software Development. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2002, v:28, n:3, pp:308-320 [Journal]
  28. Ann E. Kelley Sobel, Michael R. Clarkson
    Response to "Comments on 'Formal Methods Application: An Empirical Tale of Software Development'". [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2003, v:29, n:6, pp:572-575 [Journal]
  29. Ann E. Kelley Sobel, Sherrie Campbell
    Supporting the Formal Analysis of Software Designs. [Citation Graph (0, 0)][DBLP]
    CSEE&T, 2007, pp:123-132 [Conf]

  30. IEEE-CS/ACM computing curricula: software engineering volume. [Citation Graph (, )][DBLP]


  31. Supporting the Formal Analysis of Software Systems. [Citation Graph (, )][DBLP]


  32. Interview: Software Security in the Real World. [Citation Graph (, )][DBLP]


Search in 0.023secs, Finished in 0.025secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002