FM Thesis

As promised, here is a preliminary mind map and categorized list of my electronic research documents. I still have a (comparatively) small stack of paper documents and notes to go over, which I will include in a later version.

So far, I have categorized my research into two broad areas: practical and theoretical. By this, I'm refering primarily to the distinction between documents relating to more abstract mathematical concerns, such as semantic formalizations for programming constructs, and ones focused more on real-world activities, such as case studies or discussion of industrial considerations when using formal methods.

It seems I've got a lot of stuff to go on here. As is evident from the previous posts, my existing research base covers a wide range, from the highly abstract mathematics to in-depth industrial case studies. I seem to have a bit more material on the academic side, but I've got lots of practical stuff too. I'm going to have a hard time figuring out where to go with this. Of course, that's part of the reason I had to get organized and start this log in the first place.

Anyway, here are the documents in question. A picture of the mind map and the HTML document generated from it. Both of these documents were generated by KDissert 0.9. And just for the record, don't bother clicking any of the links in the HTML document - they all resolve to the files on my local machine. Anyone who's interested in seeing the documents in question should e-mail me or leave a comment.