First extended example
Today was chapter 15 of Using Z. This one was an extended example/case study involving the basic programming interface for a filesystem.The example involved two basic object types (files and file...
View ArticleBack to the IFM
Boy, I'm falling behind. I was hoping to make a lot more traction this weekend.Today, I went back to the IFM92 survey. I finished off the last proper section of the first volume, with the conclusions...
View ArticleOne IFM volume down
Well, in addition to a little more reading on Z, I finished the first volume of the International Formal Methods Survey today. The last 20 pages consisted of the rest of the formal methods overview,...
View ArticleA software experiment and an analysis of CICS
I read and took notes on two papers today. The first was Kate Finney and Norman Fenton's 1996 paper Evaluating the Effectiveness of Z: Claims Made About CICS and Where to Go From Here. It basically...
View ArticleEvaluating FM
Today I read a couple of relatively short papers. The first one was Why Are Formal Methods Not Used More Widely?, by Knight, DeJong, Gibble, and Nakano. This paper is basically a study of whether or...
View ArticleCatching back up
On Thursday and Friday, I read through a 1997 paper comparing Z and VDM. This is kind of an interesting thing to do because they are probably the two most widely used and recognized formal methods. I...
View ArticleTime to get back to posting
Well, it's time to get back to posting regularly. I've been sort of meditating on where to go now for the last week or so. I've also been kind of busy, so I haven't gotten too much done to report on....
View ArticleReading and research
Well, this has been a largely unproductive thesis week. I was hoping to get more done, but I had a lot of other things going on. On Monday, I read a 1998 paper entitled On the Need for Practical Formal...
View ArticleYipe! It's been too long
Wow, it's been a whole month since my last post! That's not good....While I've been busy with other things lately, I have not been totally ignoring my thesis work. I just haven't been getting as much...
View ArticleBack to posting
Yet again, it's been way too long since my last post. While I have been busy with other things, I haven't been completely slacking off.I've been reading and browsing through a variety of papers the...
View Article
