mitchell@community-chest.uucp (George Mitchell) (11/22/89)
In news.groups article <253@oasis.mrcu> yd25@uk.co.gec-mrc (Bob Smith) wrote: ` `There are several people who would be in favour of a formal specifications `group at Marconi Research Centre. (We are especially interested in Z and `Object-oriented Z). `-- `Robert Smith | Tel: +44 245 73331 x.3215 `GEC-Marconi Research Centre | Fax: +44 245 75244 `Great Baddow, Chelmsford, | Uucp: ...!mcvax!ukc!mrcu!yd25 `Essex, UK CM2 8HN | Other: yd25@uk.co.gec-mrc What experience(s) have you (plural) had with using a specification language to document O-O analysis/design? Reply to me directly and I will summarize for the net. Thanks in advance. -- /s/ George vmail: 703/883-6029 email: mitchell@community-chest.mitre.org [alt: gmitchel@mitre.arpa] snail: GB Mitchell, MITRE, MS Z676, 7525 Colshire Dr, McLean, VA 22102