Newsgroups: comp.object,comp.object.logic,comp.software-eng,comp.specification,comp.specification.z
Path: cantaloupe.srv.cs.cmu.edu!bb3.andrew.cmu.edu!news.sei.cmu.edu!cis.ohio-state.edu!math.ohio-state.edu!howland.reston.ans.net!cs.utexas.edu!utnut!utcsri!newsflash.concordia.ca!CC.UMontreal.CA!IRO.UMontreal.CA!ezust
From: ezust@IRO.UMontreal.CA (Alan Ezust)
Subject: Re: Needed info. on formalization of analysis & design
Message-ID: <D2LxvJ.DKB@IRO.UMontreal.CA>
Sender: news@IRO.UMontreal.CA
Organization: University of Montreal, Computer Science
References: <3fffha$nsv@knot.queensu.ca>
Date: Wed, 18 Jan 1995 15:33:17 GMT
Lines: 31
Xref: glinda.oz.cs.cmu.edu comp.object:25253 comp.object.logic:305 comp.software-eng:29622 comp.specification:2712 comp.specification.z:1717

In article <3fffha$nsv@knot.queensu.ca>,
Xiaobing Zhang <xzhang@qucis.queensu.ca> wrote:
>I am interested in the formal specification of software analysis and
>design techniques, especially object-oriented analysis and design methods.
>
>Can anyone tell me where to find some information about the related
>work?
>
>Thanks.
>
>Xiaobing Zhang
>Dept. of Computing and Info. Sci.
>Queen's University
>Kingston, Ont.
>Canada


Our research group does a lot of work in these areas. Check our our www
home page, from which you can see a list of all our publications, view
postscript files of our recent publications, see what projects our
students are working on, and ways to contact professors here, and request
additional papers.

http://www.iro.umontreal.ca/labs/teleinfo/

Cheers.

-- 
| Alan Ezust           ezust@iro.umontreal.ca      Montreal, Quebec, Canada |
|---------- Universite de Montreal    Departement d'informatique -----------|
  Tel. (514) 343-6111 ext. 3503                Fax. (514) 343-5834
