Project | DOOM SOURCE CODE - SOFTWARE ARCHAEOLOGY- ISABELLE

« Back to project details Sort by:

This Project is Dedicated to all of the Masters of DOOM and ID Software
05/18/2020 at 20:27 • 0 comments

This Project is Dedicated to all of the ORIGINAL Masters of DOOM and ID Software....
Excellent Youtube Video by John Romero on software failures caused by Number Theory within Quake's Development back in 1996.
05/17/2020 at 05:27 • 1 comment

TO ALL WITH ANY INTEREST
PLEASE LOOK TO MINUTE 27:49 out of the 50 minutes and 5 seconds. during the QUICK STORY told by John Romero himself.
This shows a definite need for formal verification and validation for video games development.
The hyperlink is as follows:
https://www.youtube.com/watch?v=KFziBfvAFnM
We might also be extending this project to use the COQ theorem prover as well.
05/17/2020 at 04:19 • 0 comments

We are in the process of evaluating the COQ theorem prover to determine if the Verified Software Toolchain from the COQ theorem prover can be extended to C programs such as DOOM by Id Software.
"Correctness proofs of distributed systems with Isabelle" by Martin Kleppmann
05/15/2020 at 02:32 • 0 comments

This is an excellent youtube video by Martin Kleppmann.
https://www.youtube.com/watch?v=7w4KC6i9Yac
I will be using this to verify and validate that the source code within DOOM that handles the internet deathmatching capabilities will be verified and validated...
I have added this youtube link for further reference.....
Excellent Youtube video on DOOM Monster AI
05/11/2020 at 08:43 • 0 comments

Excellent Youtube video on DOOM Monster AI
Please watch ............
https://www.youtube.com/watch?v=f3O9P9x1eCE
Excellent Youtube video on DOOM Monster AI
05/11/2020 at 08:40 • 0 comments

Excellent Youtube video on DOOM Monster AI
Please watch ............
https://www.youtube.com/watch?v=f3O9P9x1eCE
Uploaded Masters thesis file that will be used as a corner stone to refactoring the DOOM source code.
05/08/2020 at 05:24 • 0 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.