SEWORLD Archives



Options: Use Forum View

Use Monospaced Font
Show Text Part by Default
Condense Mail Headers

Message: [<< First] [< Prev] [Next >] [Last >>]
Topic: [<< First] [< Prev] [Next >] [Last >>]
Author: [<< First] [< Prev] [Next >] [Last >>]

Print Reply
Subject:(SEWORLD) CfPart - Michael Jackson Tribute at ICSE'2009
From:Bashar Nuseibeh <[log in to unmask]>
Date:Wed, 8 Apr 2009 23:05:23 -0600 (MDT)


Requirements Engineering and Design:
	A Tribute to Michael Jackson

A one-day ICSE'09 Event, on 19th May 2009

Early registration deadline 11th April 2009.


This event celebrates Michael Jackson's seminal
contributions to software engineering, and
recognizes his influence on several generations of researchers.

The program features talks by these friends and
colleagues, followed by a response from Michael and a reception.

John Cameron (IBM)
Anthony Hall (Independent)
Tony Hoare (Microsoft Research)
Daniel Jackson (MIT)
Cliff Jones (Newcastle University)
Axel van Lamsweerde (Universit=E9 catholique de Louvain)
Bashar Nuseibeh (The Open University)
Pamela Zave (AT&T Research)

Participants will receive a copy of a new book
published in honor of this event, with reprints
of Michael's papers and many new contributions by the speakers.

Tentative Program:

Welcome, JSP and JSD
9:00 9:15 Bashar Nuseibeh and Pamela Zave: Welcome
9:15 9:45 Tony Hoare: Personal Reminiscences
9:45 10:00 Daniel Jackson: A Report on JSP by Tony Hoare
10:00 10:30 John Cameron

Coffee Break

Worlds and Machines
11:00 11:30 Axel van Lamsweerde: =46rom Worlds to Machines
11:30 12:00 Anthony Hall: The Quest for Correctness by Construction
12:00 12:30 Pamela Zave: Modularity in Distributed Feature Composition


Current Work
14:00 14:30 Cliff Jones: =46rom Problem Frames to HJJ (and its Known =20
14:30 15:00 Bashar Nuseibeh: Abuse Frames:
Inferring Security Requirements from Anti-Requirements
15:00 15:30 Daniel Jackson: A Notation for Design Rationale

Coffee Break

Response and Discussion
16:00 17:00 Michael Jackson Responds
17:00 17:30 Discussion


(Michael Jackson:

To contribute to SEWORLD, send your submission to
<[log in to unmask]>. provides more
information on SEWORLD as well as a complete archive of
messages posted to the list.

To subscribe to SEWORLD, send the following (as the body of
a message) to <[log in to unmask]>:

     subscribe seworld <desired e-mail address>

To unsubscribe from SEWORLD, send the following (as the body
of a message) to <[log in to unmask]>:

     unsubscribe seworld <registered e-mail address>