The Community for Technology Leaders
Software Engineering, International Conference on (2008)
Leipzig, Germany
May 10, 2008 to May 18, 2008
ISBN: 978-1-60558-079-1
TABLE OF CONTENTS
Software tools

Topes (Abstract)

Mary Shaw , Carnegie Mellon University, Pittsburgh, PA, USA
Brad Myers , Carnegie Mellon University, Pittsburgh, PA, USA
Christopher Scaffidi , Carnegie Mellon University, Pittsburgh, PA, USA
pp. 1-10

Tracking source locations (Abstract)

Steven Reiss , Brown University, Providence, RI, USA
pp. 11-20

Answering conceptual queries with Ferret (Abstract)

Brian de Alwis , University of British Columbia, Vancouver, BC, Canada
Gail Murphy , University of British Columbia, Vancouver, BC, Canada
pp. 21-30
Specification I

Specification patterns for probabilistic quality properties (Abstract)

Lars Grunske , Swinburne University of Technology, Hawthorn, VIC 3122, Australia, Australia
pp. 31-40

Existential live sequence charts revisited (Abstract)

Victor Braberman , Univeristy of Buenos Aires, Buenos Aires, Argentina
German Sibay , University of Buenos Aires, Buenos Aires, Argentina
Sebastian Uchitel , University of Buenos Aires, Buenos Aires, Argentina
pp. 41-50

Symbolic mining of temporal specifications (Abstract)

Mark Gabel , University of California at Davis, Davis, CA, USA
Zhendong Su , University of California at Davis, Davis, CA, USA
pp. 51-60
Testing I

Testing pervasive software in the presence of context inconsistency resolution services (Abstract)

T.H. Tse , The University of Hong Kong, Pokfulam, Hong Kong
Heng Lu , The University of Hong Kong, Pokfulam, Hong Kong
W.K. Chan , City University of Hong Kong, Tat Chee Avenue, Hong Kong
pp. 61-70

ARTOO (Abstract)

