Ann E. Kelley Sobel

According to our database1, Ann E. Kelley Sobel
  • authored at least 41 papers between 1985 and 2014.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2014
Nurturing student leadership skills.
SIGCSE Bulletin, 2014

Security or Privacy? A Matter of Perspective.
IEEE Computer, 2014

2013
The Escalating Cost of College.
IEEE Computer, 2013

The Modern Educator.
IEEE Computer, 2013

2012
Should Everyone Go to College?
IEEE Computer, 2012

2011
Academic Misconduct in the Early 21st Century.
IEEE Computer, 2011

2010
Interview: Software Security in the Real World.
IEEE Computer, 2010

2008
Supporting the Formal Analysis of Software Systems.
Proceedings of the International Conference on Computer Science and Software Engineering, 2008

2007
Supporting the Formal Analysis of Software Designs.
Proceedings of the 20th Conference on Software Engineering Education and Training (CSEE&T 2007), 2007

2006
SE2004: Recommendations for Undergraduate Software Engineering Curricula.
IEEE Software, 2006

2005
Reflections on Software Engineering 2004, the ACM/IEEE-CS Guidelines for Undergraduate Programs in Software Engineering.
Proceedings of the Software Engineering Education in the Modern Age, 2005

Software engineering 2004: ACM/IEEE-CS guidelines for undergraduate programs in software engineering.
Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005

2004
IEEE-CS/ACM computing curricula: computer engineering & software engineering volumes.
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.
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'".
IEEE Trans. Software Eng., 2003

IEEE-CS/ACM computing curricula: software engineering volume.
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.
Proceedings of the 16th Conference on Software Engineering Education and Training (CSEE&T 2003), 2003

IEEE-CS/ACM Computing Curriculum Software Engineering Volume Project.
Proceedings of the 16th Conference on Software Engineering Education and Training (CSEE&T 2003), 2003

Engineering an Introductory Software Engineering Curriculum.
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.
IEEE Trans. Software Eng., 2002

Minitrack Introduction.
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.
Proceedings of the 35th Hawaii International Conference on System Sciences (HICSS-35 2002), 2002

An automated approach and virtual environment for generating maintenance instructions.
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.
IEEE Trans. Education, 2001

Advances in Software Specification and Verification - Minitrack Introduction.
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).
Proceedings of the 14th Conference on Software Engineering Education and Training, 2001

2000
Empirical results of a software engineering curriculum incorporating formal methods.
Proceedings of the 31st SIGCSE Technical Symposium on Computer Science Education, 2000

Advances in Software Specification and Verification - Introduction.
Proceedings of the 33rd Annual Hawaii International Conference on System Sciences (HICSS-33), 2000

Teaching Formal Methods Early in the Software Engineering Curriculum (panel).
Proceedings of the Thirteenth Conference on Software Engineering Education and Training, 2000

Technology Transfer Issues for Formal Methods of Software Specification.
Proceedings of the Thirteenth Conference on Software Engineering Education and Training, 2000

1999
Enhancing the learning environment of deaf students.
SIGCSE Bulletin, 1999

Current issues in graduate student research.
Proceedings of the 30th SIGCSE Technical Symposium on Computer Science Education, 1999

Current issues in undergraduate student research.
Proceedings of the 30th SIGCSE Technical Symposium on Computer Science Education, 1999

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

Formal Methods and Industry - Introduction.
Proceedings of the 32nd Annual Hawaii International Conference on System Sciences (HICSS-32), 1999

1998
Applying an operational formal method throughout software engineering education.
Information & Software Technology, 1998

Formal Requirements Specification Analysis of Attitude Control of the International Space Station Alpha.
Proceedings of the Thirty-First Annual Hawaii International Conference on System Sciences, 1998

1996
Experience integrating a formal method into a software engineering course.
Proceedings of the 27th SIGCSE Technical Symposium on Computer Science Education, 1996

Perspectives on assessment through teaching portfolios in computer science.
Proceedings of the 27th SIGCSE Technical Symposium on Computer Science Education, 1996

1988
A Proof System for Distributed Processes.
Acta Inf., 1988

1985
A Proof System for Distributed Processes.
Proceedings of the Logics of Programs, 1985


  Loading...