Balancing Agility and Formalism in Software Engineering: Second IFIP TC 2 Central and East European Conference on Software Engineering Techniques, CEE-SET 2007, Poznan, Poland, October 10-12, 2007, Revised Selected Papers

314 Pages·2008·7.37 MB·English

by  Scott W. Ambler (auth.)

Lecture Notes in Computer Science 5082
CommencedPublicationin1973
FoundingandFormerSeriesEditors:
GerhardGoos,JurisHartmanis,andJanvanLeeuwen
EditorialBoard
DavidHutchison
LancasterUniversity,UK
TakeoKanade
CarnegieMellonUniversity,Pittsburgh,PA,USA
JosefKittler
UniversityofSurrey,Guildford,UK
JonM.Kleinberg
CornellUniversity,Ithaca,NY,USA
AlfredKobsa
UniversityofCalifornia,Irvine,CA,USA
FriedemannMattern
ETHZurich,Switzerland
JohnC.Mitchell
StanfordUniversity,CA,USA
MoniNaor
WeizmannInstituteofScience,Rehovot,Israel
OscarNierstrasz
UniversityofBern,Switzerland
C.PanduRangan
IndianInstituteofTechnology,Madras,India
BernhardSteffen
UniversityofDortmund,Germany
MadhuSudan
MassachusettsInstituteofTechnology,MA,USA
DemetriTerzopoulos
UniversityofCalifornia,LosAngeles,CA,USA
DougTygar
UniversityofCalifornia,Berkeley,CA,USA
GerhardWeikum
Max-PlanckInstituteofComputerScience,Saarbruecken,Germany
Bertrand Meyer Jerzy R. Nawrocki
Bartosz Walter (Eds.)
Balancing Agility
and Formalism
in Software Engineering
Second IFIP TC 2 Central and East European Conference
on Software Engineering Techniques, CEE-SET 2007
Poznan´, Poland, October 10-12, 2007
Revised Selected Papers
1 3
VolumeEditors
BertrandMeyer
ETHZentrum,DepartmentofComputerScience
Clausiusstr.59,8092Zürich,Switzerland
E-mail:[email protected]
JerzyR.Nawrocki
Poznan´ UniversityofTechnology,InstituteofComputingScience
ul.Piotrowo2,60-965Poznan´,Poland
E-mail:[email protected]
BartoszWalter
Poznan´ UniversityofTechnology,InstituteofComputingScience
ul.Piotrowo2,60-965Poznan´,Poland
E-mail:[email protected]
LibraryofCongressControlNumber:2008932464
CRSubjectClassification(1998):D.2,K.6.3,K.6,K.4.3,F.3.2,H.2,J.1
LNCSSublibrary:SL2–ProgrammingandSoftwareEngineering
ISSN 0302-9743
ISBN-10 3-540-85278-6SpringerBerlinHeidelbergNewYork
ISBN-13 978-3-540-85278-0SpringerBerlinHeidelbergNewYork
Thisworkissubjecttocopyright.Allrightsarereserved,whetherthewholeorpartofthematerialis
concerned,specificallytherightsoftranslation,reprinting,re-useofillustrations,recitation,broadcasting,
reproductiononmicrofilmsorinanyotherway,andstorageindatabanks.Duplicationofthispublication
orpartsthereofispermittedonlyundertheprovisionsoftheGermanCopyrightLawofSeptember9,1965,
initscurrentversion,andpermissionforusemustalwaysbeobtainedfromSpringer.Violationsareliable
toprosecutionundertheGermanCopyrightLaw.
SpringerisapartofSpringerScience+BusinessMedia
springer.com
©IFIPInternationalFederationforInformationProcessing 2008
PrintedinGermany
Typesetting:Camera-readybyauthor,dataconversionbyScientificPublishingServices,Chennai,India
Printedonacid-freepaper SPIN:12446049 06/3180 543210
Preface
TheoriginsofCEE-SETgobackto theendofthe 1990s,whenthe PolishInfor-
mation Processing Society together with other partners organized the Software
Engineering Education Symposium, SEES 1998, sponsored by CEPIS, and the
Polish Conference on Software Engineering, KKIO 1999 (the latter has become
anannualevent).AfewyearslaterKKIOchangedtoaninternationalconference
on Software Engineering Techniques, SET 2006, sponsored by Technical Com-
mittee 2 (Software: Theory and Practice) of the International Federation for
InformationProcessing,IFIP [http://www.ifip.org/].In2007the conferencegot
a new name: second IFIP TC2 Central and East-EuropeanConference on Soft-
ware Engineering Techniques, CEE-SET 2007.It took place in Poznan,Poland,
and lasted for three days, from October 10 to 12, 2007 (the details are on the
conference web page http://www.cee-set.org/2007).The conference aim was to
bring together software engineering researchers and practitioners, mainly from
Central and East-European countries (but not only), and allow them to share
theirideasandexperience.Thespecialtopicfor2007was“BalancingAgilityand
Formalism in Software Engineering.”
The conference was technically sponsored by:
– IFIP Technical Committee 2, Software: Theory and Practice
– Gesellschaft fu¨r Informatik, Special Interest Group Software Engineering
– John von Neumann Computer Society (NJSZT), Hungary
– Lithuanian Computer Society
– Polish Academy of Sciences, Committee for Informatics
– Polish Information Processing Society
– Slovak Society for Computer Science
Financial support was provided by IBM Software Laboratory in Krakow,
MicrosoftResearch,MicrosoftPolska,PolishInformationProcessingSociety,and
the XPrince Consortium.
The conference program consisted of 3 keynote speeches given by Scott W.
Ambler (IBM, Canada), Bertrand Meyer (ETH Zurich), and Dieter Rombach
(Fraunhofer IESE, Kaiserslautern), 21 regular presentations selected from 73
submissions (success rate was about 28%), and 15 work-in-progress presenta-
tions.TheInternationalProgramCommitteenominatedthefollowingthreereg-
ular papers for the Best Paper Award:
– Raimund Moser, Pekka Abrahamsson,Witold Pedrycz,Alberto Sillitti, and
Giancarlo Succi: “A Case Study on the Impact of Refactoring on Quality
and Productivity in an Agile Team”
– Adam Trendowicz, Michael Ochs, Axel Wickenkamp, Juergen Muench,
YasushiIshigai,andTakashiKawaguchi:“AnIntegratedApproachforIden-
tifying Relevant Factors Influencing Software Development Productivity”
VI Preface
– Mesfin Mulugeta, and Alexander Schill: “A Framework for QoS Contract
Negotiation in Component-Based Applications”
Aftertheabovepaperpresentations,theBestPaperAwardCommitteechaired
by Miklos Biro (IFIP TC2 member) decided that the IFIP TC2 Manfred Paul
Award should go to the authors of the second paper: A. Trendowicz, M. Ochs,
A. Wickenkamp, J. Muench, Y. Ishigai and T. Kawaguchi.
TheIFIPTC2ManfredPaulAwardisanannualaward.“Theawardismade
for a published paper, and consists of a prize of 1024 euros and a plaque or
certificate. The award is named after Manfred Paul, who was chairman of TC2
from 1977 to 1986 and the representative for Germany from 1973.”
[http://www.ifip.or.at/awards.htm].
AnotherawardatCEE-SET2007wastheBestPresentationAward.Herethe
jury was the audience of the conference. Two presenters won the competition:
Miroslaw Ochodek and Ramin TavakoliKolagari.
This volume contains two of the three keynotes and all the regular presen-
tations given at the conference. We believe that publishing these high-quality
papers will support a wider discussion on balancing agility and formalism in
software development and, more generally, on software engineering techniques.
May 2008 Bertrand Meyer
Jerzy Nawrocki
Bartosz Walter
Organization
Program Chairs
Bertrand Meyer
Jerzy Nawrocki
Program Committee
Pekka Abrahamsson Henryk Krawczyk
Vincenzo Ambriola Leszek Maciaszek
Uwe Assmann Jan Madey
Hubert Baumeister Lech Madeyski
Maria Bielikova Zygmunt Mazur
Stefan Biffl Juergen Muench
Miklos Biro PavolNavrat
Pere Botella Barbara Paech
Albertas Caplinskas Andras Pataricza
Radovan Cervenka Alexander K. Petrenko
Paul Clements Frantisek Plasil
Jutta Eckstein Erhard Ploedereder
Evram Eskenazi Klaus Pohl
Gabor Fazekas Saulius Ragaisis
Kurt Geihs Felix Redmil
Janusz G´orski Karel Richta
Paul Gru¨nbacher Krzysztof Sacha
Nicolas Guelfi Wilhelm Schaefer
Tibor Gyimothy Helen Sharp
Heinrich Hussmann Giancarlo Succi
Zbigniew Huzar Tomasz Szmuc
Stefan J¨ahnichen Andrey Terekhov
Paul Klint Bartosz Walter
Jan Kollar Jaroslav Zendulka
Laszlo Kozma Krzysztof Zielin´ski
Local Organization
Michal(cid:3) Jasin´ski Bartosz Michalik
Jan Kniat Ewa Nawrocka
EwaL(cid:3) ukasik Miroslaw Ochodek
L(cid:3) ukasz Macuda L(cid:3) ukasz Olek
VIII Organization
Magdalena Olek Bartosz Walter
Joanna Radke Adam Wojciechowski
External Reviewers
Marc Alier Raimund Moser
Richard Atterer Miroslaw Ochodek
Alexei Barantsev L(cid:3) ukasz Olek
Jerzy B(cid:3)laszczyn´ski Maciej Piasecki
Bartosz Bogacki B(cid:3)laz˙ej Pietrzak
Alfredo Capozucca Gergely Pint´er
L(cid:3) ukasz Cyra Andreas Pleuss
Matthias Gehrke Benoˆıt Ries
Joel Greenyer Zdzisl(cid:3)aw Spl(cid:3)awski
Timea Illes-Seifert L(cid:3) ukasz Szala
Janusz Jab(cid:3)lonowski Da´niel To´th
Agata Janowska Artur Wilczek
Olek Jarzebowicz Dietmar Winkler
(cid:2)
Michal(cid:3) Jasin´ski Adam Wojciechowski
Bartosz Michalik Michael Zapf
Jakub Miler Sergei Zelenov
Table of Contents
1. Keynotes
Agile Software Development at Scale ............................... 1
Scott W. Ambler
Formalisms in Software Engineering: Myths Versus Empirical Facts .... 13
Dieter Rombach and Frank Seelisch
2. Measurement
Extending GQM by Argument Structures ........................... 26
L(cid:2) ukasz Cyra and Janusz Go´rski
On Metamodel-Based Design of Software Metrics .................... 40
Erki Eessaar
Automatic Transactions Identification in Use Cases .................. 55
Mirosl(cid:2)aw Ochodek and Jerzy Nawrocki
3. Processes
A Collaborative Method for Reuse Potential Assessment in
Reengineering-BasedProduct Line Adoption ........................ 69
Muhammad Asim Noor, Paul Gru¨nbacher, and Christopher Hoyer
Corporate-, Agile- and Open Source Software Development: A Witch’s
Brew or An Elixir of Life?......................................... 84
Morkel Theunissen, Derrick Kourie, and Andrew Boake
CapableLeaderandSkilledandMotivatedTeamPracticestoIntroduce
eXtreme Programming............................................ 96
Lech Madeyski and Wojciech Biela
4. UML
Platform-Independent Programming of Data-Intensive Applications
Using UML ..................................................... 103
Grzegorz Falda, Piotr Habela, Krzysztof Kaczmarski,
Krzysztof Stencel, and Kazimierz Subieta
Towards UML-Intensive Framework for Model-Driven Development .... 116
Darius Silingas and Ruslanas Vitiutinas
X Table of Contents
UML Static Models in Formal Approach ............................ 129
Marcin Szlenk
5. Experiments
Does Test-Driven Development Improve the Program Code? Alarming
Results from a Comparative Case Study ............................ 143
Maria Siniaalto and Pekka Abrahamsson
Measuring the Human Factor with the Rasch Model.................. 157
Dirk Wilking, David Schilli, and Stefan Kowalewski
Empirical Analysis of a Distributed Software Development Project ..... 169
Przemyslaw Cichocki and Alessandro Maccari
6. Tools
Extending Software Architecting Processes with Decision-Making
Activities ....................................................... 182
Rafael Capilla and Francisco Nava
A Tool for Supporting Feature-Driven Development .................. 196
Marek Rychl´y and Pavl´ına Tich´a
In-Time Role-Specific Notification as Formal Means to Balance Agile
Practices in Global Software Development Settings ................... 208
Dindin Wahyudin, Matthias Heindl, Benedikt Eckhard,
Alexander Schatten, and Stefan Biffl
7. Best Papers Session
An Integrated Approach for Identifying Relevant Factors Influencing
Software Development Productivity ................................ 223
Adam Trendowicz, Michael Ochs, Axel Wickenkamp, Ju¨rgen Mu¨nch,
Yasushi Ishigai, and Takashi Kawaguchi
A Framework for QoS Contract Negotiation in Component-Based
Applications..................................................... 238
Mesfin Mulugeta and Alexander Schill
ACaseStudyontheImpactofRefactoringonQualityandProductivity
in an Agile Team ................................................ 252
Raimund Moser, Pekka Abrahamsson, Witold Pedrycz,
Alberto Sillitti, and Giancarlo Succi
8. Change
Modeling of Requirements Tracing ................................. 267
Matthias Heindl and Stefan Biffl
Table of Contents XI
Support for Cooperative Design of End-User Tailorable Software....... 279
Jeanette Eriksson
Manifoldness of Variability Modeling — Considering the Potential for
Further Integration............................................... 291
Mark-Oliver Reiser, Ramin Tavakoli Kolagari, and Matthias Weber
Author Index.................................................. 305