Re: Formal Specification (more...)

Thread View: comp.specification

2 messages

[T] Back to Threads [V] Tree View [G] Group Articles

2 total messages Started by mariam Thu, 09 Aug 1990 23:39

#164

Author: mariam
Date: Thu, 09 Aug 1990 23:39

7 lines
712 bytes

I just noticed that two of the documents I cited
in my previous posting, namely the SEI-CM-8-1.0 and
SEI-CM-11-2.1, together contain more than 30-35 pages
of annotated references to related work in the area
of formal specifications. (The annotation of some 
references contains the actual abstract of the article.)

VDM Book (Teaching Notes)

#165

Author: Cliff Jones
Date: Tue, 14 Aug 1990 09:02

18 lines
808 bytes

Some interest has been expressed in the second edition of my book:

Systematic Software Development using VDM

The "Teaching Notes" are (at last) available from:

	Ms. Helen Martin,
	Prentice-Hall International
	Wolsey House, Wolsey Road
	Hemel Hempstead
	Hertfordshire
	HP2 4SS
	England

FAX: ++44 442-52544

cliff jones

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads