SWAT and Rascal

CloudsCalendar199719981999200020012002 — 2003 — 2004200520062007200820092010201120122013

List of presentations in 2003 (latest first)


(PEM) Introduction to the System Analysis Toolkit.
Date: 13 November 2003, 10:00, M280.
Speaker: Tobias Kuipers.
Materials: [Abstract]
(PEM) Formal Islands: introducing algebraic pattern matching facilities into a classical language.
Date: 6 November 2003, 10:00, M280.
Speaker: Pierre-Etienne Moreau.
Materials: [Abstract]
(PEM) Bridging the Gap between Distributed Middleware and Software Engineering.
Date: 16 October 2003, 10:00, M280.
Speaker: Vania Marangozova.
Materials: [Abstract]
(CANCELLED) Testability of Object-Oriented Systems: a Metrics-based Approach.
Date: 18 September 2003, 10:00, Z.009.
Speaker: Magiel Bruntink.
Materials: [Abstract]
(PEM) Refactoring for Generalization using Type Constraints.
Date: 23 June 2003, 14:00, M279.
Speaker: Frank Tip.
Materials: [Abstract]
(PEM) High Level, High Speed FPGA Programming.
Date: 16 June 2003, 15:00.
Speaker: Wim Bohm.
Materials: [Abstract]
(CANCELLED) First-order Theorem Proving with Equality by Superposition.
Date: 24 April 2003, 10:00.
Speaker: Jürgen Stuber.
Materials: [Abstract]
(CANCELLED) Rule-based compilation for data-parallel languages.
Date: 17 April 2003, 14:00.
Speaker: Leo Breebaart (TU Delft).
Materials: [Abstract]
(PEM) An Action Semantics Environment.
Date: 3 April 2003, 10:00, M280.
Speaker: Jørgen Iversen.
Materials: [Abstract]
(PEM) Standalone sdf/asf/term editors: a next step towards standalone environments.
Date: 20 March 2003, 14:00, F013 (UvA).
Speaker: Mark van den Brand.
Materials: [Abstract]
(PEM) Source Based Software Risk Assessment.
Date: 13 March 2003, 10:00, F013 (UvA).
Speaker: Tobias Kuipers.
Materials: [Abstract]
(PEM) Generative Programming: Towards Automation in Product-Line Development.
Date: 7 March 2003, 10:00, Z009.
Speaker: Krzysztof Czarnecki.
Materials: [Abstract]
(PEM) A verification mechanism for Java.
Date: 27 February 2003, 10:00, F013 (UvA).
Speaker: Robbert de Haan.
Materials: [Abstract]
(PEM) Software Assessment.
Date: 20 February 2003, 10:00, F013 (UvA).
Speaker: Paul Hendriks and Hans van Oosten (M&I).
Materials: [Abstract]
(PEM) Dynamic Business Integration met behulp van Agent Technology.
Date: 6 February 2003, 10:00, C001.
Speaker: René Clerc (Tryllian B.V.).
Materials: [Abstract]
(PEM) Tools and Techniques for Java API Testing.
Date: 30 January 2003, 10:00, Z009.
Speaker: Paul Strooper.
Materials: [Abstract]
(PEM) Database Reverse Engineering and Data-centered application Reengineering.
Date: 21 January 2003, 10:00, M279.
Speaker: Jean Henrard (Universiteit van Namen).
Materials: [Abstract]
(PEM) Tolerant parsing of Cobol systems for efficiently organizing transformation projects.
Date: 16 January 2003, 10:00, M280.
Speaker: Steven Klusener.
Materials: [Abstract]
(CANCELLED) Dynamic Business Integration met behulp van Agent Technology.
Date: 9 January 2003, 10:00, M279.
Speaker: René Clerc.
Materials: [Abstract]

XHTML 1.0CSS 2.1 Page generated on 20/02/2013. All material on this website is © by PEM speakers unless stated otherwise.
The list is maintained by Vadim Zaytsev.
Older abstracts are recovered by Vadim Zaytsev from archives of Jurgen Vunju and Bas Basten: URLs mentioned there are not guaranteed to work.