The Community for Technology Leaders
2013 21st IEEE International Requirements Engineering Conference (RE) (2011)
Trento
Aug. 29, 2011 to Sept. 2, 2011
ISBN: 978-1-4577-0921-0
TABLE OF CONTENTS
Papers

[Front cover] (PDF)

pp. c1

Title page (PDF)

pp. 1
Papers

In a ubiquitous world requirements are ubiquitous too (PDF)

M. Whalen , Univ. of Minnesota, Minneapolis, MN, USA
J. Atlee , Univ. of Waterloo, Waterloo, ON, Canada
C. Mascolo , Univ. of Cambridge, Cambridge, UK
pp. 1-3

Evolving specifications formally (Abstract)

S. Ramesh , India Sci. Lab., Global Gen. Motors R&D, Bangalore, India
P. Sampath , India Sci. Lab., Global Gen. Motors R&D, Bangalore, India
S. Arora , India Sci. Lab., Global Gen. Motors R&D, Bangalore, India
pp. 5-14

Finding incremental solutions for evolving requirements (Abstract)

I. Jureta , FNRS & Inf. Manage., Univ. of Namur, Namur, Belgium
A. Borgida , Dept. of Comput. Sci., Rutgers Univ., Piscataway, NJ, USA
N. A. Ernst , Dept. of Comput. Sci., Univ. of Toronto, Toronto, ON, Canada
pp. 15-24

Software requirements change taxonomy: Evaluation by case study (Abstract)

D. Greer , Sch. of Electron., Electr. Eng. & Comput. Sci., Queens Univ., Belfast, UK
S. McGee , Sch. of Electron., Electr. Eng. & Comput. Sci., Queens Univ., Belfast, UK
pp. 25-34

Requirements are slipping through the gaps -- A case study on causes & effects of communication gaps in large-scale software development (Abstract)

E. Bjarnason , Dept. of Comput. Sci., Lund Univ., Lund, Sweden
K. Wnuk , Dept. of Comput. Sci., Lund Univ., Lund, Sweden
B. Regnell , Dept. of Comput. Sci., Lund Univ., Lund, Sweden
pp. 37-46

How interaction between roles shapes the communication structure in requirements-driven collaboration (Abstract)

D. Damian , Dept. of Comput. Sci., Univ. of Victoria, Victoria, BC, Canada
S. Marczak , Dept. of Comput. Sci., Univ. of Victoria, Victoria, BC, Canada
pp. 47-56

Integrating analysis of customers' processes into roadmapping: The value-creation perspective (Abstract)

A. M. Davis , Coll. of Bus., Univ. of Colorado at Colorado Springs, Colorado Springs, CO, USA
L. Lehtola , Aalto Univ., Espoo, Finland
M. Komssi , Aalto Univ., Espoo, Finland
H. Tohonen , Aalto Univ., Espoo, Finland
M. Kauppinen , Aalto Univ., Espoo, Finland
pp. 57-66

Prioritization of quality requirements: State of practice in eleven companies (Abstract)

T. Gorschek , Sch. of Comput., Blekinge Inst. of Technol., Karlskrona, Sweden
B. Regnell , Dept. of Comput. Sci., Lund Univ., Lund, Sweden
R. B. Svensson , Dept. of Comput. Sci., Lund Univ., Lund, Sweden
A. Shahrokni , Software Eng. & Technol., Chalmers Univ. of Technol., Goteborg, Sweden
A. Aurum , Sch. of Inf. Syst., Technol. & Manage., Univ. of New South Wales, Sydney, NSW, Australia
R. Torkar , Sch. of Comput., Blekinge Inst. of Technol., Karlskrona, Sweden
R. Feldt , Software Eng. & Technol., Chalmers Univ. of Technol., Goteborg, Sweden
pp. 69-78

Simulating and optimising design decisions in quantitative goal models (Abstract)

E. Letier , Dept. of Comput. Sci., Univ. Coll. London, London, UK
W. Heaven , Dept. of Comput. Sci., Univ. Coll. London, London, UK
pp. 79-88

Understanding clusters of optimal solutions in multi-objective decision problems (Abstract)

E. Letier , Dept. of Comput. Sci., Univ. Coll. London, London, UK
V. Veerappa , Dept. of Comput. Sci., Univ. Coll. London, London, UK
pp. 89-98

Logical structure extraction from software requirements documents (Abstract)

M. Antkiewicz , Generative Software Dev. Lab., Univ. of Waterloo, Waterloo, ON, Canada
K. Czarnecki , Generative Software Dev. Lab., Univ. of Waterloo, Waterloo, ON, Canada
R. Rauf , Generative Software Dev. Lab., Univ. of Waterloo, Waterloo, ON, Canada
pp. 101-110

