From: PEM moderator To: Date: Mon, 20 Sep 2004 11:16:31 +0200 (CEST) Subject: PEM meeting | 23.09.04 | H320 (Nikhef) Dear colleagues, You are invited to the following PEM. This announcement can be found at Tools and Research for Software Risk Assessments Date: 23.09.04 Time: 10:00 Venue: H320 (Nikhef) Speaker: Tobias Kuipers Title: Tools and Research for Software Risk Assessments Last year, the Software Improvement Group developed the System Analysis Toolkit, as reported in this forum. During the course of a number of Software Risk Assessments we discovered that the System Analysis Toolkit was based on a number of assumptions that weren't necessarily true, most of the time. This year, we therefore developed the System Analysis Toolkit 2. During this PEM I would like to tell the audience why and how we developed the new system. The new SAT is basically a platform for both experimental, and production strength software analyses. It allows for the flexibility needed to analyze an unknown language in a couple of weeks, but also accommodates large scale, multi-million line system analysis. The last part of the talk will list a number of research challenges we see when performing Software Risk Assessments. We would like to cooperate with academia on these challenges, and would like to provide the SAT as a platform for research validation. _________________________________________________________________ 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 _________________________________________________________________