Svetlana V. Drachova

According to our database, Svetlana V. Drachova authored at least 5 papers between 2009 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2015

Teaching Mathematical Reasoning Principles for Software Correctness and Its Assessment.

Svetlana V. Drachova, Jason O. Hallstrom, Joseph E. Hollingsworth, Joan Krone, Richard Pak, Murali Sitaraman

ACM Trans. Comput. Educ., 2015

2013

A Language for Building Verified Software Components.

Gregory Kulczycki, Murali Sitaraman, Joan Krone, Joseph E. Hollingsworth, William F. Ogden, Bruce W. Weide, Paolo Bucci, Charles T. Cook, Svetlana Drachova-Strang, Blair Durkee, Heather K. Harton, Wayne D. Heym, Dustin Hoffman, Hampton Smith, Yu-Shan Sun, Aditi Tagore, Nighat Yasmin, Diego Zaccai

Proceedings of the Safe and Secure Software Reuse, 2013

Specification and reasoning in SE projects using a Web IDE.

Charles T. Cook, Svetlana Drachova-Strang, Yu-Shan Sun, Murali Sitaraman, Jeffrey C. Carver, Joseph E. Hollingsworth

Proceedings of the 26th International Conference on Software Engineering Education and Training, 2013

2012

A systematic approach to teaching abstraction and mathematical modeling.

Charles T. Cook, Svetlana Drachova-Strang, Jason O. Hallstrom, Joseph E. Hollingsworth, David Pokrass Jacobs, Joan Krone, Murali Sitaraman

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

2009

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

Murali Sitaraman, Jason O. Hallstrom, Jarred White, Svetlana Drachova-Strang, Heather K. Harton, Dana P. Leonard, Joan Krone, Richard Pak

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