Aaron Kans

According to our database, Aaron Kans authored at least 6 papers between 1994 and 2022.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of five.

2022

Programming in Two Semesters - Using Python and Java

Quentin Charatan, Aaron Kans

Texts in Computer Science, Springer, ISBN: 978-3-031-01325-6, 2022

CODI - A Web Application to Facilitate Live, Remote Programming Lab Sessions.

Jordan Wathen, Aaron Kans, Gaurav Malik

Proceedings of the IEEE Global Engineering Education Conference, 2022

2019

Java in Two Semesters - Featuring JavaFX, 4th Edition

Quentin Charatan, Aaron Kans

Texts in Computer Science, Springer, ISBN: 978-3-319-99419-2, 2019

1996

From VDM to ABC : a pragmatic approach to formal software development.

Aaron Kans

PhD thesis, 1996

1994

Using ABC To Prototype VDM Specifications.

Aaron Kans, Clive Hayton

ACM SIGPLAN Notices, 1994

Translating VDM specifications into ABC programs.

Aaron Kans, Clive Hayton

Inf. Softw. Technol., 1994