Skip to main content

IBM Leadership Seminars


Seminar Navigation


IBM Programming Languages and Development Environments Seminar 2008
on Innovations in Software Development
June 25, 2008
Organized by IBM Haifa Research Lab

Program
PDF version for printing (600 KB)

09:00 Registration

09:30 Opening Remarks
Yishai Feldman, Yael Dubinsky and Dolev Dotan, IBM HRL, Seminar organizers

9:35 Session I:
Extending Rational Team Concert (RTC) to Support the Governance of Software Development Projects
Alex Kofman, Avi Yaeli, and Yael Dubinsky, IBM HRL
(Presentation)

Automating Big Refactorings for Componentization and the Move to SOA
Aharon Abadi, Ran Ettinger, and Yishai A. Feldman, IBM HRL
(Presentation)

The Aspect-Oriented Process Support Framework
Oren Mishali and Shmuel Katz, Technion
(Presentation)

The ERP Paradigm for ALM Environments - An Experience Report
Shai Koenig, Comverse
(Presentation)

11:00 Demonstrations and posters session
See list below

11:45 Session II:
Towards Trace Visualization and Exploration for Reactive Systems
Shahar Maoz, Asaf Kleinbort, and David Harel, Weizmann Institute
(Presentation)

Whiteoak: Introducing Structural Typing into Java
Joseph Gil and Itay Maman, Technion
(Presentation)
 

Reasoning on Finite Satisfiability in UML Class Diagrams
Azzam Maraee, Victor Makarenkov, and Mira Balaban, Ben-Gurion University
(Presentation)

13:00 Lunch

14:00 Keynote: On the Evolution of Tools and Languages
Axel Uhl, SAP AG
(Presentation)

15:00 Break

15:15 Session III:
YASSA: Yet Another Story of Agile Assessment
Gadi Lifshitz, Ayelet Kroskin, and Barak Yagour, Cisco, and Yael Dubinsky, IBM HRL
(Presentation)

Model-Driven Development for Embedded Software Product Lines
Julia Rubin, Tali Yatzkar-Haham, and Uri Avraham, IBM HRL
(Presentation)

Traceability Technique for Specifications
Aharon Abadi, Mordechai Nisenson, and Yahalomit Simionovici, IBM HRL
(Presentation)

16:30 IBM Café on Innovations in Software Development
A guided collaborative activity to discuss together research directions in software development tools, processes, and programming environments
Coffee will be available

17:15 Concluding Remarks
Oded Cohn, IBM HRL

Demonstrations and Posters Session

Developing Situational Methodologies - A Domain Engineering Approach
Anat Aharoni and Iris Reinhartz-Berger, Haifa University

Towards Trace Visualization and Exploration for Reactive Systems
Shahar Maoz, Asaf Kleinbort, and David Harel, Weizmann Institute

Automated Log Generation and Analysis Using Collaborative Tagging
Alex Romanov, Tel Aviv University, and Amir Kirsh, Academic College of Tel Aviv-Yaffo

Are We Ready for a Safer Construction Environment?
Yossi Gil and Tali Shragai, Technion

The Aspect-Oriented Process Support Framework
Oren Mishali and Shmuel Katz, Technion

The ERP Paradigm for ALM Environments - An Experience Report
Shai Koenig, Comverse

SUPA Demonstration
Moti Nisenson and Yahalomit Simionovici, IBM HRL

Generic Build System (GBS)
Asher Sterkin, NDS

BMOCK: A Test-Driven Development Environment for C/C++
Asher Sterkin, NDS

Semi Automatic DSL Generation
Iris Reinhartz-Berger, Zeev Tavor, and Arava Tsoury, Haifa University

Extending Rational Team Concert (RTC) to Support the Governance of Software Development Projects
Alex Kofman, Avi Yaeli, and Yael Dubinsky, IBM HRL

Leadership Seminars by year