Andreas Leitner , Swiss Federal Institute of Technology (ETH Zurich, Zurich, Switzerland
Ilinca Ciupa , Swiss Federal Institute of Technology (ETH Zurich, Zurich, Switzerland
Bertrand Meyer , Swiss Federal Institute of Technology (ETH Zurich, Zurich, Switzerland
Manuel Oriol , Swiss Federal Institute of Technology (ETH Zurich, Zurich, Switzerland
pp. 71-80

Time will tell (Abstract)

Amit Paradkar , IBM T. J. Watson Research Center, Hawthorne, NY, USA
Cemal Yilmaz , IBM T. J. Watson Research Center, Hawthorne, NY, USA
Clay Williams , IBM T. J. Watson Research Center, Hawthorne, NY, USA
pp. 81-90
Components & reuse

Towards reusable components with aspects (Abstract)

Patrick Eugster , Purdue University, West Lafayette, IN, USA
Kevin Hoffman , Purdue University, West Lafayette, IN, USA
pp. 91-100

Using components for architecture-based management (Abstract)

Noel De Palma , Institut National Polytechnique de Grenoble, Grenoble, France
Fabienne Boyer , Université Joseph Fourier, Grenoble, France
Sylvain Sicard , Université Joseph Fourier, Grenoble, France
pp. 101-110

Early prediction of software component reliability (Abstract)

Leana Golubchik , University of Southern California, Los Angeles, CA, USA
Nenad Medvidovic , University of Southern California, Los Angeles, CA, USA
Leslie Cheung , University of Southern California, Los Angeles, CA, USA
Roshanak Roshandel , Seattle University, Seattle, WA, USA
pp. 111-120
Specification II

Executable misuse cases for modeling security concerns (Abstract)

Duminda Wijesekera , George Mason University, Fairfax, VA, USA
Mark Hartong , Federal Railroad Administration, Washington, DC, USA
Jon Whittle , Lancaster University, Lancaster, Gt Britain
pp. 121-130

Mining library specifications using inductive logic programming (Abstract)

Franjo Ivanci , NEC Labs America, Princeton, NJ, USA
Sriram Sankaranarayanan , NEC Labs America, Princeton, NJ, USA
Aarti Gupta , NEC Labs America, Princeton, NJ, USA
pp. 131-140

Temporal dependency based checkpoint selection for dynamic verification of fixed-time constraints in grid workflow systems (Abstract)

Jinjun Chen , Swinburne University of Technology, Melbourne, Australia
Yun Yang , Swinburne University of Technology, Melbourne, Australia
pp. 141-150
Testing II

Precise memory leak detection for java software using container profiling (Abstract)

Guoqing Xu , Ohio State University, Columbus, OH, USA
Atanas Rountev , Ohio State University, Columbus, OH, USA
pp. 151-160

The effect of program and model structure on mc/dc test adequacy coverage (Abstract)

Michael Whalen , Rockwell Collins Inc. , Cedar Rapids, IA, USA
Ajitha Rajan , University of Minnesota, Minneapolis, MN, USA
Mats Heimdahl , University of Minnesota, Minneapolis, MN, USA
pp. 161-170

Static detection of cross-site scripting vulnerabilities (Abstract)

Gary Wassermann , University of California, Davis, Davis, CA, USA
Zhendong Su , University of California, Davis, Davis, CA, USA
pp. 171-180
Empirical software engineering

A comparative analysis of the efficiency of change metrics and static code attributes for defect prediction (Abstract)

Giancarlo Succi , Free University of Bolzano-Bozen, Bolzano, Italy
Witold Pedrycz , University of Alberta, Edmonton, AB, Canada
Raimund Moser , Free University of Bolzano-Bozen, Bolzano, Italy
pp. 181-190

On the difficulty of replicating human subjects studies in software engineering (Abstract)

Steve Easterbrook , University of Toronto, Toronto, ON, Canada
Gregory Wilson , University of Toronto, Toronto, ON, Canada
Jorge Aranda , University of Toronto, Toronto, ON, Canada
Jonathan Lung , University of Toronto, Toronto, ON, Canada
pp. 191-200

An empirical study of the effects of test-suite reduction on fault localization (Abstract)

Yanbing Yu , Georgia Institute of Technology, Atlanta, GA, USA
Mary Jean Harrold , Georgia Institute of Technology, Atlanta, GA, USA
James Jones , Georgia Institute of Technology, Atlanta, GA, USA
pp. 201-210
Program analysis

Calysto (Abstract)

Alan Hu , University of British Columbia, Vancouver, BC, Canada
Domagoj Babic , University of British Columbia, Vancouver, BC, Canada
pp. 211-220

jPredictor (Abstract)

Feng Chen , University of Illinois, Urbana, IL, USA
Grigore Rosu , University of Illinois, Urbana, IL, USA
Traian Serbanuta , University of Illinois, Urbana, IL, USA
pp. 221-230

Dynamic detection of atomic-set-serializability violations (Abstract)

Christian Hammer , Universität Karlsruhe (TH, Karlsruhe, Germany
Julian Dolby , IBM T. J. Watson Research Center, Yorktown Heights, NY, USA
Frank Tip , IBM T. J. Watson Research Center, Yorktown Heights, NY, USA
Mandana Vaziri , IBM T. J. Watson Research Center, Yorktown Heights, NY, USA
pp. 231-240
Empirical software process

An empirical study of software developers' management of dependencies and changes (Abstract)

Cleidson de Souza , Universidade Federal do Pará, Belém, Brazil
David Redmiles , University of California, Irvine, Irvine, CA, USA
pp. 241-250

TODO or to bug (Abstract)

R. Ian Bull , University of Victoria, Victoria, BC, Canada
Margaret-Anne Storey , University of Victoria, Victoria, BC, Canada
Jody Ryall , University of Victoria, Victoria, BC, Canada
Janice Singer , National Research Council, Ottawa, ON, Canada
Del Myers , University of Victoria, Victoria, BC, Canada
pp. 251-260
Formal analysis

A verification system for timed interval calculus (Abstract)

Jun SUN , National University of Singapore, Singapore, Singapore
Jin Song DONG , National University of Singapore, Singapore, Singapore
Chunqing CHEN , National University of Singapore, Singapore, Singapore
pp. 271-280

DySy (Abstract)

Christoph Csallner , Georgia Tech, Atlanta, GA, USA
Nikolai Tillmann , Microsoft Research, Redmond, WA, USA
Yannis Smaragdakis , University of Oregon, Eugene, OR, USA
pp. 281-290

Incremental state-space exploration for programs with dynamically allocated data (Abstract)

Mahesh Viswanathan , University of Illinois at Urbana-Champaign, Urbana, IL, USA
Darko Marinov , University of Illinois at Urbana-Champaign, Urbana, IL, USA
Ahmed Sobeih , University of Illinois at Urbana-Champaign, Urbana, IL, USA
Steven Lauterburg , University of Illinois at Urbana-Champaign, Urbana, IL, USA
pp. 291-300
Program comprehension

Debugging reinvented (Abstract)

Brad Myers , Carnegie Mellon University, Pittsburgh, PA, USA
Andrew Ko , Carnegie Mellon University, Pittsburgh, PA, USA
pp. 301-310

Granularity in software product lines (Abstract)

Martin Kuhlemann , Otto-von-Guericke-Universität Magdeburg, Magdeburg, Germany
Sven Apel , University of Passau, Passau, Germany
Christian Kästner , Otto-von-Guericke-Universität Magdeburg, Magdeburg, Germany
pp. 311-320

Scalable detection of semantic clones (Abstract)

Zhendong Su , University of California at Davis, Davis, CA, USA
Lingxiao Jiang , University of California at Davis, Davis, CA, USA
Mark Gabel , University of California at Davis, Davis, CA, USA
pp. 321-330
Empirical testing & analysis

The effect of the number of inspectors on the defect estimates produced by capture-recapture models (Abstract)

Gursimran Walia , Mississippi State University, Starkville, MS, USA
Nachiappan Nagappan , Microsoft Research, Redmond, VA, USA
Jeffrey Carver , Mississippi State University, Starkville, MS, USA
pp. 331-340

Predicting accurate and actionable static analysis warnings (Abstract)

Sebastian Elbaum , University of Nebraska-Lincoln, Lincoln, NE, USA
Joseph Ruthruff , University of Nebraska-Lincoln, Lincoln, NE, USA
J. Morgenthaler , Google Inc., Mountain View, CA, USA
John Penix , Google In ., Mountain View, CA, USA
Gregg Rothermel , University of Nebraska-Lincoln, Lincoln, NE, USA
pp. 341-350

Sufficient mutation operators for measuring test effectiveness (Abstract)

Duncan Murdoch , University of Western Ontario, London, ON, Canada
James Andrews , University of Western Ontario, London, ON, Canada
Akbar Siami Namin , University of Western Ontario, London, ON, Canada
pp. 351-360
Software process

Are fit tables really talking? (Abstract)

Marco Torchiano , Politecnico di Torino, Torino, Italy
Massimiliano Di Penta , University of Sannio, Benevento, Italy
Filippo Ricca , University of Genoa, Genova, Italy
Mariano Ceccato , Fondazione Bruno Kessler-IRST, Trento, Italy
Corrado Aaron Visaggio , University of Sannio, Benevento, Italy
Paolo Tonella , Fondazione Bruno Kessler-IRST, Trento, Italy
pp. 361-370

Data flow testing of service-oriented workflow applications (Abstract)

Lijun Mei , The University of Hong Kong, Pokfulam, Hong Kong
W.K. Chan , City University of Hong Kong, Tat Chee Avenue, Hong Kong
T.H. Tse , The University of Hong Kong, Pokfulam, Hong Kong
pp. 371-380

A tale of four kernels (Abstract)

Diomidis Spinellis , Athens University of Economics and Business, Athens, Greece
pp. 381-390
Architecture

Defining and continuous checking of structural program dependencies (Abstract)

Sven Kloppenburg , Darmstadt University of Technology, Darmstadt, Germany
Michael Eichberg , Darmstadt University of Technology, Darmstadt, Germany
Karl Klose , Darmstadt University of Technology, Darmstadt, Germany
Mira Mezini , Darmstadt University of Technology, Darmstadt, Germany
pp. 391-400

A case study evaluation of maintainability and performance of persistency techniques (Abstract)

Thomas Goldschmidt , FZI Research Center for Information Technologies, Karlsruhe, Germany
Jochen Winzen , andrena objects ag, Karlsruhe, Germany
Ralf Reussner , Universität Karlsruhe (TH, Karlsruhe, Germany
pp. 401-410

Automatic modularity conformance checking (Abstract)

Yuanyuan Song , University of Virginia, Charlottesville, VA, USA
Kevin Sullivan , University of Virginia, Charlottesville, VA, USA
Yuanfang Cai , Drexel University, Philadelphia, PA, USA
Sunny Huynh , Drexel University, Philadelphia, PA, USA
pp. 411-420
Refactoring

Breaking the barriers to successful refactoring (Abstract)

Emerson Murphy-Hill , Portland State University, Portland, OR, USA
Andrew Black , Portland State University, Portland, OR, USA
pp. 421-430

Systematically refactoring inheritance to delegation in java (Abstract)

Hannes Kegel , ej-technologies GmbH, M
Friedrich Steimann , Fernuniversität in Hagen, Hagen, Germany
pp. 431-440

ReBA (Abstract)

Ralph Johnson , University of Illinois, Urbana-Champaign, IL, USA
Stas Negara , University of Illinois, Urbana-Champaign, IL, USA
Vibhu Mohindra , ACL Wireless Limited, Delhi, India
Danny Dig , University of Illinois, Urbana-Champaign, IL, USA
pp. 441-450
Evolution

Impact analysis of database schema changes (Abstract)

Wolfgang Emmerich , University College London, London, United Kingdom
David Rosenblum , University College London, London, United Kingdom
Andy Maule , University College London, London, United Kingdom
pp. 451-460

An approach to detecting duplicate bug reports using natural language and execution information (Abstract)

Xiaoyin Wang , Peking University, Beijing, China
Jiasu Sun , Peking University, Beijing, China
Tao Xie , North Carolina State University, Raleigh, NC, USA
John Anvik , University of Victoria, Victoria, BC, Canada
Lu Zhang , Peking University, Beijing, China
pp. 461-470
Frameworks

Mining framework usage changes from instantiation code (Abstract)

Thorsten Schäfer , Darmstadt University of Technology, Darmstadt, Germany
Mira Mezini , Darmstadt University of Technology, Darmstadt, Germany
Jan Jonas , Darmstadt University of Technology, Darmstadt, Germany
pp. 471-480

Recommending adaptive changes for framework evolution (Abstract)

Barthélémy Dagenais , McGill University, Montréal, PQ, Canada
Martin Robillard , McGill University, Montréal, PQ, Canada
pp. 481-490

Four enhancements to automateddistributed system experimentation methods (Abstract)

Yanyan Wang , University of Colorado, Boulder, CO, USA
Antonio Carzaniga , University of Lugano, Lugano, Switzerland
Alexander Wolf , Imperial College London, London, United Kingdom
pp. 491-500
Models

Automatic generation of software behavioral models (Abstract)

Leonardo Mariani , University of Milano Bicocca, Milan, Italy
Davide Lorenzoli , University of Milano Bicocca, Milan, Italy
Mauro Pezzè , University of Milano Bicocca, Milan, Italy
pp. 501-510

Detecting model inconsistency through operation-based model construction (Abstract)

Xavier Blanc , LIP6, Paris, France
Tom Mens , UMH, Mons, Belgium
Isabelle Mounier , LIP6, Paris, France
Alix Mougenot , LIP6, Paris, France
pp. 511-520
Software engineering economics

The influence of organizational structure on software quality (Abstract)

Victor Basili , University of Maryland, College Park, MD, USA
Brendan Murphy , Microsoft Research, Cambridge, United Kingdom
Nachiappan Nagappan , Microsoft Research, Redmond, WA, USA
pp. 521-530

Predicting defects using network analysis on dependency graphs (Abstract)

Thomas Zimmermann , University of Calgary, Calgary, AB, Canada
Nachiappan Nagappan , Microsoft Research, Redmond, WA, USA
pp. 531-540

Open source software peer review practices (Abstract)

Margaret-Anne Storey , University of Victoria, Victoria, BC, Canada
Daniel German , University of Victoria, Victoria, BC, Canada
Peter Rigby , University of Victoria, Victoria, BC, Canada
pp. 541-550
Process & models

Ahaa --agile, hybrid assessment method for automotive, safety critical smes (Abstract)

Ita Richardson , University of Limerick, Limerick, Ireland
Fergal McCaffery , Dundalk Institute of Technology, Dundalk, Ireland
Minna Pikkarainen , Lero & VTT Technical Research Centre, Limerick & Oulu, Finland
pp. 551-560

Models for model's sake (Abstract)

Joachim Stroop , dSPACE GmbH, Paderborn, Germany
Oliver Niggemann , dSPACE GmbH, Paderborn, Germany
pp. 561-570

Time-bounded adaptation for automotive system software (Abstract)

Douglas Schmidt , Vanderbilt University, Terrace Plase, USA
Siobhán Clarke , Trinity College Dublin, Dublin, Ireland
Serena Fritsch , Trinity College Dublin, Dublin, Ireland
Aline Senart , Trinity College Dublin, Dublin, Ireland
pp. 571-580
Architecture & design

Mulit-level system integration based on AUTOSAR (Abstract)

Ulrich Freund , ETAS GmbH, Stuttgart, Germany
pp. 581-582

Asam odx (Abstract)

Stefan Bienk , University of Erlangen, Erlangen, Germany
pp. 583-592
Quality assurance

A language for advanced protocol analysis in automotive networks (Abstract)

Tim Reichert , Northumbria University, Newcastle upon Tyne, United Kingdom
Wolfgang Schoch , Heilbronn University, Heilbronn, Germany
Ansgar Meroth , Heilbronn University, Heilbronn, Germany
Dominikus Herzberg , Heilbronn University, Heilbronn, Germany
Edmund Klaus , Heilbronn University, Heilbronn, Germany
pp. 593-602

Clone detection in automotive model-based development (Abstract)

Jean-François Girard , MAN Nutzfahrzeuge AG, München, Germany
Stefan Wagner , Technische Universität München, Garching bei München, Germany
Elmar Jürgens , Technische Universität München, Garching bei München, Germany
Bernhard Schätz , Technische Universität München, Garching bei München, Germany
Stefan Teuchert , MAN Nutzfahrzeuge AG, München, Germany
Florian Deissenboeck , Technische Universität München, Garching bei München, Germany
Benjamin Hummel , Technische Universität München, Garching bei München, Germany
pp. 603-612

Formal verification of an automotive scenario in service-oriented computing (Abstract)

Nora Koch , Cirquent GmbH, Munich, Germany
Franco Mazzanti , CNR, Pisa, Italy
Stefania Gnesi , CNR, Pisa, Italy
Maurice ter Beek , CNR, Pisa, Italy
pp. 613-622
Requirements engineering

Analyzing medical processes (Abstract)

Leon Osterweil , University of Massachusetts, Amherst, MA, USA
Elizabeth Henneman , University of Massaschusetts, Amherst, MA, USA
Philip Henneman , Tufts-Baystate Medical Center, Springfield, MA, USA
George Avrunin , University of Massachusetts, Amherst, MA, USA
Bin Chen , University of Massachusetts, Amherst, MA, USA
Lori Clarke , University of Massachusetts, Amherst, MA, USA
pp. 623-632

Rational quality requirements for medical software (Abstract)

Barbara Paech , Institute for Computer Science, Heidelberg, Germany
Thomas Wetter , Institute of Medical Biometry and Medical Informati s, Heidelberg, Germany
pp. 633-638

Supporting requirements engineering for medical products (Abstract)

Christian Denger , Fraunhofer IESE, Kaiserslautern, Germany
Joerg Doerr , Fraunhofer IESE, Kaiserslautern, Germany
Dennis Landmann , Fraunhofer IESE, Kaiserslautern, Germany
Christian Graf , University of Hamburg, Hamburg, Germany
Anne Hoffmann , Siemens AG, München, Germany
Daniel Kerkow , Fraunhofer IESE, Kaiserslautern, Germany
pp. 639-648
Architecture

Experiences with Mirth (Abstract)

Gerald Bortis , Donald Bren School of Information and Computer Sciences, Irvine, CA, USA
pp. 649-652

Developing an architecture of a knowledge-based electronic patient record (Abstract)

Danny Ammon , Ilmenau Technical University, Ilmenau, Germany
Tobias Jakob , medrapid GmbH, Heidelberg, Germany
Dirk Hoffmann , medrapid GmbH, Heidelberg, Germany
Ekkehard Finkeissen , medrapid GmbH, Heidelberg, Germany
pp. 653-660

Design and implementation of the software architecture for a 3-D reconstruction system in medical imaging (Abstract)

Joachim Hornegger , University of Erlangen-Nuremberg, Erlangen, Germany
Markus Kowarschik , Siemens Medical Solutions, Erlangen, Germany
Stefan Hoppe , University of Erlangen-Nuremberg, Erlangen, Germany
Holger Scherl , University of Erlangen-Nuremberg, Erlangen, Germany
pp. 661-668
Quality

Applying model-based testing to healthcare products (Abstract)

Rajanikanth Tanikella , Siemens Corporate Research Inc., Princeton, NJ, USA
Stephan Storck , Siemens Corporate Research Inc., Princeton, NJ, USA
Bill Hasling , Siemens Corporate Research Inc., Princeton, NJ, USA
Xiping Song , Siemens Corporate Research Inc., Princeton, NJ, USA
Gilberto Matos , Siemens Corporate Research Inc., Princeton, NJ, USA
Marlon Vieira , Siemens Corporate Research Inc., Princeton, NJ, USA
pp. 669-672

Developing a security protocol for a distributed decision support system in a healthcare environment (Abstract)

Paul Lewis , University of Southampton, Southampton, United Kingdom
Alex Gibb , University of Birmingham, Birmingham, United Kingdom
Liang Xiao , University of Southampton, Southampton, United Kingdom
pp. 673-682
Modeling & Architecture

Model-based security analysis for mobile communications (Abstract)

Joerg Schreck , O2 (Germany, Munich, Germany
Peter Bartmann , University of Augsburg, Augsburg, Germany
Jan Jürjens , The Open University, Milton Keynes, United Kingdom
pp. 683-692

Experience applying the SPIN model checker to an industrial telecommunications system (Abstract)

T.C. Graham , Queens University, Kingston, Ontario, Canada
Barry Long , Queens University, Kingston, Ontario, Canada
Juergen Dingel , Queens University, Kingston, Ontario, Canada
pp. 693-702

WS-AMUSE - web service architecture for multimedia services (Abstract)

Andreas Scholz , Technische Universität München, Garching, Germany
Jörg Heuer , Siemens AG, München, Germany
Alois Knoll , Technische Universität München, Garching, Germany
Christian Buckl , Technische Universität München, Garching, Germany
Alfons Kemper , Technische Universität München, Garching, Germany
Martin Winter , Siemens AG, München, Germany
pp. 703-712
Quality

Interval Quality: Relating Customer-Perceived Quality to Process Quality (Abstract)

Audris Mockus , Avaya Research, Basking Ridge, NJ, USA
David Weiss , Avaya Research, Basking Ridge, NJ, USA
pp. 723-732

Improving the handsets network test process via DMAIC concepts (Abstract)

Fabio Silva , CIn/Samsung - UFPE, Recife, Brazil
Clauirton Siebra , CIn/Samsung - UFPE, Recife, Brazil
Paulo Costa , CIn/Samsung - UFPE, Recife, Brazil
Andre Santos , CIn/Samsung - UFPE, Recife, Brazil
pp. 733-740
Extending the frontiers in SE education

3-step knowledge transition (Abstract)

Bartosz Michalik , Poznan University of Technology, Poznan, Poland
Jerzy Nawrocki , Poznan University of Technology, Poznan, Poland
Miroslaw Ochodek , Poznan University of Technology, Poznan, Poland
pp. 741-748

From programming to modeling (Abstract)

Antonio Vallecillo , Universidad de Málaga, Málaga, Spain
José Romero , Universidad de Córdoba, Córdoba, Spain
Francisco Durán , Universidad de Málaga, Málaga, Spain
Jordi Cabot , Open University of Catalonia, Barcelona, Spain
Nathalie Moreno , Universidad de Málaga, Málaga, Spain
pp. 749-758

A study of student strategies for the corrective maintenance of concurrent software (Abstract)

Shaohua Xie , University of Georgia, Athens, GA, USA
R. E. K. Stirewalt , Michigan State University, East Lansing, MI, USA
Laura Dillon , Michigan State University, East Lansing, MI, USA
Eileen Kraemer , University of Georgia, Athens, GA, USA
Scott Fleming , Michigan State University, East Lansing, MI, USA
pp. 759-768
SE education practices

Best practices in extreme programming course design (Abstract)

Eric Knauss , Leibniz Universität Hannover, Hannover, Germany
Daniel Lübke , Leibniz Universität Hannover, Hannover, Germany
Kai Stapel , Leibniz Universität Hannover, Hannover, Germany
pp. 769-776

Using the inverted classroom to teach software engineering (Abstract)

Michael Helmick , Miami University, Oxford, OH, USA
Gerald Gannod , Miami University, Oxford, OH, USA
Janet Burge , Miami University, Oxford, OH, USA
pp. 777-786

A teamwork-based approach to programming fundamentals with scheme, smalltalk & java (Abstract)

Amy Murphy , FBK-IRST, Trento, Italy
Paolo Bonzini , University of Lugano, Lugano, Switzerland
Michele Lanza , University of Lugano, Lugano, Switzerland
Romain Robbes , University of Lugano, Lugano, Switzerland
Mircea Lungu , University of Lugano, Lugano, Switzerland
pp. 787-790
Inter- and intradisciplinary SE foundations

Power through brokering (Abstract)

Birgit Krogstie , Norwegian University of Science and Technology, Trondheim, Norway
pp. 791-800

Design patterns (Abstract)

Christoph Denzler , UAS Northwestern Switzerland, Windisch, Switzerland
Dominik Gruntz , UAS Northwestern Switzerland, Windisch, Switzerland
pp. 801-804
Innovatin in SE education

Change management (Abstract)

Uwe Dumslaff , SD&M AG, Müünchen, Germany
pp. 805-806
Model-driven development and model analysis I

Metamodel-based tool integration with moflon (Abstract)

Alexander Königs , Technische Universität Darmstadt, Darmstadt, Germany
Carsten Amelunxen , Technische Universität Darmstadt, Darmstadt, Germany
Andy Schürr , Technische Universität Darmstadt, Darmstadt, Germany
Felix Klar , Technische Universität Darmstadt, Darmstadt, Germany
Tobias Rötschke , Technische Universität Darmstadt, Darmstadt, Germany
pp. 807-810

Genie (Abstract)

Gordon Blair , Lancaster University, Lancaster, United Kingdom
Carlos Flores , Lancaster University, Lancaster, United Kingdom
Danny Hughes , Lancaster University, Lancaster, United Kingdom
Paul Grace , Lancaster University, Lancaster, United Kingdom
Nelly Bencomo , Lancaster University, Lancaster, United Kingdom
pp. 811-814

Global consistency checking of distributed models with TReMer+ (Abstract)

Shiva Nejati , University of Toronto, Toronto, ON, Canada
Steve Easterbrook , University of Toronto, Toronto, ON, Canada
Marsha Chechik , University of Toronto, Toronto, ON, Canada
Mehrdad Sabetzadeh , University of Toronto, Toronto, ON, Canada
pp. 815-818
Model-driven development & model analysis II

Marama (Abstract)

John Hosking , University of Auckland, Auckland, New Zealand
Karen Na-Liu Li , University of Auckland, Auckland, New Zealand
John Grundy , University of Auckland, Auckland, New Zealand
Jun Huh , University of Auckland, Auckland, New Zealand
pp. 819-822

Tool support for the navigation in graphical models (Abstract)

Silvio Meier , University of Zurich, Zurich, Switzerland
Martin Glinz , University of Zurich, Zurich, Switzerland
Tobias Reinhard , University of Zurich, Zurich, Switzerland
Christina Cramer , University of Zurich, Zurich, Switzerland
Reinhard Stoiber , University of Zurich, Zurich, Switzerland
pp. 823-826

Using JULE to generate a compliance test suite for the UML standard (Abstract)

Anthony Finkelstein , UCL, London, United Kingdom
James Skene , UCL, London, United Kingdom
Clovis Chapman , UCL, London, United Kingdom
Panuchart Bunyakiati , UCL, London, United Kingdom
pp. 827-830
Traceability

Analyzing model evolution (Abstract)

Udo Kelter , University of Siegen, Siegen, Germany
Sven Wenzel , University of Siegen, Siegen, Germany
pp. 831-834

SEURAT (Abstract)

David Brown , Worcester Polytechnic Institute, Worcester, MA, USA
Janet Burge , Miami University, Oxford, OH, USA
pp. 835-838

Adams re-trace (Abstract)

Andrea De Lucia , University of Salerno, Fisciano (SA, Italy
Genoveffa Tortora , University of Salerno, Fisciano (SA, Italy
Rocco Oliveto , University of Salerno, Fisciano (SA, Italy
pp. 839-842
Code management

Clonetracker (Abstract)

Ekwa Duala-Ekoko , McGill University, Montréal, PQ, Canada
Martin Robillard , McGill University, Montréal, PQ, Canada
pp. 843-846

SpyWare (Abstract)

Michele Lanza , University of Lugano, Lugano, Switzerland
Romain Robbes , University of Lugano, Lugano, Switzerland
pp. 847-850

Dynamic round-trip GUI maintenance (Abstract)

Eric Wohlstadter , University of British Columbia, Vancouver, BC, Canada
Peng Li , University of British Columbia, Vancouver, BC, Canada
pp. 851-854
Verification & validation

Juzi (Abstract)

Bassem Elkarablieh , The University of Texas at Austin, Austin, TX, USA
Sarfraz Khurshid , The University of Texas at Austin, Austin, TX, USA
pp. 855-858

Deryaft (Abstract)

Aman Pervaiz , University of Texas at Austin, Austin, TX, USA
Engin Uzuncaova , University of Texas at Austin, Austin, TX, USA
Muhammad Malik , University of Texas at Austin, Austin, TX, USA
Sarfraz Khurshid , University of Texas at Austin, Austin, TX, USA
pp. 859-862

State extensions for java pathfinder (Abstract)

Steven Lauterburg , University of Illinois, Urbana, IL, USA
Milos Gligoric , University of Belgrade, Belgrade, Serbia
Tihomir Gvero , University of Belgrade, Belgrade, Serbia
pp. 863-866
Validation

Tool support for data validation by end-user programmers (Abstract)

Christopher Scaffidi , Carnegie Mellon University, Pittsburgh, PA, USA
Brad Myers , Carnegie Mellon University, Pittsburgh, PA, USA
Mary Shaw , Carnegie Mellon University, Pittsburgh, PA, USA
pp. 867-870

A business process explorer (Abstract)

Jin Guo , Queens University, Kingston, Ontario, Canada
Liliane Barbour , Queens University, Kingston, Ontario, Canada
Ying Zou , Queens University, Kingston, Ontario, Canada
King Foo , Queens University, Kingston, Ontario, Canada
pp. 871-874

Rubacon (Abstract)

Jan Jürjens , The Open University, Milton Keynes, United Kingdom
Sebastian Höhn , University of Freiburg, Freiburg, Germany
pp. 875-878
96 ms
(Ver )