On human analyst performance in assisted requirements tracing: Statistical analysis (Abstract)

J. H. Hayes , Dept. of Comput. Sci., Univ. of Kentucky, Lexington, KY, USA
Wei-Keat Kong , Dept. of Comput. Sci., Univ. of Kentucky, Lexington, KY, USA
J. Holden , Dept. of Comput. Sci., Cal Poly, San Luis Obispo, CA, USA
O. Dekhtyar , Dept. of Stat., Cal Poly, San Luis Obispo, CA, USA
D. Cuddeback , Dept. of Comput. Sci., Cal Poly, San Luis Obispo, CA, USA
A. Dekhtyar , Dept. of Comput. Sci., Cal Poly, San Luis Obispo, CA, USA
pp. 111-120

Out of the labyrinth: Leveraging other disciplines for requirements traceability (Abstract)

S. J. Morris , Dept. of Comput., City Univ. London, London, UK
pp. 121-130

On the joint use of i* with other modelling frameworks: A vision paper (Abstract)

J. C. Trujillo , Lucentia - Univ. de Alicante (UA), Alicante, Spain
C. Cares , Univ. de la Frontera (UFro), Temuco, Chile
A. Mate , Lucentia - Univ. de Alicante (UA), Alicante, Spain
X. Franch , Univ. Politec. de Catalunya (UPC), Barcelona, Spain
pp. 133-142

A context analysis method for embedded systems -- Exploring a requirement boundary between a system and its context (Abstract)

T. Tamai , Kyushu Univ., Fukuoka, Japan
M. Hirayama , Nihon Univ., Tokyo, Japan
Y. Kamei , Kyushu Univ., Fukuoka, Japan
N. Ubayashi , Kyushu Univ., Fukuoka, Japan
pp. 143-152

Vacuous real-time requirements (Abstract)

A. Post , Res. & Adv. Eng., Robert Bosch GmbH, Stuttgart, Germany
A. Podelski , Software Eng., Univ. of Freiburg, Freiburg, Germany
J. Hoenicke , Software Eng., Univ. of Freiburg, Freiburg, Germany
pp. 153-162

Focusing spontaneous feedback to support system evolution (Abstract)

K. Schneider , Software Eng. Dept., Leibniz Univ. Hannover, Hannover, Germany
pp. 165-174

Structured and unobtrusive observation of anonymous users and their context for requirements elicitation (Abstract)

E. Knauss , Software Eng. Group, Leibniz Univ. Hannover, Hannover, Germany
O. Brill , Software Eng. Group, Leibniz Univ. Hannover, Hannover, Germany
pp. 175-184

Power and politics in requirements engineering: A proposed research agenda (Abstract)

A. Milne , Centre for Human-Comput. Interaction Design, City Univ. London, London, UK
N. Maiden , Centre for Human-Comput. Interaction Design, City Univ. London, London, UK
pp. 187-196

A legal cross-references taxonomy for identifying conflicting software requirements (Abstract)

A. I. Anton , Dept. of Comput. Sci., North Carolina State Univ., Raleigh, NC, USA
J. C. Maxwell , Dept. of Comput. Sci., North Carolina State Univ., Raleigh, NC, USA
P. Swire , Moritz Coll. of Law, Ohio State Univ., Columbus, OH, USA
pp. 197-206

Assessing the accuracy of legal implementation readiness decisions (Abstract)

P. N. Otto , North Carolina State Univ., Raleigh, NC, USA
A. K. Massey , North Carolina State Univ., Raleigh, NC, USA
A. I. Anton , North Carolina State Univ., Raleigh, NC, USA
B. Smith , North Carolina State Univ., Raleigh, NC, USA
pp. 207-216

Are your sites down? Requirements-driven self-tuning for the survivability of Web systems (Abstract)

Bihuan Chen , Sch. of Comput. Sci., Fudan Univ., Shanghai, China
Wenyun Zhao , Sch. of Comput. Sci., Fudan Univ., Shanghai, China
Xin Peng , Sch. of Comput. Sci., Fudan Univ., Shanghai, China
Yijun Yu , Centre for Res. in Comput., Open Univ., Milton Keynes, UK
pp. 219-228

Early failure prediction in feature request management systems (Abstract)

C. Fitzgerald , Dept. of Comput. Sci., Univ. Coll. London, London, UK
A. Finkelstein , Dept. of Comput. Sci., Univ. Coll. London, London, UK
E. Letier , Dept. of Comput. Sci., Univ. Coll. London, London, UK
pp. 229-238

Risk and argument: A risk-based argumentation method for practical security (Abstract)

