« Unifying Math and Computer Science | Main | Mathematica »

February 08, 2009

TrackBack

TrackBack URL for this entry:
http://www.typepad.com/services/trackback/6a00d8345242f069e201053719ff50970b

Listed below are links to weblogs that reference Specification Languages:

Comments

RichB

Ethics? BillG? Kettle, pot etc?

William Blair

> Fred Brooks was probably influenced by this language,
> when writing the Mythical Man Month.

Not likely. Dr. Brooks had left IBM by 1966. Material that eventually came out in the book got a trial run in his graduate courses (my notes from those classes frequently read exactly like passages from the book -- he was that good a teacher and lecturer). The first MMM was published in 1975. Real work on VDM did not start until early 1973, with the first book out in 1978. Most likely, Brooks had never heard of VDM when MMM was being written during 1970-1973.

Wes

Excuse me, instead of Mythical Man Month, I meant his treatise on "No Silver Bullet," published much later around 1986. In it, he states that specifications are no silver bullet.

William Blair

> instead of Mythical Man Month, I meant ... "No Silver Bullet"

Yes, then that would be possible.

Verify your Comment

Previewing your Comment

This is only a preview. Your comment has not yet been posted.

Working...
Your comment could not be posted. Error type:
Your comment has been posted. Post another comment

The letters and numbers you entered did not match the image. Please try again.

As a final step before posting your comment, enter the letters and numbers you see in the image below. This prevents automated programs from posting comments.

Having trouble reading this image? View an alternate.

Working...

Post a comment

My name is Wesner Moise. I am a software entrepreneur developing revolutionary AI desktop applications. I worked as a software engineer in Microsoft Excel group for six years during the 1990s. I worked on PivotTables and wrote the most lines of code in Excel 97-- about 10 times the median developer. I have a Harvard BA in applied math/computer science and a UCLA MBA in technology entrepreneurship. I am a member of the Triple Nine Society, a 99.9 percentile high-IQ society.

December 2013

Sun Mon Tue Wed Thu Fri Sat
1 2 3 4 5 6 7
8 9 10 11 12 13 14
15 16 17 18 19 20 21
22 23 24 25 26 27 28
29 30 31