# Joan Krone

According to our database

Collaborative distances:

^{1}, Joan Krone authored at least 22 papers between 1993 and 2018.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2018

Food for Thought.

ACM SIGSOFT Software Engineering Notes, 2018

2017

Integrating Components, Contracts, and Reasoning in CS Curricula with RESOLVE: Experiences at Multiple Institutions.

Proceedings of the 30th IEEE Conference on Software Engineering Education and Training, 2017

2015

Teaching Mathematical Reasoning Principles for Software Correctness and Its Assessment.

TOCE, 2015

2013

Engaging mathematical reasoning exercises.

Proceedings of the 44th ACM Technical Symposium on Computer Science Education, 2013

Making mathematical reasoning fun: web-integrated, collaborative, and "Hands-On" Techniques (abstract only).

Proceedings of the 44th ACM Technical Symposium on Computer Science Education, 2013

A Language for Building Verified Software Components.

Proceedings of the Safe and Secure Software Reuse, 2013

Making mathematical reasoning fun: web-integrated, collaborative, and "hands-on" techniques.

Proceedings of the ACM Southeast Regional Conference 2013, 2013

2012

Teaching mathematical reasoning across the curriculum.

Proceedings of the 43rd ACM technical symposium on Computer science education, 2012

Making mathematical reasoning fun: tool-assisted, collaborative techniques (abstract only).

Proceedings of the 43rd ACM technical symposium on Computer science education, 2012

A systematic approach to teaching abstraction and mathematical modeling.

Proceedings of the Annual Conference on Innovation and Technology in Computer Science Education, 2012

2011

Building a push-button RESOLVE verifier: Progress and challenges.

Formal Asp. Comput., 2011

Making mathematical reasoning fun: tool-assisted, collaborative techniques.

Proceedings of the 49th Annual Southeast Regional Conference, 2011

2009

Engaging students in specification and reasoning: "hands-on" experimentation and evaluation.

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

Courseware for teaching analytical reasoning principles: a hands-on laboratory.

Proceedings of the 47th Annual Southeast Regional Conference, 2009

2008

Formal Program Verification.

Proceedings of the Wiley Encyclopedia of Computer Science and Engineering, 2008

2006

Characterization of Boolean Topological Logics Short Form: Boolean Topological Logics.

Multiple-Valued Logic and Soft Computing, 2006

2002

When Theory Meets Practice: Enriching the CS Curriculum through Industrial Case Studies.

Proceedings of the 15th Conference on Software Engineering Education and Training (CSEET'02), 2002

2001

Performance specification of software components.

Proceedings of the ACM SIGSOFT Symposium on Software Reusability: Putting Software Reuse in Context, 2001

1996

Using symbolic computation for teaching data structures and algorithm analysis.

Proceedings of the 1st Annual Conference on Integrating Technology into Computer Science Education, 1996

Use of laboratories in computer science education: guidelines for good practice: report of the working group on computing laboratories.

Proceedings of the 1st Annual Conference on Integrating Technology into Computer Science Education, 1996

1995

Teaching as a logic tool (abstract).

Proceedings of the 26th SIGCSE Technical Symposium on Computer Science Education, 1995

1993

Trees as Inductive Structures.

Computer Science Education, 1993