Thein Than Tun , Open Univ., Milton Keynes, UK
Yijun Yu , Open Univ., Milton Keynes, UK
B. Nuseibeh , Open Univ., Milton Keynes, UK
R. Wieringa , Enschede, Univ. of Twente, Enschede, Netherlands
Virginia N. L. Franqueira , Enschede, Univ. of Twente, Enschede, Netherlands
pp. 239-248

Challenges of requirements engineering -- A case study in nuclear energy domain (Abstract)

J. Valkonen , VTT Tech. Res. Centre of Finland, Espoo, Finland
T. Tommila , VTT Tech. Res. Centre of Finland, Espoo, Finland
T. Mannisto , Sch. of Sci., Aalto Univ., Aalto, Finland
M. Raatikainen , Sch. of Sci., Aalto Univ., Aalto, Finland
pp. 253-258

Managing requirements uncertainty in engine control systems development (Abstract)

P. Clements , Software Eng. Inst., Carnegie Mellon Univ., Pittsburgh, PA, USA
S. Abrahao , Dept. of Comput. Sci., Univ. Politec. de Valencia, Valencia, Spain
A. Pickard , SIN C-3, Rolls-Royce plc, Derby, UK
A. J. Nolan , SIN C-3, Rolls-Royce plc, Derby, UK
pp. 259-264

Disambiguation of industrial standards through formalization and graphical languages (Abstract)

B. Westphal , Albert-Ludwigs-Univ. Freiburg, Freiburg, Germany
S. F. Arenis , Albert-Ludwigs-Univ. Freiburg, Freiburg, Germany
D. Dietsch , Albert-Ludwigs-Univ. Freiburg, Freiburg, Germany
A. Podelski , Albert-Ludwigs-Univ. Freiburg, Freiburg, Germany
pp. 265-270

Reconciling requirements and architectures with the CBSP approach in an iPhone app project (Abstract)

P. Grunbacher , Syst. Eng. & Autom., Johannes Kepler Univ. Linz, Linz, Austria
K. Lehner , Catalysts GmbH, Linz, Austria
H. Vogl , Catalysts GmbH, Linz, Austria
A. Egyed , Syst. Eng. & Autom., Johannes Kepler Univ. Linz, Linz, Austria
pp. 273-278

A means of establishing traceability based on a UML model in business application development (Abstract)

K. Ohashi , Fujitsu Labs. Ltd., Atsugi, Japan
Y. Tananaka , Fujitsu Labs. Ltd., Atsugi, Japan
R. Yamamoto , Fujitsu Labs. Ltd., Atsugi, Japan
H. Kurihara , Fujitsu Labs. Ltd., Atsugi, Japan
pp. 279-284

Requirements negotiation for multilayer system components (Abstract)

X. Franch , Software Eng. for Inf. Syst. Group (GESSI), Univ. Politec. de Catalunya, Barcelona, Spain
J. P. Carvallo , Centro de Certificacion de Calidad del Software, Univ. Del Pacifico, Cuenca, Ecuador
pp. 285-290

What are the day-to-day factors that are preventing business analysts from effective business analysis? (Abstract)

A. Wever , Software Educ. Sydney, Sydney, NSW, Australia
N. Maiden , Sch. of Inf., City Univ. London, London, UK
pp. 293-298

How to assign cost to "avoidable requirements creep": A step towards the waterfall's agilization (Abstract)

R. Fahney , Fahney Anforderungsingenieurwesen GmbH, Zurich, Switzerland
S. Puhl , Dell GmbH, Frankfurt, Germany
pp. 307-312

Semi-automatic identification of features in requirement specifications (Abstract)

E. Boutkova , Group Res. & Adv. Eng., Daimler AG, Ulm, Germany
F. Houdek , Group Res. & Adv. Eng., Daimler AG, Ulm, Germany
pp. 313-318

Emotional requirements engineering (Abstract)

A. Sutcliffe , Manchester Bus. Sch., Univ. of Manchester, Manchester, UK
pp. 321-322

Large-scale feature evolution: Problems and solutions from the mobile domain (PDF)

Bjorn Regnell , Department of Computer Science, Lund University
pp. 323

Ready-set-transfer! Technology transfer in the requirements engineering domain (Abstract)

J. Cleland-Huang , Sch. of Comput., Center of Excellence for Software Traceability (CoEST), DePaul Univ., Chicago, IL, USA
D. Damian , Dept. of Comput. Sci., Univ. of Victoria, Victoria, BC, Canada
pp. 327-328

Unknown knowns: Tacit knowledge in requirements engineering (PDF)

Vincenzo Gervasi , Dipartimento di Informatica, University of Pisa, Italy
Pete Sawyer , Computing Department, Lancaster University, Lancaster, UK
Bashar Nuseibeh , Department of Computing, The Open University, UK
pp. 329

