Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.2 9/5/84; site yetti.UUCP
Path: utzoo!mnetor!yetti!oz
From: oz@yetti.UUCP (Ozan Yigit)
Newsgroups: ont.events
Subject: York University Distinguished Lecture Series
Message-ID: <469@yetti.UUCP>
Date: Tue, 24-Feb-87 14:28:14 EST
Article-I.D.: yetti.469
Posted: Tue Feb 24 14:28:14 1987
Date-Received: Tue, 24-Feb-87 18:52:52 EST
Reply-To: oz@yetti.UUCP (Ozan Yigit)
Distribution: ont
Organization: York University Computer Science
Lines: 45
Keywords: larch, specification-languages


	
			York University
		 Department of Computer Science
			Faculty of Arts
	
	 	  Distinguished Lecture Series


	
	 	     Professor John Guttag
	      MIT Laboratory for Computer Science


	
		The Larch Style of Specification
			    and the
	     Larch Family of Specification Languages


	
			     3:00 p.m.
		 	  March 16, 1987 
		      Curtis Lecture Hall B
	
			     ABSTRACT


        The Larch Project is developing tools and techniques
        intended to  aid in  the  productive use  of  formal
        specifications in program development.  A major part
        of the project  is the  development of  a family  of
        specification languages.   Each Larch  specification
        has one component written in a language derived from
        a programming language and another component written
        in  a   language   that  is   programming   language
        independent.  This talk  will present the  rationale
        behind the  Larch  style  of  specification  and  an
        introduction to  the Larch  family of  specification
        languages.

-- 
The best way to have a 		Usenet: [decvax|ihnp4]!utzoo!yetti!oz
good idea is to have a 		Bitnet: oz@[yusol|yuyetti].BITNET
lot of ideas.			Phonet: [416] 736-5053 x 3976