Embed Size (px)
Citation preview
14th IEEE InternationalRequirements EngineeringConference
ConferenceProgram
Minneapolis/St. Paul, Minnesota, USASeptember 11-15, 2006
http://www.re06.org
Sponsored by
In Cooperation with Corporate Donors
ifip WG 2.9
Universität ZürichInstitut für Informatik
College of Liberal Arts & Sciences
215.9 mm / 8.5 inch
1 mm / 0.394 inch (extra for stapling)
215.9 mm / 8.5 inch
279.
4 m
m /
11
inch
Siemens Corporate Research
Program-at-a-Glance
Contents Welcome____________________________1 Conference Committee ______________2 Venue _______________________________3 Conference Program_________________4 Keynotes ___________________________10 Mini-Tutorials / Meet the Expert ____11 Practice and Experience Talks _______12 Exhibition __________________________13 Meetings ___________________________13 Social Events _______________________13 Tutorials____________________________14 Workshops _________________________14 Doctoral Symposium________________15 Locations___________________________16
Monday, September 11, 2006
Time Tutorials Workshops 9:00-12:30 H1 H3 W1: AuRE’06 W2: REV’06 W3: CERE‘06 W4: Cancelled
Lunch 14:00-17:30 H2 H4 W1 (continued) W2 (continued) W3 (continued)
Tuesday, September 12, 2006
Time Tutorials Workshops Doctoral Symposium 9:00-12:30 F1 H5 W5: MeRE’06 W6: IWSPM’06 W7: SOCCER’06 Doctoral Symposium
Lunch 14:00-17:30 F1 (continued) H6 W5 (continued) W6 (continued) W7 (continued) DocSym (continued)
18:30 Welcome Reception
Wednesday, September 13, 2006
Time Research Track A (Avenues 4 & 5) Research Track B (South Forum) Practitioner Track (Center Forum) 8:45-10:15 Conference Opening Keynote 1: Mary Beth Rosson
Break 10:45-12:30 Research Papers 1: Languages, Methods and Tools Mini-Tutorial 1: Alan Davis
Lunch 14:00-15:30 Research Papers 2: Non-Functional Requirements Panel 1: Product Management Practice Papers 1: Application of RE
Break 16:00-17:30 Posters Research Demonstrations Practice Papers 2: Tailoring and Improvement
Thursday, September 14, 2006
Time Research Track A (Avenues 4 & 5)
Research Track B (South Forum)
Practitioner Track (Center Forum)
Birds-of-a-Feather (Satellite 6 and 7)
Vendor Presentations (Exhibitors’ Booths)
8:45-10:15 Awards Keynote 2: Dorothy Graham Break
10:45-12:30 Research Papers 3: Analysis Research Papers 4: Use Cases and Interaction Invited Experience Talks Lunch
14:00-15:30 Research Papers 5: Goals Panel 2: Traceability Meet the Expert: Ivy Hooks Break
16:00-17:30 Research Papers 6: Features Research Papers 7: Application and Alignment
Practice Papers 3: Process Issues
BOF 1: Requirements Nomenclature
Vendor Presentations
18:30 Conference Banquet
Friday, September 15, 2006
Time Research Track A (Avenues 4 & 5) Research Track B (South Forum) Practitioner Track (Center Forum) 8:45-10:15 Research Papers 8: Elicitation Panel 3: The Future of RE Invited Practice Talks
Break 10:45-12:30 Research Papers 9: Specific Domains and Areas Vision Papers Mini-Tutorial 2: Ellen Gottesdiener
Lunch 14:00-16:00 Keynote 3: John Mylopoulos Conference Closing
1
Welcome to Minneapolis
We cordially welcome you to RE’06, the 14th IEEE International Requirements Engineering Conference. We gather this year from September 11-15, in the vibrant city of Minneapolis in Minnesota, the “Land of 10,000 Lakes”.
The conference theme, “Understanding the Stakeholders’ Desires and Needs” reflects the fact that, at its core, requirements engineering is about satisfying the stakeholders. It also illustrates the growing importance of requirements engineering in software and systems development: we cannot build useful systems if we do not know the stakeholders’ desires and needs.
The conference offers a strong technical program with broad appeal to researchers, industrial practitio-ners, students, and educators in the field of requirements engineering.
The research paper sessions give participants the opportunity to hear and discuss innovative results and evaluations in requirements engineering research. In three panels, experts discuss current RE prob-lems as well as look into the future of requirements engineering. A session with four vision papers explores what is ahead in RE. The poster session previews innovative requirements engineering research, and demonstrations of research tools highlight new developments and offerings.
RE’06 also features a full practitioner track to address key issues faced by requirements engineering professionals in industry. The practitioner track contains refereed industrial practice and experience papers, invited practice and experience talks, two mini-tutorials, and a meet-the-expert session.
As a highlight for all participants, we are pleased to have three excellent keynote speakers. Mary Beth Rosson from Pennsylvania State University (USA) looks at requirements from an end-user perspective. Dorothy Graham, a founder and principal of Grove Consultants (UK), describes the relationship between requirements and testing from a practitioner’s viewpoint. Lastly, John Mylopoulos, University of Toronto (Canada) and Trento (Italy), a researcher deeply involved in shaping the field of requirements engineering, will talk about the future of goal-oriented requirements engineering.
Two days of tutorials and workshops, plus a doctoral symposium, precede the main conference. Tutori-als provide a popular and efficient way to learn about new topics in RE. The associated workshops, three of which are on-going from previous RE conferences, serve as forums for presenting current work and discussing shared interests. The RE’06 Doctoral Symposium gives doctoral students an opportunity to present their research and receive feedback from international experts in an open and constructive atmosphere.
RE’06 has been advertised as the Premier Requirements Engineering Conference. This is not just a slo-gan; it is our mission and commitment: all members of the RE’06 Organizing Committee, the Program Board and the Program Committee have worked hard and done their best to make RE’06 a truly premier event.
A total of 179 papers were submitted by authors from 28 countries, spanning every continent. Each paper was reviewed by multiple members of the Program Committee. Their reviews were then used by the Program Board to make the final selections. In all, 21 full research papers, seven short papers, four vision papers and seven industrial practice and experience papers were accepted to appear in the pro-ceedings. The high quality of these authors’ work is a key contribution to the overall quality of the con-ference.
We thank all members of the conference committee for their dedication and effort and our corporate donors for their generous support. And we hope that you, the participants of RE’06, will enjoy and find useful what we have prepared for you. Welcome to RE’06!
General Chair
Robyn Lutz Iowa State University and Jet Propulsion Lab, USA
Program Chair
Martin Glinz Universität Zürich, Switzerland
2
Conference Committee Organizing Committee
General Chair Robyn Lutz, Iowa State University and Jet Propulsion Lab, USA Program Chair Martin Glinz, Universität Zürich, Switzerland Local Arrangements Chair Mats Heimdahl, University of Minnesota, USA Financial Chair Jane Cleland-Huang, DePaul University, USA Practitioner Track Co-Chairs Ian Alexander, Independent Consultant, UK Frank Houdek, DaimlerChrysler Research, Germany Workshops Chair Mikio Aoyama, Nanzan University, Japan Tutorials Co-Chairs Nancy Day, University of Waterloo, Canada Jeff Joyce, Critical Systems Labs, Canada Doctoral Symposium Chair Betty H.C. Cheng, Michigan State University, USA Posters and Demos Chair Alain Wegmann, EPF Lausanne, Switzerland Publicity Co-Chairs Jeff Thompson, Boston Scientific, USA Sebastian Uchitel, Imperial College, UK Registration Chair Ramesh Bharadwaj, Naval Research Laboratory, USA Student Volunteers Chair Eric Van Wyk, University of Minnesota, USA Proceedings Chair Samuel Fricker, ABB Research and Universität Zürich, Switzerland Webmaster Tobias Reinhard, Universität Zürich, Switzerland Steering Committee Chair Roel Wieringa, Universiteit Twente, The Netherlands Program Board The Program Board Members served as associate program chairs.
Betty H.C. Cheng, Michigan State University, USA Sol Greenspan, National Science Foundation, USA Neil Maiden, City University London, UK Bashar Nuseibeh, The Open University, UK Klaus Pohl, Lero – University of Limerick, Ireland and Universität Duisburg-Essen, Germany Colette Rolland, Université Paris 1, France Motoshi Saeki, Tokyo Institute of Technology, Japan Alistair Sutcliffe, University of Manchester, UK Roel Wieringa, Universiteit Twente, The Netherlands
Program Committee
Ian Alexander, Independent Consultant, UK Daniel Amyot, University of Ottawa, Canada Mikio Aoyama, Nanzan University, Japan Joanne Atlee, University of Waterloo, Canada Daniel Berry, University of Waterloo, Canada Jaelson Castro, Universidade Federal de Pernambuco, Brazil Marsha Chechik, University of Toronto, Canada Daniela Damian, University of Victoria, Canada Nancy Day, University of Waterloo, Canada Eric Dubois, Centre de Recherche Henri Tudor, Luxemburg Christof Ebert, Alcatel, France Martin Feather, Jet Propulsion Lab, USA Steve Fickas, University of Oregon, USA Anthony Finkelstein, University College London, UK Xavier Franch, Universitat Politècnica de Catalunya, Spain Donald C. Gause, Binghamton University, USA Vincenzo Gervasi, Università di Pisa, Italy Carlo Ghezzi, Politecnico di Milano, Italy Holger Giese, Universität Paderborn, Germany Michael Goedicke, Universität Duisburg-Essen, Germany Orlena Gotel, Pace University, USA Anthony Hall, Independent Consultant, UK Jane Hayes, University of Kentucky, USA Mats Heimdahl, University of Minnesota, USA Constance Heitmeyer, Naval Research Laboratory, USA Patrick Heymans, FUNDP (University of Namur), Belgium Frank Houdek, DaimlerChrysler Research, Germany Pankaj Jalote, IIT Delhi, India Marina Jirotka, University of Oxford, UK Natalia Juristo, Universidad Politécnica de Madrid, Spain Søren Lauesen, IT-Universitetet i København, Denmark Julio Leite, PUC-Rio, Brazil Michel Lemoine, ONERA, France Emmanuel Letier, Université catholique de Louvain, Belgium Nazim Madhavji, University of Western Ontario, Canada John Mylopoulos, University of Toronto, Canada Andreas Opdahl, Universitetet i Bergen, Norway Barbara Paech, Universität Heidelberg, Germany Oscar Pastor, Universitat Politècnica de València, Spain Björn Regnell, Lunds Universitet, Sweden Bill Robinson, Georgia State University, USA Kevin Ryan, Lero – University of Limerick, Ireland Guttorm Sindre, NTNU, Norway Erik Simmons, Intel Corporation, USA Tetsuo Tamai, University of Tokyo, Japan Jeffrey Thompson, Boston Scientific, USA Alain Wegmann, EPF Lausanne, Switzerland Eric Yu, University of Toronto, Canada Didar Zowghi, University of Technology Sydney, Australia
3
Additional Reviewers
Fernanda Alencar, Brazil Björn Axenath, Germany Saeed Ahmadi Behnam, Canada Lars Borner, Germany Edna Braun, Canada Dante Carrizo Moreno, Spain Annamaria Carusi, UK Zebin Chen, USA Diego Colombo, Italy Dolors Costal, Spain Chad Coulin, Australia Luiz Marcio Cysneiros, Canada Jose Diego De la Cruz, Switzerland Oscar Dieste, Spain Yong Du, Canada Sepideh Ghanavati, Canada Gemma Grau, Spain Atul Gupta, India
Jameleddine Hassine, Canada Stefan Henkler, Germany Andrea Herrmann, Germany Chris Hinds, UK Martin Hirsch, Germany Jennifer Horkoff, Canada Timea Illes, Germany Anjali Joshi, USA Jason Kealey, Canada Florian Klein, Germany Irwin Kwan, Canada Lam-Son Le, Switzerland Maria Lencastre, Brazil Lin Liu, Canada Raimundas Matulevicius, Belgium Ana M. Moreno, Spain Gunter Mussbacher, Canada N Nurmuliani, Australia
Mustafizur Rahman, UK Ajitha Rajan, USA Gil Regev, Switzerland Jean-François Roy, Canada Jürgen Rückert, Germany Irina Rychkova, Switzerland Maria-Isabel Sanchez-Segura, Spain Germain Saval, Belgium Carla Silva, Brazil Stéphane S. Somé, Canada Markus Strohmaier, Canada Dima Suliman, Germany Josée Tasse, USA Jean-Christophe Trigaux, Belgium Sira Vegas, Spain Michael Weiss, Canada Norazlin Yusop, Australia Panayiotis Zaphiris, UK
Venue
RE’06 will be held in the Millennium Hotel in Minneapolis, Minnesota, USA. The ‘Twin Cities’ Minneapolis and St. Paul lie on the Mississippi, about 530 km / 330 miles northwest of Chicago. They are a popular destination for recreational travel. St. Paul is the capital of Minnesota.
How to Get There
Minneapolis/St. Paul International Airport is served by all major American airlines. Downtown Minneapolis is approximately 16 miles from the airport, with taxi fares averaging $28.00-$36.00.
Alternatively there is a light rail service from the airport to downtown Minneapolis which costs $2.00. At the airport, take the Hiawatha line to Downtown Minneapolis. Exit at Nicollet Mall Station. Transfer to bus station at Nicollet Mall/5th Street. Take bus line 17 or 18 southbound. Exit at Nicollet Ave/Grant street. Walk back 1/2 block on Nicollet Ave. The hotel is to your right.
See http://www.ifi.unizh.ch/req/events/RE06/Venue/Venue.html for maps and driving directions.
Registration Opening Hours
Sunday, September 10: 17:00-18:30, Lower Level
Monday, September 11 to Thursday, September 14: 8:00-18:00, North Forum Ballroom (Lobby Level)
Friday, September 15: 8:00-12:00, North Forum Ballroom (Lobby Level)
Where to Go
For restaurants, shopping, culture, recreation, sports, etc., see http://www.ifi.unizh.ch/req/events/RE06/Venue/Venue.html or the handouts in the conference bag.
Mon
day
Prog
ram
Sept
embe
r 11
, 200
6 Ti
me
Tuto
rial
s W
orks
hops
9:0
0-12
:30
Tuto
rial
H1:
Te
n Si
mpl
e St
eps
to B
ette
r Re
quire
men
ts
Ian
Alex
ande
r (In
depe
nd-
ent C
onsu
ltant
, UK)
Tuto
rial
H3:
Bu
ildin
g a
Plat
form
-Inde
-pe
nden
t Mod
el w
ith M
DA
Chris
toph
er A
rmst
rong
(A
rmst
rong
Pro
cess
Gro
up,
USA)
Wor
ksho
p W
1:
Inte
rnat
iona
l Aut
omot
ive
Requ
irem
ents
Eng
inee
ring
Wor
ksho
p (A
uRE’
06)
Wor
ksho
p W
2:
Firs
t Int
erna
tiona
l Wor
k-sh
op o
n Re
quire
men
ts
Engi
neer
ing
Visu
aliza
tion
(REV
’06)
Wor
ksho
p W
3:
Four
th In
tern
atio
nal W
ork-
shop
on
Com
para
tive
Eval
-ua
tion
in R
equi
rem
ents
En
gine
erin
g (C
ERE‘
06)
Wor
ksho
p W
4 Ca
ncel
led
Lu
nch
14:0
0-17
:30
Tuto
rial
H2:
Ch
ange
Age
ncy
for R
e-qu
irem
ents
Eng
inee
rs
Erik
Sim
mon
s (In
tel,
USA
)
Tuto
rial
H4:
Su
cces
sful
Pro
duct
Lin
e De
velo
pmen
t with
Stro
ng
Requ
irem
ents
Eng
inee
ring
and
Man
agem
ent
Andr
eas B
irk (s
d&m
, Ger
-m
any)
, Ger
ald
Helle
r (He
-w
lett-
Pack
ard,
Ger
man
y)
Wor
ksho
p W
1 (c
ontin
ued)
W
orks
hop
W2
(con
tinue
d)
Wor
ksho
p W
3 (c
ontin
ued)
Tues
day
Prog
ram
Sept
embe
r 12
, 200
6 Ti
me
Tuto
rial
s W
orks
hops
D
octo
ral S
ympo
sium
9:0
0-12
:30
Tuto
rial
F1:
Co
ntex
t: Its
Disc
over
y, it
s Fo
rms,
and
its
Man
age-
men
t in
Non
-Fun
ctio
nal
Requ
irem
ents
Do
n G
ause
(Bin
gham
ton
Univ
ersit
y, U
SA)
Tuto
rial
H5:
Se
curit
y Re
quire
men
ts E
n-gi
neer
ing
Met
hodo
logi
es
Fabi
o M
assa
cci,
John
M
ylopo
ulos
, Nico
la
Zann
one
(Uni
vers
ità d
i Tr
ento
, Ita
ly)
Wor
ksho
p W
5:
Firs
t Int
erna
tiona
l Wor
k-sh
op o
n M
ultim
edia
Re-
quire
men
ts E
ngin
eerin
g –
Beyo
nd M
ere
Des
crip
tions
(M
eRE’
06)
Wor
ksho
p W
6:
Inte
rnat
iona
l Wor
ksho
p on
So
ftwar
e Pr
oduc
t Man
age-
men
t (IW
SPM
’06)
Wor
ksho
p W
7:
Serv
ice-
Orie
nted
Com
put-
ing:
Con
sequ
ence
s fo
r En
gine
erin
g Re
quire
men
ts
(SO
CCER
’06)
Doc
tora
l Sym
posi
um
Lu
nch
14:0
0-17
:30
Tuto
rial
F1
(con
tinue
d)
Tuto
rial
H6:
As
pect
-Orie
nted
Req
uire
-m
ents
Eng
inee
ring
Awai
s Ras
hid,
Ruz
anna
Ch
itchy
an (L
anca
ster
Uni
-ve
rsity
, UK)
, Ana
Mor
eira
, Jo
ão A
raúj
o (U
nive
rsid
ade
Nova
de
Lisb
oa, P
ortu
gal)
Wor
ksho
p W
5 (c
ontin
ued)
W
orks
hop
W6
(con
tinue
d)
Wor
ksho
p W
7 (c
ontin
ued)
D
octo
ral S
ympo
sium
(c
ontin
ued)
18:3
0 W
elco
me
Rece
ptio
n M
illen
nium
Hot
el,1
4th
floor
4
Wed
nesd
ay P
rogr
am
Se
ptem
ber
13, 2
006
Tim
e Re
sear
ch T
rack
A
(Ave
nues
4 &
5)
Rese
arch
Tra
ck B
(S
outh
For
um)
Prac
titi
oner
Tra
ck
(Cen
ter F
orum
) 8
:45-
10:1
5 Co
nfer
ence
Ope
ning
Ke
ynot
e 1
Chai
r: M
artin
Glin
z (U
nive
rsitä
t Zür
ich, S
witz
erla
nd)
End
Use
rs W
ho M
eet T
heir
Ow
n Re
quire
men
ts
Mar
y Be
th R
osso
n (P
enns
ylvan
ia S
tate
Uni
vers
ity, U
SA)
Br
eak
10:4
5-12
:30
Rese
arch
Pap
ers
1: L
angu
ages
, Met
hods
and
Too
ls
Chai
r: Te
tsuo
Tam
ai (U
nive
rsity
of T
okyo
, Jap
an)
A Ca
se S
tudy
in S
yste
mat
ic Im
prov
emen
t of L
angu
age
for R
equi
rem
ents
Ki
mbe
rly S
. Was
son
(Uni
vers
ity o
f Virg
inia
, USA
) G
ener
atin
g H
iera
rchi
cal S
tate
Mac
hine
s Fr
om U
se C
ase
Char
ts
Jon
Whi
ttle,
Pra
veen
K. J
ayar
aman
(Geo
rge
Mas
on
Univ
ersit
y, U
SA)
Mak
ing
Mob
ile R
equi
rem
ents
Eng
inee
ring
Tool
s U
sabl
e an
d U
sefu
l Ne
il M
aide
n (C
ity U
nive
rsity
Lon
don,
UK)
, Nor
bert
Seyf
f, Pa
ul G
rünb
ache
r (J.
Kepl
er U
nive
rsitä
t Lin
z, A
ustri
a),
Omo
Oto
jare
(City
Uni
vers
ity L
ondo
n, U
K), K
arl M
it-te
regg
er (J
. Kep
ler U
nive
rsitä
t Lin
z, A
ustri
a)
Min
i-Tut
oria
l 1
Chai
r: O
scar
Pas
tor (
Univ
ersit
at P
olitè
cnica
de
Valè
ncia
, Spa
in)
Just
Eno
ugh
Requ
irem
ents
Man
agem
ent
Alan
Dav
is (U
nive
rsity
of C
olor
ado
at C
olor
ado
Sprin
gs, U
SA)
Lu
nch
14:0
0-15
:30
Rese
arch
Pap
ers 2
: Non
-Fun
ctio
nal R
equi
rem
ents
Ch
air:
Kevi
n Ry
an (L
ero
– Un
iver
sity
of L
imer
ick, I
rela
nd)
The
Det
ectio
n an
d Cl
assif
icat
ion
of N
on-F
unct
iona
l Re
quire
men
ts w
ith A
pplic
atio
n to
Ear
ly A
spec
ts
Jane
Cle
land
-Hua
ng, R
affa
ella
Set
timi,
Xuch
ang
Zou,
Pe
ter S
olc
(DeP
aul U
nive
rsity
, USA
) Em
otio
nal R
equi
rem
ents
in V
ideo
Gam
es (S
hort
Pape
r) Da
vid
Calle
le, E
ric N
eufe
ld, K
evin
Sch
neid
er (U
nive
rsity
of
Sas
katc
hew
an, C
anad
a)
Tow
ards
Reg
ulat
ory
Com
plia
nce:
Ext
ract
ing
Righ
ts a
nd
Obl
igat
ions
to A
lign
Requ
irem
ents
with
Reg
ulat
ions
Tr
avis
D. B
reau
x, M
atth
ew W
. Vai
l, An
nie
I. An
tón
(Nor
th C
arol
ina
Stat
e Un
iver
sity,
USA
)
Pane
l 1: P
rodu
ct M
anag
emen
t M
oder
ator
: Chr
istof
Ebe
rt (A
lcate
l, Fr
ance
) Ha
ve Y
ou S
poke
n to
You
r Pro
duct
Man
ager
Rec
ently
? Ho
w R
equi
rem
ents
Eng
inee
ring
Influ
ence
s Pr
oduc
t Man
-ag
emen
t and
Vic
e Ve
rsa.
Pa
nelis
ts: S
jaak
Brin
kkem
per (
Univ
ersit
eit U
trech
t, Th
e Ne
ther
land
s), B
ob B
row
n (In
tel,
USA
), St
even
Hai
nes
(Seq
uent
Lea
rnin
g Ne
twor
ks, U
SA),
John
Milb
urn
(Pra
g-m
atic
Mar
ketin
g, U
SA),
Hugo
Geu
vens
(Sie
men
s, U
SA/
Belg
ium
), G
ünth
er R
uhe
(Uni
vers
ity o
f Cal
gary
, Can
ada)
Prac
tice
Pap
ers
1: A
pplic
atio
n of
RE
Chai
r: O
rlena
Got
el (P
ace
Univ
ersit
y, U
SA)
Expe
rienc
es o
f Req
uire
men
ts E
ngin
eerin
g fo
r Tw
o Co
n-se
cutiv
e Ve
rsio
ns o
f a P
rodu
ct a
t VLS
C Jo
el S
o, D
anie
l Ber
ry (U
nive
rsity
of W
ater
loo,
Can
ada)
Co
ntro
lling
the
HM
S Pr
ogra
m th
roug
h M
anag
ing
Re-
quire
men
ts
Debr
a Au
brey
(Gen
eral
Dyn
amics
C4
Syst
ems,
USA
) O
ptim
al S
olut
ions
for H
ospi
tal W
ebsit
es
Kars
ten
Wen
dlan
d (T
echn
ische
Uni
vers
ität D
arm
stad
t, Ge
rman
y), C
laud
ia P
lanz
, Pet
er O
ldor
f (Kl
inik
en d
es
Mai
n-Ta
unus
-Kre
ises,
Ger
man
y)
Canc
elle
d –
read
the
pape
r in
the
proc
eedi
ngs
Br
eak
5
Wed
nesd
ay P
rogr
am (c
onti
nued
) Se
ptem
ber
13, 2
006
Tim
e Re
sear
ch T
rack
A
(Nor
th F
orum
) Re
sear
ch T
rack
B
(Sou
th F
orum
) Pr
acti
tion
er T
rack
(C
ente
r For
um)
16:0
0-17
:30
Post
ers
Chai
r: Al
ain
Weg
man
n (E
PF L
ausa
nne,
Sw
itzer
land
) U
sing
Aspe
cts
to S
impl
ify i*
Mod
els
F. A
lenc
ar (U
nive
rsid
ade
Fede
ral d
e Pe
rnam
buco
, Bra
zil; U
nive
r-sid
ade
Nova
de
Lisb
oa, P
ortu
gal),
A. M
orei
ra, J
. Ara
újo
(Uni
ver-
sidad
e No
va d
e Li
sboa
, Por
tuga
l), J.
Cas
tro (U
niv.
Fed
eral
de
Pern
ambu
co, B
razil
; IRS
T, It
aly)
, C. S
ilva
(Uni
vers
idad
e Fe
dera
l de
Per
nam
buco
, Bra
zil),
J. M
ylopo
ulos
(Uni
vers
ity o
f Tor
onto
, Ca
nada
) So
, You
Thi
nk Y
ou A
re a
Req
uire
men
ts E
ngin
eer?
B.
Al-A
ni, S
.E. S
im (U
nive
rsity
of C
alifo
rnia
Irvi
ne, U
SA)
Deriv
ing
Arc
hite
ctur
es fr
om R
equi
rem
ents
L.
Bas
tos (
Banc
o do
Bra
sil, B
razil
), J.
Cast
ro (U
nive
rsid
ade
Fede
ral d
e Pe
rnam
buco
, Bra
zil; I
RST,
Ital
y), J
. Mylo
poul
os (U
ni-
vers
ity o
f Tor
onto
, Can
ada)
To
war
ds a
n In
tegr
ated
App
roac
h fo
r Asp
ectu
al R
equi
rem
ents
I.
Brito
, A. M
orei
ra (U
nive
rsid
ade
Nova
de
Lisb
oa, P
ortu
gal)
Use
Cas
e-Ba
sed
Mod
elin
g an
d An
alys
is of
Fai
lsafe
Fau
lt-To
ler-
ance
A.
Ebn
enas
ir, B
. Che
ng, S
. Kon
rad
(Mich
igan
Sta
te U
nive
rsity
, US
A)
Goa
l-Orie
nted
Mod
elin
g of
Req
uire
men
ts E
ngin
eerin
g fo
r Dy
nam
ical
ly A
dapt
ive
Syst
ems
H. G
olds
by, B
. Che
ng (M
ichig
an S
tate
Uni
vers
ity, U
SA)
Elic
iting
Non
-Fun
ctio
nal R
equi
rem
ents
Inte
ract
ions
Usin
g th
e Pe
rson
al C
onst
ruct
The
ory
B. G
onzá
lez-
Baix
auli
(Uni
vers
idad
de
Valla
dolid
, Bra
zil),
J. Le
ite
(PUC
-Rio
, Bra
zil),
M. L
agun
a (U
nive
rsid
ad d
e Va
llado
lid, B
razil
) In
tegr
atin
g G
oals
and
Prob
lem
Fra
mes
in R
equi
rem
ents
Ana
lysis
L.
Liu
(Tsin
ghua
Uni
vers
ity, C
hina
), Z.
Jin
(Aca
dem
y of
Mat
he-
mat
ics a
nd S
yste
m S
cienc
es, C
hina
) Re
quire
men
ts E
ngin
eerin
g fo
r Per
vasiv
e Sy
stem
s. A
Tra
nsfo
rma-
tiona
l App
roac
h J.
Muñ
oz, P
. Val
dera
s, V.
Pel
echa
no, O
. Pas
tor (
Univ
ersit
at
Polit
ècni
ca d
e Va
lènc
ia, S
pain
) Ex
posin
g Ta
cit K
now
ledg
e vi
a Pr
e-Re
quire
men
ts T
raci
ng
A. S
tone
, P. S
awye
r (La
ncas
ter U
nive
rsity
, UK)
Im
prov
ing
the
Mod
elin
g of
Use
Cas
e Re
latio
nshi
p J.
Tang
, D. L
iang
(Uni
vers
ity o
f Min
neso
ta, U
SA)
Rese
arch
Dem
onst
rati
ons
Chai
r: Je
ffrey
Tho
mps
on (B
osto
n Sc
ient
ific,
USA
) J-
PRiM
: A Ja
va T
ool f
or a
Pro
cess
Ree
ngin
eerin
g i*
M
etho
dolo
gy
Gem
ma
Grau
, Xav
ier F
ranc
h, S
ebas
tián
Ávila
(Uni
-ve
rsita
t Pol
itècn
ica d
e Ca
talu
nya,
Spa
in)
REDE
PEN
D: E
xten
ding
i* M
odel
ling
into
Req
uire
-m
ents
Pro
cess
es
Jam
es L
ocke
rbie
, Nei
l Mai
den
(City
Uni
vers
ity, U
K)
Poiro
t: A
Dist
ribut
ed T
ool S
uppo
rting
Ent
erpr
ise-
Wid
e Au
tom
ated
Tra
ceab
ility
Ju
n Li
n, C
han
Chou
Lin
, Jan
e Cl
elan
d-Hu
ang,
Raf
-fa
ella
Set
timi,
Jose
ph A
may
a, G
race
Bed
ford
(DeP
aul
Univ
ersit
y, U
SA),
Bria
n Be
renb
ach
(Sie
men
s Co
rpo-
rate
Res
earc
h Pr
ince
ton,
USA
), Ou
ssam
a Be
n Kh
adra
, Ch
uan
Duan
, Xuc
hang
Zou
(DeP
aul U
nive
rsity
, USA
) De
sCO
TS-S
L: A
Too
l for
the
Sele
ctio
n of
CO
TS C
om-
pone
nts
Carm
e Qu
er, X
avie
r Fra
nch,
Xav
ier L
opez
-Pel
egrín
(U
nive
rsita
t Pol
itècn
ica d
e Ca
talu
nya,
Spa
in)
Prac
tice
Pap
ers
2: T
ailo
ring
and
Impr
ovem
ent
Chai
r: Ba
rbar
a Pa
ech
(Uni
vers
ität H
eide
lber
g, G
er-
man
y)
Tailo
ring
Trac
eabi
lity
Info
rmat
ion
to B
usin
ess
Nee
ds
Paul
Ark
ley
(Uni
vers
ity o
f New
cast
le u
pon
Tyne
, UK)
, To
m B
rook
es (B
AE S
yste
ms,
UK),
Stev
e Ri
ddle
(Uni
-ve
rsity
of N
ewca
stle
upo
n Ty
ne, U
K)
Goo
d Pr
actic
e an
d Im
prov
emen
t Mod
el o
f Han
dlin
g Ca
paci
ty R
equi
rem
ents
of L
arge
Tel
ecom
mun
icatio
n Sy
stem
s An
drea
s Bor
g (L
inkö
ping
s Uni
vers
itet,
Swed
en),
Mik
ael P
atel
(Eric
sson
, Sw
eden
), Kr
istia
n Sa
ndah
l (L
inkö
ping
s Uni
vers
itet,
Swed
en)
A Re
quire
men
ts G
uide
For
All
(REG
AL):
An IN
COSE
In
itiat
ive
(Invi
ted
Pres
enta
tion)
Je
rem
y Di
ck (i
nteg
rate
Sys
tem
s En
gine
erin
g, U
K)
6
Thur
sday
Pro
gram
Sept
embe
r 14
, 200
6 Ti
me
Rese
arch
Tra
ck A
(A
venu
es 4
& 5
) Re
sear
ch T
rack
B
(Sou
th F
orum
) Pr
acti
tion
er T
rack
(C
ente
r For
um)
8:4
5-10
:15
Aw
ards
Ke
ynot
e 2
Chai
r: Ro
byn
Lutz
(Iow
a St
ate
Univ
ersit
y an
d Je
t Pro
pulsi
on L
ab, U
SA)
Test
ing
to Im
prov
e Re
quire
men
ts –
Miss
ion
Impo
ssib
le?
Doro
thy
Gra
ham
(Gro
ve C
onsu
ltant
s, UK
)
Brea
k 10
:45-
12:3
0 Re
sear
ch P
aper
s 3:
Ana
lysi
s Ch
air:
Mar
tin F
eath
er (J
et P
ropu
lsion
Lab
, USA
) Id
entif
ying
Noc
uous
Am
bigu
ities
in N
atur
al L
angu
age
Requ
irem
ents
Fr
ancis
Cha
ntre
e, B
asha
r Nus
eibe
h, A
nne
de R
oeck
, Al
istai
r Will
is (T
he O
pen
Univ
ersit
y, U
K)
Inte
ract
ion
Anal
ysis
in A
spec
t-O
rient
ed M
odel
s Ka
thar
ina
Meh
ner (
Tech
nisc
he U
nive
rsitä
t Ber
lin, G
er-
man
y), M
attia
Mon
ga (U
nive
rsità
deg
li St
udi d
i Mila
no,
Italy)
, Gab
riele
Tae
ntze
r (Te
chni
sche
Uni
vers
ität B
erlin
, Ge
rman
y)
On
Goa
l-bas
ed V
aria
bilit
y Ac
quisi
tion
and
Anal
ysis
Sotir
ios L
iask
os, A
lexe
i Lap
ouch
nian
, Yiju
n Yu
, Eric
Yu,
Jo
hn M
ylopo
ulos
(Uni
vers
ity o
f Tor
onto
, Can
ada)
Rese
arch
Pap
ers
4: U
se C
ases
and
Inte
ract
ion
Chai
r: Na
talia
Juris
to (U
nive
rsid
ad P
olité
cnica
de
Mad
rid,
Spai
n)
An E
mpi
rical
Qua
lity
Ass
essm
ent o
f Aut
omot
ive
Use
Ca
ses
Fred
rik T
örne
r (Vo
lvo, S
wed
en),
Mar
tin Iv
arss
on, F
redr
ik
Pette
rsso
n, P
eter
Öhm
an (C
halm
ers
Tekn
iska
Högs
kola
, Sw
eden
) M
atch
ing
Antip
atte
rns
to Im
prov
e th
e Q
ualit
y of
Use
Ca
se M
odel
s M
oham
ed E
l-Atta
r, Ja
mes
Mill
er (U
nive
rsity
of A
lber
ta,
Cana
da)
Softw
are
Cine
ma—
Vide
o-ba
sed
Requ
irem
ents
Eng
inee
r-in
g Ol
iver
Cre
ight
on (S
iem
ens,
Ger
man
y), M
artin
Ott,
Ber
nd
Brüg
ge (T
echn
ische
Uni
vers
ität M
ünch
en, G
erm
any )
Invi
ted
Expe
rien
ce T
alks
Ch
air:
Sol G
reen
span
(Nat
iona
l Sci
ence
Fou
ndat
ion,
US
A)
Mod
elin
g Re
quire
men
ts
Anet
te P
rinda
hl (A
TP, D
enm
ark)
Pu
tting
Req
uire
men
ts T
heor
y in
to P
ract
ice
at N
orth
rop
Gru
mm
an
Ralp
h Yo
ung
(Nor
thro
p Gr
umm
an, U
SA)
Mov
ing
Tow
ards
Agi
le P
ract
ices
– R
equi
rem
ents
Man
-ag
emen
t Too
l Exp
erie
nces
at H
ewle
tt-Pa
ckar
d Ge
rald
Hel
ler (
Hew
lett-
Pack
ard,
Ger
man
y)
Lu
nch
14:0
0-15
:30
Rese
arch
Pap
ers
5: G
oals
Ch
air:
Betty
Che
ng (M
ichig
an S
tate
Uni
vers
ity, U
SA)
Just
ifyin
g G
oal M
odel
s Iv
an J.
Jure
ta, S
téph
ane
Faul
kner
, Pie
rre-Y
ves S
chob
bens
(F
UNDP
– U
nive
rsity
of N
amur
, Bel
gium
) M
anag
ing
Term
inol
ogic
al In
terfe
renc
e in
Goa
l Mod
els
with
Rep
erto
ry G
rid (S
hort
Pape
r) Na
n N
iu, S
teve
Eas
terb
rook
(Uni
vers
ity o
f Tor
onto
, Ca
nada
) U
nder
stan
ding
Bus
ines
s St
rate
gies
of N
etw
orke
d Va
lue
Cons
tella
tions
Usin
g G
oal-
and
Valu
e M
odel
ling
Jaap
Gor
dijn
(Vrij
e Un
iver
sitei
t Am
ster
dam
, The
Net
her-
land
s), M
ichaë
l Pet
it (F
UND
P –
Univ
ersit
y of
Nam
ur,
Belg
ium
), Ro
el W
ierin
ga (U
nive
rsite
it Tw
ente
, The
Ne
ther
land
s)
Pane
l 2: T
race
abili
ty
Mod
erat
or: J
ane
Clel
and-
Huan
g (D
ePau
l Uni
vers
ity, U
SA)
Requ
irem
ents
Tra
ceab
ility
– W
hen
and
How
Doe
s it
Deliv
er M
ore
than
it C
osts
? Pa
nelis
ts: B
rian
Bere
nbac
h, (S
iem
ens
Corp
orat
e Re
-se
arch
, USA
), Je
rem
y Di
ck (i
nteg
rate
sys
tem
s en
gine
er-
ing,
UK)
, Orle
na G
otel
(PAC
E Un
iver
sity,
USA
), Ti
m
Men
zies
(Wes
t Virg
inia
Uni
vers
ity, U
SA),
Kevi
n Ry
an
(Ler
o –
Univ
ersit
y of
Lim
erick
, Ire
land
)
Mee
t th
e Ex
pert
Ch
air:
Ian
Alex
ande
r (In
depe
nden
t Con
sulta
nt, U
K)
Requ
irem
ents
Eng
inee
ring,
an
Oxy
mor
on?
Ivy
Hook
s (Co
mpl
ianc
e Au
tom
atio
n In
c., U
SA)
7
Thur
sday
Pro
gram
(con
tinu
ed)
Sept
embe
r 14
, 200
6 Ti
me
Rese
arch
Tra
ck A
(A
venu
es 4
& 5
) Re
sear
ch T
rack
B
(Sou
th F
orum
) Pr
acti
tion
er T
rack
(C
ente
r For
um)
Bird
s-of
-a-F
eath
er
(Sat
ellit
es 6
and
7)
Vend
or P
rese
ntat
ions
(E
xhib
itors
’ Boo
ths)
16
:00-
17:3
0 Re
sear
ch P
aper
s 6:
Fea
ture
s Ch
air:
Mot
oshi
Sae
ki (T
okyo
Inst
itute
of
Tech
nolo
gy, J
apan
) Fe
atur
e Di
agra
ms:
A S
urve
y an
d A
For-
mal
Sem
antic
s Pi
erre
-Yve
s Sc
hobb
ens,
Patri
ck H
ey-
man
s, Je
an-C
hrist
ophe
Trig
aux
(FUN
DP
– Un
iver
sity
of N
amur
, Bel
gium
), Yv
es
Bont
emps
(SM
ALS
MvM
/eG
OV, B
el-
gium
) Id
entif
icat
ion
of C
ross
cutti
ng R
equi
re-
men
ts B
ased
on
Feat
ure
Dep
ende
ncy
Anal
ysis
(Sho
rt Pa
per)
Kun
Chen
, Hai
yan
Zhao
, Wei
Zha
ng,
Hong
Mei
(Pek
ing
Univ
ersit
y, B
eijin
g,
Chin
a)
Man
agin
g Hi
ghly
Com
plex
Pro
duct
Fa
mili
es W
ith M
ulti-
Leve
l Fea
ture
Tre
es
Mar
k-Ol
iver
Rei
ser (
Tech
nisc
he U
nive
r-sit
ät B
erlin
, Ger
man
y), M
atth
ias
Web
er
(Dai
mle
rChr
ysle
r, G
erm
any)
Rese
arch
Pap
ers
7: A
pplic
atio
n an
d A
lignm
ent
Chai
r: Ju
lio L
eite
(PUC
-Rio
, Bra
zil)
Syst
emat
ic R
equi
rem
ents
-Driv
en E
valu
-at
ion
and
Synt
hesis
of A
ltern
ativ
e Pr
inci
ple
Solu
tions
for A
dvan
ced
Mec
hatro
nic
Syst
ems
Björ
n Ax
enat
h, H
olge
r Gie
se, F
loria
n Kl
ein,
Urs
ula
Fran
k (U
nive
rsitä
t Pad
er-
born
, Ger
man
y)
A Co
ordi
natio
n Co
mpl
exity
Mod
el to
Su
ppor
t Req
uire
men
ts E
ngin
eerin
g fo
r Cr
oss-
Org
aniz
atio
nal E
RP (S
hort
Pape
r) M
aya
Dane
va, R
oel W
ierin
ga (U
nive
r-sit
eit T
wen
te, T
he N
ethe
rland
s)
Requ
irem
ent P
rogr
essio
n in
Pro
blem
Fr
ames
App
lied
to a
Pro
ton
Ther
apy
Syst
em
Robe
rt Se
ater
, Dan
iel J
acks
on (M
IT,
USA)
Prac
tice
Pap
ers
3: P
roce
ss
Issu
es
Chai
r: Na
zim M
adha
vji (
Univ
ersit
y of
W
este
rn O
ntar
io, C
anad
a)
Agile
Req
uire
men
ts E
ngin
eerin
g fo
r a
Soci
al In
sura
nce
for O
ccup
atio
nal
Risk
s O
rgan
izat
ion:
A C
ase
Stud
y M
ario
Pich
ler (
SCCH
Sof
twar
e Co
m-
pete
nce
Cent
er H
agen
berg
, Aus
tria)
, Hi
ldeg
ard
Rum
etsh
ofer
, FAW
Sof
t-w
are
Engi
neer
ing
(Aus
tria)
, Wilh
elm
W
ahle
r (AU
VA, A
ustri
a)
Ope
n So
urce
Req
uire
men
ts E
ngi-
neer
ing
Barb
ara
Paec
h, B
ernd
Reu
sche
nbac
h (U
nive
rsitä
t Hei
delb
erg,
Ger
man
y)
Bird
s-of
-a-F
eath
er 1
: Re
quir
emen
ts
Nom
encl
atur
e M
oder
ator
s: Ja
ne
Clel
and-
Huan
g (D
ePau
l Un
iver
sity,
USA
), Da
vid
Blai
ne (S
an D
iego
Sof
t-w
are
Stud
io, U
SA)
The
purp
ose
of th
is se
ssio
n is
to p
rese
nt th
e cu
rren
t ter
ms
of a
rt an
d la
y gr
ound
wor
k fo
r es
tabl
ishin
g a
sens
ible
an
d w
orka
ble
nom
en-
clatu
re fo
r Req
uire
men
ts
Engi
neer
ing.
In th
is vi
rtual
ses
sion,
ex
hibi
tors
will
giv
e pr
es-
enta
tions
abo
ut th
eir
prod
ucts
at t
heir
boot
hs.
Topi
cs a
nd s
ched
ules
w
ill b
e po
sted
at t
he
regi
stra
tion
desk
.
18:3
0 Co
nfer
ence
Ban
quet
So
lera
Res
taur
ant,
900
Hen
nepi
n A
ve.,
Min
neap
olis,
MN
554
03
The
Sole
ra is
in w
alki
ng d
istan
ce fr
om th
e M
illen
nium
Hot
el. S
tude
nt v
olun
teer
gui
des
will
dep
artu
re fr
om th
e m
ain
lobb
y to
war
ds S
oler
a ev
ery
five
min
utes
sta
rting
at 1
8:00
.
8
Frid
ay P
rogr
am
Se
ptem
ber
15, 2
006
Tim
e Re
sear
ch T
rack
A (
Aven
ues
4 &
5)
Rese
arch
Tra
ck B
(So
uth
Foru
m)
Prac
titi
oner
Tra
ck (
Cent
er F
orum
)
8:4
5-10
:15
Rese
arch
Pap
ers
8: E
licit
atio
n Ch
air:
Holg
er G
iese
(Uni
vers
ität P
ader
born
, Ger
man
y)
Syst
emat
ic R
evie
w o
f the
Effe
ctiv
enes
s of
Req
uire
men
ts E
licita
tion
Tech
niqu
es
Alan
Dav
is, A
nn H
ickey
(Uni
vers
ity o
f Col
orad
o, C
olor
ado
Sprin
gs,
USA)
, Osc
ar D
iest
e, N
atal
ia Ju
risto
, Ana
M. M
oren
o (U
nive
rsid
ad
Polit
écni
ca d
e M
adrid
, Spa
in)
Dete
ctin
g Co
nflic
ts o
f Int
eres
t (Sh
ort P
aper
) Pa
olo
Gior
gini
, Fab
io M
assa
cci,
John
Mylo
poul
os, N
icola
Zan
none
(U
nive
rsità
di T
rent
o, It
aly)
U
sing
Dom
ain
Ont
olog
y as
Dom
ain
Know
ledg
e fo
r Req
uire
men
ts
Elic
itatio
n Ha
ruhi
ko K
aiya
(Shi
nshu
Uni
vers
ity, J
apan
), M
otos
hi S
aeki
(Tok
yo
Inst
itute
of T
echn
olog
y, Ja
pan)
Pane
l 3: T
he F
utur
e of
RE
Mod
erat
or: B
asha
r Nus
eibe
h (T
he O
pen
Univ
ersit
y,
UK)
Requ
irem
ents
Eng
inee
ring
Rese
arch
in S
ome
Futu
re
Wor
lds:
An
Exer
cise
in S
cena
rio P
lann
ing
Pane
lists
: Ian
Ale
xand
er (I
ndep
ende
nt C
onsu
ltant
, UK
), Da
niel
Ber
ry (U
nive
rsity
of W
ater
loo,
Can
ada)
, Do
n G
ause
(Bin
gham
ton
Univ
ersit
y, U
SA),
Colin
Pot
ts
(Geo
rgia
Inst
itute
of T
echn
olog
y, U
SA)
Invi
ted
Prac
tice
Tal
ks
Chai
r: Er
ik S
imm
ons (
Inte
l Cor
pora
tion,
USA
) Re
quire
men
ts E
ngin
eerin
g: A
n In
dust
rial P
er-
spec
tive
Bria
n Be
renb
ach
(Sie
men
s Co
rpor
ate
Rese
arch
, US
A)
Prov
ing
the
Shal
ls: R
equi
rem
ents
, Pro
ofs,
and
M
odel
-Bas
ed D
evel
opm
ent
Stev
en P
. Mill
er (R
ockw
ell C
ollin
s, U
SA)
Br
eak
10:4
5-12
:30
Rese
arch
Pap
ers
9: S
peci
fic
Dom
ains
and
Are
as
Chai
r: M
ichae
l Goe
dick
e (U
nive
rsitä
t Dui
sbur
g-Es
sen,
Ger
man
y)
Inco
rpor
atin
g G
oal A
naly
sis in
Dat
abas
e D
esig
n: A
Cas
e St
udy
from
Bi
olog
ical
Dat
a M
anag
emen
t Le
i Jia
ng, T
hodo
ros
Topa
logl
ou (U
nive
rsity
of T
oron
to, C
anad
a), A
lex
Borg
ida
(Rut
gers
Uni
vers
ity, U
SA),
John
Mylo
poul
os (U
nive
rsity
of
Toro
nto,
Can
ada)
To
war
ds a
Ref
eren
ce F
ram
ewor
k fo
r Sof
twar
e Pr
oduc
t Man
agem
ent
(Sho
rt Pa
per)
Inge
van
de
Wee
rd, S
jaak
Brin
kkem
per,
Rich
ard
Nie
uwen
huis,
Joha
n Ve
rsen
daal
, Lex
Bijl
sma
(Uni
vers
iteit
Utre
cht,
The
Net
herla
nds)
M
anag
ing
Non
-Tec
hnic
al R
equi
rem
ents
in C
OTS
Com
pone
nts
Sele
c-tio
n (S
hort
Pape
r) Ju
an P
. Car
vallo
V. (
ETAP
ATEL
ECOM
, Ecu
ador
), Xa
vier
Fra
nch,
Ca
rme
Quer
(Uni
vers
itat P
olitè
cnica
de
Cata
luny
a, S
pain
) Sy
stem
atic
Dev
elop
men
t of R
equi
rem
ents
Doc
umen
tatio
n fo
r Gen
-er
al P
urpo
se S
cien
tific
Com
putin
g So
ftwar
e Sp
ence
r Sm
ith (M
cMas
ter U
nive
rsity
, Can
ada)
Visi
on P
aper
s Ch
air:
Dani
el B
erry
(Uni
vers
ity o
f Wat
erlo
o, C
anad
a)
Wha
t is
this
Scie
nce
calle
d Re
quire
men
ts E
ngin
eer-
ing?
Ha
ns A
kker
man
s, Ja
ap G
ordi
jn (V
rije
Univ
ersit
eit
Amst
erda
m, T
he N
ethe
rland
s)
Fusin
g Q
uant
itativ
e Re
quire
men
ts A
naly
sis
with
M
odel
-bas
ed S
yste
ms
Engi
neer
ing
Stev
en C
ornf
ord,
Mar
tin F
eath
er, V
ance
Her
on, J
. St
even
Jenk
ins (
Jet P
ropu
lsion
Lab
, USA
) Re
-Fra
min
g Re
quire
men
ts E
ngin
eerin
g Co
lin P
otts
(Geo
rgia
Inst
itute
of T
echn
olog
y, U
SA)
Crea
tivity
and
the
Age-
Old
Res
ista
nce
to C
hang
e Pr
oble
m in
RE
Gil R
egev
(EPF
Lau
sann
e, S
witz
erla
nd),
Dona
ld G
ause
(B
ingh
amto
n Un
iver
sity,
USA
), Al
ain
Weg
man
n (E
PF
Laus
anne
, Sw
itzer
land
)
Min
i-Tut
oria
l 2
Chai
r: Fr
ank
Houd
ek (D
aim
lerC
hrys
ler R
esea
rch,
Ge
rman
y)
Requ
irem
ents
by
Colla
bora
tion:
Fac
ilita
ting
Wor
ksho
ps to
Def
ine
Stak
ehol
der N
eeds
El
len
Got
tesd
iene
r (EB
G Co
nsul
ting,
USA
))
Lu
nch
14:0
0-16
:00
Keyn
ote
3 Ch
air:
Alist
air S
utcli
ffe (U
nive
rsity
of M
anch
este
r, UK
) G
oal-O
rient
ed R
equi
rem
ents
Eng
inee
ring,
Par
t II
John
Mylo
poul
os (U
nive
rsity
of T
oron
to, C
anad
a an
d Un
iver
sità
di T
rent
o, It
aly)
Co
nfer
ence
Clo
sing
9
10
Keynotes
Keynote 1 Wednesday, September 13, 9:00
End Users Who Meet Their Own Requirements
Mary Beth Rosson Pennsylvania State University, USA
Over the past 25 years, user interface designers and usability engi-neers have studied and refined human-computer interaction tech-niques with the goal of improving people’s productivity and expe-rience. One result is an increasing number of tools designed to help end users build or customize software solutions for a variety of everyday problems – from email filters, to spreadsheet simula-tions, to interactive web applications.
How far can end users go in meeting their own software require-ments? Given the right tools, people and organizations may be able to rapidly develop solutions to a huge number of context-specific computing requirements, eliminating the wait for IT pro-fessionals to analyze and engineer a solution. But is this a good thing? End-user programmers are not trained in software engi-neering or computing paradigms. They have little intrinsic motiva-tion to test their constructions for even basic concerns like cor-rectness or safety. In this talk I argue that the transformation of end users into software developers is well underway and discuss the prospects for maximizing the benefits to society while ad-dressing the risks.
Mary Beth Rosson is Professor of Information Sciences and Tech-nology (IST) at The Pennsylvania State University. She received a PhD in experimental psychology in 1982 from the University of Texas. Prior to joining Penn State's College of IST in 2003, she was a professor of computer science at Virginia Tech for 10 years, and a research staff member and manager at IBM's T. J. Watson Re-search Center for 11 years. Rosson was among the earliest re-searchers to study the psychological issues associated with the object-oriented paradigm, and spent many years developing and evaluating object-oriented tools and training for professional pro-grammers. One of her abiding interests has been the interplay between the concerns of human-computer interaction and soft-ware engineering. Recently she has been studying the tools and practices of end-user developers in educational and general busi-ness contexts.
For many years, Rosson has been an active participant in both the software engineering and the human-computer interaction re-search communities. She served as the Conference Chair for OOPSLA 2000 and is currently Conference Chair for CHI 2007. She is author of Usability Engineering: Scenario-Based Development of Human-Computer Interaction (Morgan Kaufmann, 2002) as well as numerous articles, book chapters, and tutorials.
Keynote 2 Thursday, September 14, 9:00
Testing to Improve Requirements – Mission Impossible?
Dorothy Graham Grove Consultants, UK
How is it possible that testing could help to make better require-ments? If this sounds like “Mission Impossible” to you, you may be suffering under some myths or misconceptions about the rela-tionship between requirements and testing. Requirements engi-neers, developers and testers all have a different “mindset” and this can result in misunderstandings about the relationship be-tween them. Whether you use a traditional life cycle approach or a very iterative approach to development, both good requirements specifications and good testing practices are critical to success.
In this presentation we will outline the characteristics of a good relationship between requirements engineering and software testing. We will then look at a number of myths or misconceptions about this relationship, for example that testing comes after a system has been developed, that testers use requirements but not vice versa, that you can’t test without requirements, that testers don’t actually need requirements (a tester’s misconception) and others.
We will conclude with some tips for how to achieve better re-quirements through a better relationship with testing. It’s not mission impossible – it’s mission critical. Good requirements en-gineering produces better tests, and good test analysis produces better requirements.
Dorothy Graham is the founder of Grove Consultants, which pro-vides advice, training and inspiration in software testing, test automation and Inspection.
Dot is co-author of three books: “Software Inspection” (with Tom Gilb), “Software Test Automation” (with Mark Fewster) and "Foundations of Software Testing: ISTQB Qualification" (with Rex Black, Isabel Evans and Erik Van Veenendaal). Her article on re-quirements and testing was published in IEEE Software in 2002.
She was a founder member of the UK ISEB Software Testing Board, and is on the editorial board of the Better Software magazine. She is a recipient of the European Excellence Award in Software Testing.
11
Keynote 3 Friday, September 15, 14:00
Goal-Oriented Requirements Engineering, Part II
John Mylopoulos University of Toronto, Canada and Università di Trento, Italy
The last fifteen years have seen the rise of a new phase in software development which is concerned with the acquisition, modelling and analysis of stakeholder purposes (“goals”) in order to derive functional and non-functional requirements. The history of ideas and research results for this new phase was reviewed in a RE’04 keynote presentation by Axel van Lamsweerde. We revisit the topic and sketch on-going research on a number of fronts. Specifically, we discuss an agent-oriented software development methodology – called Tropos – that is founded on the concepts of goal, actor as well as inter-actor dependencies. We also show how goal models that characterize a space of possible solutions for meeting stakeholder goals can be used as a basis for designing high vari-ability software. In addition, we report on early work to extend database design techniques to support the generation of a data-base conceptual schema from stakeholder goals. The research reported is the result of collaborations with colleagues at the Uni-versities of Toronto and Trento.
John Mylopoulos earned a PhD degree from Princeton 1970, the year he joined the faculty of the University of Toronto. His research interests include requirements engineering, conceptual modeling, data semantics and knowledge management. Mylopoulos is a co-recipient of the best-paper award of the 1994 International Con-ference on Software Engineering and an elected fellow of the American Association for AI (AAAI). He is currently serving as co-editor of the Requirements Engineering Journal and served as pro-gram chair of the International IEEE Symposium on Requirements Engineering (1997).
Mini-Tutorials / Meet the Expert
Mini-Tutorial 1 Wednesday, September 13, 10:45 Center & South Forum
Just Enough Requirements Management
Al Davis (University of Colorado at Colorado Springs, USA)
After 25 years of consulting, researching, and training in the area of requirements management, I have finally come to understand that requirements management needs to be made simpler, not more complex. And in today's competitive world we need to find ways to accelerate system development dramatically; modern re-quirements management must thus reduce, not extend, the effort.
In today’s practice, some companies have tended toward over-methodization, while others have tended toward under-methodi-zation. The result is that requirements are either over-analyzed and over-specified, or are totally ignored. This common-sense tutorial addresses the “right” level at which requirements should be ad-dressed, with emphasis on recognizing that the “right” level is different for every project.
The talk will cover all three major areas of requirements manage-ment: elicitation, triage, and specification. Each will be described, its goals will be made clear, common practices will be described, and recommendations for doing it in a “just enough” manner will be explored. Of course, what is “just enough” for an Atari game vs. a nuclear reactor control system is quite different, so the tuto-rial will also discuss the factors that would cause you to want to alter the “just enough” prescription for your own needs.
Mini-Tutorial 2 Friday, September 15, 10:45 Center Forum
Requirements by Collaboration: Facilitating Workshops to Define Stakeholder Needs
Ellen Gottesdiener (EBG Consulting, USA)
Well-designed and well-facilitated requirements workshops are one of the best ways to overcome the myriad of problems that arise from inadequate stakeholder involvement and ambiguous requirements. This experience-based tutorial will share a set of effective, time-tested practices for planning, designing, and facili-tating requirements workshops.
Are your architects, developers, and testers working overtime in the final phases of coding and testing to meet software require-ments they should have known about weeks or months ago? Are you continually going back to stakeholders to revise and clarify their needs, resulting in confusion and rework? There is a better way – requirements workshops.
Requirements workshops are a proven good practice we have known about for decades. They are regaining popularity because of the growing interest in agile software development, which em-phasizes human interaction and customer collaboration. Like Joint Application Design (JAD), these workshops are not traditional
12
meetings or informal one-on-one discussions. Instead, they are focused, highly productive events attended by carefully selected stakeholders and content experts and led by a neutral facilitator. Well-run workshops promote trust, mutual understanding, and strong communications among project stakeholders. They produce deliverables that structure and guide development.
In this tutorial, you’ll learn how workshops differ from meetings, and you’ll study a reusable structure for designing workshops. You’ll get tips and good practices gleaned from numerous suc-cessful industry workshops, and you’ll discover the importance of selecting the right analysis models for your problem domain.
Familiarity with basic facilitation skills and practices as well as with a variety of requirements analysis models (e.g., use cases, stories, scenarios, business rules, actors, state diagrams, data models, etc.) is desirable but not required.
Meet the Expert Thursday, September 14, 14:00 Center Forum
Requirement Engineering, an Oxymoron?
Ivy Hooks (Compliance Automation, Inc., USA)
Requirement Engineering has been used to describe the work as-sociated with eliciting and writing requirements for many years. It is a subset of the work done in System Engineering. Maybe it is the wrong term. What do we really do with science and math in the process? Are people expecting some software package to do the job and eliminate all the hard work? Maybe we are focused on the wrong thing because of the name we have given the work.
Practice and Experience Talks
Practice talk 1 Friday, September 15, 8:45 Center Forum
Requirements Engineering: An Industrial Perspective
Brian Berenbach (Siemens Corporate Research, USA)
This talk describes experiences and lessons learned while defining product requirements for small and large companies over a thirty-year period. From 1969 to the present the author has assisted or led teams in the definition of requirements for a wide variety of products and systems, including music information, produce de-livery, power and process control, baggage handling, mail sorting, insurance, medical device and information, communications, taxa-tion and even race horse breeding.
Often, the success or failure of the projects encountered de-pended on factors that were not immediately apparent to the pro-ject teams involved. At times team members would take the correct steps without realizing the consequences of a misstep. In other cases minor missteps might lead to catastrophe.
Finally, the talk presents a rationale for the perceived precipitous drop in software project completion rates since the 1960s and 1970s, and offer suggestions for better preparing computer sci-ence students to meet the challenges of 21st century software development.
Practice talk 2 Friday, September 15, 9:30 Center Forum
Proving the Shalls: Requirements, Proofs, and Model-Based Development
Steven P. Miller (Rockwell Collins Inc., USA)
Informal requirements stated in a natural language often suffer from ambiguity, inconsistency, and incompleteness. For these rea-sons, the trend over the last decade has been towards the devel-opment of alternate approaches for specifying requirements such as use cases and requirement modeling languages. However, the growing popularity of model-based development and the increasing power of formal verification tools make yet another approach possible. In this approach, informal shall statements are captured as a first step in requirements elicitation. Next, an executable model of the system is constructed that is believed to implement these requirements. Simulation of this model is used to obtain early validation of the requirements with the customer and among the developers. The informal shall statements are then rewritten as formal properties over the model and shown to hold on the model. When possible, this is done through mathematical proof using model-checking or theorem proving. When formal proof is not possible, testing of the properties against the model is used. Finally, source code is automatically generated from the model. For safety or security systems, test cases are also automatically generated from the model and used to check that the object-code executing on the target platform correctly implements the model.
This presentation describes how this capability was developed at Rockwell Collins Inc under NASA Langley’s Aviation Safety Program and how it has been applied in the development of avionics systems.
Experience talk 1 Thursday, September 14, 10:45 Center Forum
Modeling Requirements
Anette Prindahl (ATP, Denmark)
Hear about how ATP (Arbejdsmarkedets Tillægspension) do the Business Modeling, how we decide what is going to be handled by an IT-system, how we specify the System Use Case representing that. On the information side, how we do Information Concept modeling with the business, how we specify the Services and serv-ice operations to fit a SOA Architecture. How we integrate func-tionality and information in the Description of the Use Cases, where we describe what the Actors do, what the system does, and which Service operations make it happen. Hear about the benefits and challenges of using a modeling tool to integrate and keep track of all the models.
13
Experience talk 2 Thursday, September 14, 11:20 Center Forum
Putting Requirements Theory into Practice at Northrop Grumman
Ralph Young (Northrop Grumman, USA)
Dr. Young will describe how, as ‘process owner’ for the Require-ments Process at Northrop Grumman Information Technology Defense Group, he has advocated for the practices he recom-mends in his most recent book, Project Requirements: A Guide to Best Practices (Management Concepts, 2006). Dr. Young is fre-quently asked to provide ‘Initial Requirements Briefings’ and ‘Re-quirements Workshops’ for new projects and for external custom-ers. The content of these briefings and the approach for the work-shops will be described. The requirements process used in his business unit will be discussed. The Requirements (RE) Process webpage made available within the business unit that contains links to extensive materials (policies, processes, startup, tools, training, proposals, resources, support) will be described. Insights concerning the Conference theme, Understanding the Stake-holders’ Desires and Needs, will be offered. A set of ‘key require-ments success factors’ and ‘suggested remedies for typical re-quirements-related project startup issues’ will be discussed. Rec-ommendations for establishing an environment of continuous improvement will be provided. The concept of ‘meeting minimum requirements’ will be advocated. Experience talk 3 Thursday, September 14, 11:55 Center Forum
Requirements Management Tool Experiences at Hewlett-Packard
Gerald Heller (Hewlett-Packard, Germany)
In this talk you will hear how HP approaches the move from tradi-tional requirements management to the agile way. Mr. Heller will describe how HP moves gradually into the new agile development paradigm for the OpenView product family.
The software product line OpenView represents Hewlett-Packard's (HP) largest software only business. Originally it was created out of a set of independent software products. These products evolved over the years into a family of products, adding newer ones through a mixture of acquisitions and self-development. OpenView has established a requirements management infrastruc-ture to support global distributed development for more than six years using Borland's CaliberRM product. Mr. Heller will show how HP utilizes this tool in combination with the open source tool XPlanner, which supports XP development. You are invited to learn about tool experiences and changes in development culture. The INCOSE REGAL Initiative Wednesday, September 13, 17:00 Center Forum
A Requirements Guide For All (REGAL): An INCOSE Initiative
Jeremy Dick (integrate Systems Engineering, UK)
This presentation describes an INCOSE initiative to collect from the systems engineering community information about good practice
in requirements engineering, management and development. This initiative is the brainchild of the INCOSE Requirements Working Group, and is intended to provide a living requirements “Book of Knowledge” accessible in electronic form on the web, through which practitioners can contribute, evaluate and debate good re-quirements practice. It is managed by Gauthier Fanmuy, PSA Peu-geot Citroën.
Exhibition
Visit our tool vendor exhibition! The exhibition will be open from Wednesday to Friday during all breaks and 16:00-17:30 on Wednesday and Thursday.
Meetings
IFIP 2.9 Meeting
Tuesday, September 12 17:30-19:00 (Satellites 6 & 7)
RE Steering Committee Meeting
Wednesday, September 13 17:30-20:00 (Satellites 6 & 7)
RE’07 Organizing Committee Lunch
Thursday, September 14 12:30-14:00 (Satellites 6 & 7)
RE’07 Program Board and Program Committee Meeting
Thursday, September 14 17:30-19:00 (Avenues 4 & 5)
Social Events
Welcome Reception Tuesday, September 12 18:30
The reception will take place in the 'Dome' on the 14 floor of the Millennium Hotel, which offers a panoramic view of the Minneapo-lis skyline.
At this reception, we will both welcome the participants to the main conference and celebrate the end of the pre-conference tuto-rials and workshops.
Conference Banquet Thursday, September 14 18:30
The Conference Banquet banquet will be held on at Solera (900 Hennepin Ave., Minneapolis, MN 55403). Named one of the “World's Top Ten New Restaurants” by Food and Wine Magazine (2003), Solera is an exciting, urban concept laced with the rustic romanticism of Mediterranean cuisine. The restaurant features a variety of hot and cold tapas (small plates) as well as a selection of Spanish-inspired entrees.
The Solera is in walking distance from the Millennium Hotel. Our student volunteers will guide you.
14
Tutorials
On Monday and Tuesday of the conference week, RE’06 offers seven tutorials on a variety of subjects by world class experts in Requirements Engineering. The topics range from how-to-do spe-cific RE activities to broad overviews of RE-related subject areas.
For detailed descriptions of the tutorials, see http://www.ifi.unizh. ch/req/events/RE06/WS_Tut_DocSym/Tutorials.
H1 Monday, September 11 – Morning Center Forum
Ten Simple Steps to Better Requirements Ian Alexander, Independent Consultant (UK)
H2 Monday, September 11 – Afternoon Center Forum
Change Agency for Requirements Engineers Erik Simmons, Intel (USA)
H3 Monday, September 11 – Morning South Forum
Building a Platform-Independent Model with MDA Chris Armstrong (Armstrong Process Group, USA)
H4 Monday, September 11 – Afternoon South Forum
Successful Product Line Development with Strong Requirements Engineering and Management Andreas Birk (sd&m, Germany) and Gerald Heller (Hewlett-Packard, Germany)
H5 Tuesday, September 12 – Morning South Forum
Security Requirements Engineering Methodologies Fabio Massacci, John Mylopoulos and Nicola Zannone (Università di Trento, Italy)
H6 Tuesday, September 12 – Afternoon South Forum
Aspect-Oriented Requirements Engineering Awais Rashid, Ruzanna Chitchyan (Lancaster University, UK), Ana Moreira, João Araújo (Universidade Nova de Lisboa, Portugal)
F1 Tuesday, September 12 – Full Day Center Forum
Context: Its Discovery, its Forms, and its Management in Non-Functional Requirements Don Gause, Savile Row, LLC and Binghamton University (USA)
Workshops
Six workshops will be held on Monday, September 11 and Tuesday, September 12 in conjunction with RE’06. For detailed program information, please refer to the web pages of the workshops.
W1 Monday, September 11 Avenue 5
AuRE’06 – International Automotive Requirements Engineering Workshop
Workshop Organizers: Betty H. C. Cheng (Michigan State Univer-sity, USA), Frank Houdek (DaimlerChrysler Research, Germany), Shigeyuki Kawana (Toyota Motor, Japan)
http://www.nise.org/AuRE/
W2 Monday, September 11 Avenue 4
REV’06 – First International Workshop on Requirements Engineering Visualization
Workshop Organizers: Brian Berenbach (Siemens Corporate Re-search, USA), Chang Hwan Peter Kim (Univ. of Waterloo, Canada)
http://swen.uwaterloo.ca/~chpkim/re06/
W3: Monday, September 11 Avenue 3
CERE’06 – Fourth International Workshop on Comparative Evaluation in Requirements Engineering
Workshop Organizers: Ann Hickey (University of Colorado at Colo-rado Springs, USA), Pete Sawyer (Lancaster University, UK)
http://www.di.unipi.it/CERE06
W4: Cancelled
W5: Tuesday, September 12 Avenue 5
MeRE’06 – First International Workshop on Multimedia Requirements Engineering – Beyond Mere Descriptions
Workshop Organizers: Oliver Creighton (Siemens AG, Corporate Technology, Germany), Bernd Brügge (TU München, Germany)
http://wwwbruegge.in.tum.de/MeRE/
W6: Tuesday, September 12 Avenue 4
IWSPM’06 – International Workshop on Software Product Management
Workshop Organizers: Johan Versendaal (Universiteit Utrecht, The Netherlands), Christof Ebert (Alcatel, Paris, France), Sjaak Brink-kemper (Universiteit Utrecht, The Netherlands)
http://www.cs.uu.nl/groups/OI/IWSPM
W7: Tuesday, September 12 Avenue 3
SOCCER’06 – Service-Oriented Computing: Consequences for Engineering Requirements
Workshop Organizers: Luciano Baresi (Politecnico di Milano, Italy), Xavier Franch (Universitat Politècnica de Catalunya, Spain), Neil Maiden (City University London, UK)
http://www.lsi.upc.edu/events/soccer/
15
Doctoral Symposium
Tuesday, September 12 Avenue 2
The Doctoral Symposium is a one-day workshop that gives Doc-toral students the opportunity to present their research and re-ceive feedback in a constructive and international atmosphere.
Topic 1: Welcome and Roadmap of a PhD Betty Cheng (Michigan State University, USA)
On Performance Requirements and Validation Using a Evolutionary Model Chi-Wei Ho (North Carolina State University, USA)
Software Release Planning via Systematic Impact Analysis Omolade Saliu (University of Calgary, Canada)
Topic 2: Setting up Milestones Kevin Ryan (Lero – University of Limerick, Ireland)
Dependability in Early Software Development Stages Sadaf Mustafiz (McGill University, Canada)
Assessing Satisfaction of Requirements by Design Elements E. Ashlee Holbrook (University of Kentucky, USA)
Topic 3: Riding the Rollercoaster Nancy Day (University of Waterloo, Canada), Annie I. Antón (North Carolina State University, USA)
Stakeholder Mapping for Stakeholder Identification Jidtima Sunkhamani (University College London, UK)
A Product Software Knowledge Infrastructure for Situational Capability Maturation Inge van de Weerd (Universiteit Utrecht, The Netherlands)
Topic 4: Finishing up the PhD Dan Berry (University of Waterloo, Canada)
Observer presentations (one slide – two minutes each)
• A Procedure for Selecting Requirements Elicitation Techniques Dante Carrizo (Universidad Complutense de Madrid, Spain)
• Evolution of Security Policies Virginia N. L. Franqueira (Universiteit Twente, The Netherlands)
• Methodological Support for Building Cohesion among Software Artifacts to Help Understanding Emergent Software Behavior Robin A. Gandhi (University of North Carolina at Charlotte, USA)
• A Modeling Infrastructure for the Integration of Requirements Artifacts Stefan Winkler (FernUniversität in Hagen, Germany)
• Value-Based Requirements Engineering and IS Architecture Design Support for Cross-Organizational Environments Novica Zarvi (Universiteit Twente, The Netherlands)
• Handling Location Based Feature Interactions in the Context of Dynamically Changing Requirements Armstrong Nhlabatsi (The Open University, UK)
Lessons learnt All Participants
A date for your diary
15th IEEE International REQUIREMENTS ENGINEERING CONFERENCE
October 17-19th, 2007
Delhi, India
www.re07.org
Conference themes: • Requirements Engineering in the global economy • Collaborative Requirements Engineering • Requirements, culture, & localisation
Research and industrial experience papers, tutorials, workshops, with new interactive sessions featuring videos, posters, debates and research demonstrations.
General Chair: Pankaj Jalote, IIT Delhi, India. Program Chair: Alistair Sutcliffe, University of Manchester, UK
16
Locations
Event Level Location
Registration (Sunday) -1 Lower Level Lobby
Registration (Monday-Friday) L North Forum
Tutorials L Forum; see page 14
Workshops -1 Hall of Avenues; see page 14
Doctoral Symposium -1 Avenue 2
Plenary Sessions L Center & South Forum
Research Track A -1 Avenues 4 & 5
Research Track B L South Forum
Practitioner Track L Center Forum
Birds-of-a-Feather 14 Satellites 6 & 7
Posters L North Forum
Exhibition L North Forum
RE’07 PC Meeting -1 Avenues 4 & 5
Other Meetings 14 Satellites 6 & 7
Speakers’ Ready Room 14 Satellites 6 & 7
Breakfast L North Forum
Breaks L North Forum
Monday & Tuesday Lunch 14 Horizons
Wednesday to Friday Lunch -1 Loring
Reception 14 Dome & Horizons
Banquet – Solera Restaurant 900 Hennepin Ave. Student volunteer guides will departure from the main lobby towards Solera every five minutes starting at18:00
Lobby Level
Lower Level
Top Level – 14th Floor
14th IEEE InternationalRequirements EngineeringConference
ConferenceProgram
Minneapolis/St. Paul, Minnesota, USASeptember 11-15, 2006
http://www.re06.org
Sponsored by
In Cooperation with Corporate Donors
ifip WG 2.9
Universität ZürichInstitut für Informatik
College of Liberal Arts & Sciences
215.9 mm / 8.5 inch
1 mm / 0.394 inch (extra for stapling)
215.9 mm / 8.5 inch
279.
4 m
m /
11
inch
Siemens Corporate Research
