Close

Uploaded Masters thesis file that will be used as a corner stone to refactoring the DOOM source code.

A project log for DOOM SOURCE CODE - SOFTWARE ARCHAEOLOGY- ISABELLE

Doom Video Game Source code being analyzed by the Isabelle HOL automated theorem prover. This is done to help develop an on-line course on

david-blubaughDavid Blubaugh 05/08/2020 at 05:240 Comments
Uploaded Masters thesis file that will be used as a corner stone to refactoring the DOOM source code. I am currently working with a person from Microsoft Research that will be used as a reference. I strongly this is going to be an interesting project endeavor. This will form as an excellent educational program to develop online courses that will utilize the DOOM source code as a training material for understanding legacy software for people who have not written that source code before, but must understand it for the sake of preventing of being FIRED by his employer.

Discussions