Re: Formal Specification (more...)

Article View: comp.specification

Article #164

Back to comp.specification Previous Next

#164

From: 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.)

Technical Details

Message-ID: <3055@unocss.unomaha.edu>

Path: arc1-ca.pugleaf.net!utzoo!attcan!uunet!zephyr.ens.tek.com!tektronix!sequent!upba!dsndata!unocss!mariam

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!utzoo!attcan!uunet!zephyr.ens.tek.com!tektronix!sequent!upba!dsndata!unocss!mariam
From: mariam@unocss.unomaha.edu (mariam)
Newsgroups: comp.specification
Subject: Re: Formal Specification (more...)
Message-ID: <3055@unocss.unomaha.edu>
Date: 9 Aug 90 23:39:49 GMT
Reply-To: mariam@unocss.UUCP (Mariam)
Organization: Univ. of Nebraska at Omaha - Computer Science
Lines: 7