From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.3 required=5.0 tests=BAYES_00,INVALID_MSGID autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 104e31,eb42410c4016127d,start X-Google-Attributes: gid104e31,public X-Google-Thread: fac41,eb42410c4016127d,start X-Google-Attributes: gidfac41,public X-Google-Thread: 109fba,eb42410c4016127d,start X-Google-Attributes: gid109fba,public X-Google-Thread: 114592,eb42410c4016127d,start X-Google-Attributes: gid114592,public X-Google-Thread: 1111a3,eb42410c4016127d,start X-Google-Attributes: gid1111a3,public X-Google-Thread: 1108a1,eb42410c4016127d,start X-Google-Attributes: gid1108a1,public X-Google-Thread: 114809,eb42410c4016127d,start X-Google-Attributes: gid114809,public X-Google-Thread: 103376,eb42410c4016127d,start X-Google-Attributes: gid103376,public From: eden@csd.uu.se Subject: Formal and precise representation of design patterns Date: 1999/05/06 Message-ID: <373174a4.0@newsfeed.uu.se>#1/1 X-Deja-AN: 474686619 X-Trace: 6 May 1999 12:53:24 +0100, dh18.docs.uu.se Newsgroups: alt.comp.lang.learn.c-c++,comp.lang.ada,comp.lang.c++,comp.lang.eiffel,comp.lang.objective-c,comp.lang.smalltalk,comp.object,comp.lang.pascal.delphi,comp.lang.java Date: 1999-05-06T00:00:00+00:00 List-Id: As the interest grows in formal and precise specification languages for design patterns, we invite you to visit the (Informal, Unofficial, Independent, Non-Sponsored) Page of Formal And Precise Software Patterns Representation Languages at: http://www.csd.uu.se/~eden/precise_and_formal/. The page provides a list of links to the works know in the field and a short FAQ. You are welcome to send me your comments and suggestions! Amnon H. Eden Guest lecturer Department of Computing Systems (DoCS), Uppsala University Home page: http://www.math.tau.ac.il/~eden Local home page, Uppsala University: http://www.csd.uu.se/~eden/ E-mail: eden@math.tau.ac.il