From: Jurgen Vinju
To:
Date: Fri, 5 Nov 2004 13:09:57 +0100
Subject: PEM: Tobias Kuipers | Types and Concepts for Legacy Systems |  3.02.00

 
From: pem (PEM moderator)
To: pem-noreply
Subject: PEM meeting |  3.02.00 | M2.79, CWI 
Precedence: bulk
X-url: http://www.cwi.nl/~pem
Mime-Version: 1.0
Content-Type: text/plain;
        charset="iso-8859-1"

   Dear Environmentalists,

   This  week, your friendly PEM organizer will tell you about how he and
   Leon  Moonen  combined  type  inference  and  concept analysis to gain
   insight into legacy systems.

   This announcement can be found at <http://www.cwi.nl/~pem>

                   Types and Concepts for Legacy Systems

   Date:     3.02.00
   Time:    10:00
   Venue:   M2.79, CWI
   Speaker: Tobias Kuipers
   Title:   Types and Concepts for Legacy Systems

   [joint work with Leon Moonen]

   We  combine  type  inference  and  concept  analysis  in order to gain
   insight  into legacy software systems. Type inference for COBOL yields
   the  types  for variables and program parameters. These types are used
   to perform mathematical concept analysis on legacy systems.

   We   have   developed   ConceptRefinery,   a  tool  for  interactively
   manipulating  concepts. We show how this tools facilitates experiments
   with  concept  analysis, and lets reengineers employ their knowedge of
   the legacy system to refine the results of concept analysis.
     _________________________________________________________________

   The  programming environment meetings are a forum for the presentation
   and  discussion  of  new  ideas,  ongoing and finished work. A typical
   meeting  addresses  a subject in the area of programming environments,
   program  generation, algebraic specification, term rewriting, parsing,
   etc.  A presentation ideally takes between 45 and 90 minutes. Meetings
   taking  longer  than 45 minutes are interrupted by a coffeebreak. Most
   Thursdays,  a  meeting is held which starts at 10:00 am. in one of the
   rooms at CWI/WINS. Exceptionally, dates or times may change.

   The    program    of    the    meetings    is    available   on   WWW:
   http://www.cwi.nl/~pem
     _________________________________________________________________