Slow day today on the thesis front. I was hoping to get more done, but my computer malfunctioned last night and I spend most of this evening reinstalling and reconfiguring Kubuntu. On the up side, at least it went faster this time than the first time I installed it.
I only got through 11 paper articles today. By my count, I now have 12 left, although I think a couple of them are duplicates of electronic documents. Anyway, today's papers included:
- An interesting experiment that involved a formal methods team and a conventional CMM level 4 team independently implementing the same system.
- An article on software development productivity which doesn't seem to directly relate to formal methods. Not sure why that was in there....
- An article by Hoare illustrating several different types of formal programming methods, including logical, functional, algebraic, etc. On the down side, he uses a simple greatest common divisor example to illustrate.
- Two breif articles on the use of formal methods in standards, including military and safety standards.
- Two articles on the Praxis CDIS project. One is a reflective article by Anthony Hall, while the other is an independent analysis of the fault data recorded by Praxis.
- Hall's famous list of Seven Myths of Formal Methods, in which he relates misconceptions about FM using the Praxis CASE project as an example.
- A brief overview of some formal methods projects as part of the introduction to an IEEE FM special issue.
- An article by Craigen, Gerhart, and Ralston discussing the regulatory part of their massive 2 volume, 12 project formal methods study.
- A book chapter by Craigen, Gerhart, and Ralston discussing technology transfer from formal methods practitioners to the main stream and why there isn't more of it.