Design requirements: Challenges and approaches (PDF)

Matthias Jarke , RWTH Aachen University and Fraunhofer FIT, Information Systems, RWTH Aachen University, D-52074 Aachen, Germany
pp. 331

TraCter: A tool for candidate traceability link clustering (Abstract)

Nan Niu , Comput. Sci. & Eng., Mississippi State Univ., Starkville, MS, USA
A. Mahmoud , Comput. Sci. & Eng., Mississippi State Univ., Starkville, MS, USA
pp. 335-336

rS: Automated reasoning tool for non-functional requirement goal models (Abstract)

Bo Wei , Acad. of Math. & Syst. Sci., Chinese Acad. of Sci., Beijing, China
D. Zowghi , Fac. of Eng. & IT, Univ. of Technol., Sydney, NSW, Australia
Zhi Jin , Key Lab. of High Confidence Software Techno., Peking Univ., Beijing, China
Bin Yin , Acad. of Math. & Syst. Sci., Chinese Acad. of Sci., Beijing, China
pp. 337-338

Eliciting usable security requirements with misusability cases (Abstract)

S. Faily , Dept. of Comput. Sci., Univ. of Oxford, Oxford, UK
I. Flechais , Dept. of Comput. Sci., Univ. of Oxford, Oxford, UK
pp. 339-340

PABRE-Man: Management of a requirement patterns catalogue (Abstract)

X. Franch , Software Eng. for Inf. Syst. Res. Group (GESSI), Univ. Politec. de Catalunya (UPC), Barcelona, Spain
C. Palomares , Software Eng. for Inf. Syst. Res. Group (GESSI), Univ. Politec. de Catalunya (UPC), Barcelona, Spain
C. Quer , Software Eng. for Inf. Syst. Res. Group (GESSI), Univ. Politec. de Catalunya (UPC), Barcelona, Spain
pp. 341-342

Modelling adaptability and variability in requirements (Abstract)

J. Noppen , Sch. of Comput. Sci., Univ. of East Anglia, Norwich, UK
A. Rashid , SCC, Lancaster Univ., Lancaster, UK
R. Chitchyan , SCC, Lancaster Univ., Lancaster, UK
P. Greenwood , SCC, Lancaster Univ., Lancaster, UK
A. Solberg , SINTEF, Oslo, Norway
F. Fleurey , SINTEF, Oslo, Norway
pp. 343-344

Experience with content-based requirements engineering assessments (Abstract)

M. Khalil , Fortiss GmbH, Munchen, Germany
S. Teufl , Fortiss GmbH, München, Germany
E. Geisberger , Fortiss GmbH, Munchen, Germany
Dongyue Mou , Fortiss GmbH, Munchen, Germany
pp. 345-346

iRequire: Gathering end-user requirements for new apps (Abstract)

N. Seyff , Dept. of Inf. Zurich, Univ. of Zurich, Zurich, Switzerland
M. Bortenschlager , Res. Inst., Samsung Electron., Staines, UK
G. Ollmann , Dept. of Inf. Zurich, Univ. of Zurich, Zurich, Switzerland
pp. 347-348

UML4PF -- A tool for problem-oriented requirements analysis (Abstract)

H. Schmidt , Software Eng. Group, Univ. Duisburg-Essen, Duisburg, Germany
M. Heisel , Software Eng. Group, Univ. Duisburg-Essen, Duisburg, Germany
I. Cote , Software Eng. Group, Univ. Duisburg-Essen, Duisburg, Germany
D. Hatebur , ITESYS Inst. f. Tech. Sys. GmbH, Dortmund, Germany
pp. 349-350

OpenArgue: Supporting argumentation to evolve secure software systems (Abstract)

B. Nuseibeh , Open Univ., Milton Keynes, UK
A. Tedeschi , Deep Blue, Rome, Italy
Yijun Yu , Open Univ., Milton Keynes, UK
V. N. L. Franqueira , Univ. of Twente, Enschede, Netherlands
Thein Than Tun , Open Univ., Milton Keynes, UK
pp. 351-352

Applying preference-based customization (Abstract)

S. Liaskos , Sch. of Inf. Technol., York Univ., Toronto, ON, Canada
V. Rogozhkin , Dept. of Bus. Inf. Syst. & Electron. Gov., Univ. of Potsdam, Potsdam, Germany
pp. 353-354

Run-time resolution of uncertainty (Abstract)

N. Bencomo , INRIA Paris, Le Chesnay, France
K. Welsh , Sch. of Comput. & Commun., Lancaster Univ., Lancaster, UK
P. Sawyer , Sch. of Comput. & Commun., Lancaster Univ., Lancaster, UK
pp. 355-356
100 ms
(Ver )