From: Jurgen Vinju To: Date: Fri, 24 Jun 2005 17:16:12 +0200 Subject: PEM 30-06-2005 at 10:00u Dear colleagues, Next Thursday our new colleague, Diego Ordonez, will introduce us to his research topics. You are cordially invited. This announcement can be found at Date: 30.06.05 Time: 10:00 Venue: M279 (CWI) Speaker: Diego Ordonez Title: An approach for developing generic spacecraft operation procedures The APPAREIL project ("a parametric approach to software reengineering"), will attempt to provide significant improvements to our industrial partner's (RHEA Systems) software suite(MOIS), mainly focused on the field of procedure design for spacecraft operations. These procedures are typically expressed in the form of some operations language, so that they can be executed by a particular mission control system. Unfortunately, a multitude of such operations languages exists, which are not all supported (yet) by MOIS. Therefore, this project will investigate how MOIS can be extended with a more generic approach for developing such mission operation procedures, that is more independent of the actual operations language considered. More specifically, the project aims at developing a technique for language-independent translation of operations expressed in any operations language to the internal MOIS representation, and back. _________________________________________________________________ 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 _________________________________________________________________