32. ICSE 2010: Cape Town, South Africa

Software engineering in practice: Quality of service

• Nikolaus Huber, Steffen Becker, Christoph Rathfelder, Jochen Schweflinghaus, Ralf H. Reussner:
  Performance modeling in industry: a case study on storage virtualization. 1-10
  
• Maayan Goldstein, Onn Shehory, Rachel Tzoref-Brill, Shmuel Ur:
  Improving throughput via slowdowns. 11-20
  

Software engineering in practice: Certification, assessment & governance

• Frances Paulisch, Peter Zimmerer:
  A role-based qualification and certification program for software architects: an experience report from Siemens. 21-27
  
• Frank Salger, Gregor Engels, Alexander Hofmann:
  Assessments in global software development: a tailorable framework for industrial projects. 29-38
  
• Yi Wang, Min Zhang:
  Penalty policies in professional software development practice: a multi-method field study. 39-47
  

Software engineering in practice: Model-driven development

• Thomas Aschauer, Gerd Dauenhauer, Wolfgang Pree:
  A modeling language's evolution driven by tight interaction between academia and industry. 49-58
  
• Andreas Kornstädt, Eugen Reiswich:
  Staying afloat in an expanding sea of choices: emerging best practices for eclipse rich client platform development. 59-67
  
• Mickael Clavreul, Olivier Barais, Jean-Marc Jézéquel:
  Integrating legacy systems with MDE. 69-78
  

Software engineering in practice: Quality assurance I: Static and dynamic analysis

• Elmar Jürgens, Florian Deissenboeck, Martin Feilkas, Benjamin Hummel, Bernhard Schätz, Stefan Wagner, Christoph Domann, Jonathan Streit:
  Can clone detection support quality assessments of requirements specifications? 79-88
  
• Yongzheng Wu, Roland H. C. Yap, Rajiv Ramnath:
  Comprehending module dependencies and sharing. 89-98
  
• Mangala Gowri Nanda, Monika Gupta, Saurabh Sinha, Satish Chandra, David Schmidt, Pradeep Balachandran:
  Making defect-finding tools work for you. 99-108
  

Software engineering in practice: Quality assurance II: Defect modeling, prediction & testing

• Angelo Chiappini, Alessandro Cimatti, Luca Macchi, Oscar Rebollo, Marco Roveri, Angelo Susi, Stefano Tonetta, Berardino Vittorini:
  Formalization and validation of a subset of the European Train Control System. 109-118
  
• Michael Kläs, Frank Elberzhager, Jürgen Münch, Klaus Hartjes, Olaf von Graevemeyer:
  Transparent combination of expert and measurement data for defect prediction: an industrial case study. 119-128
  
• Alex Groce, Klaus Havelund, Margaret H. Smith:
  From scripts to specifications: the evolution of a flight software testing effort. 129-138
  

Software engineering in practice: Innovation drivers & cost models

• K. Eric Harper, Jiang Zheng, Shakeel Mahate:
  Experiences in initiating concurrency software research efforts. 139-148
  
• S. Jeromy Carrière, Rick Kazman, Ipek Ozkaya:
  A cost-benefit framework for making architectural decisions in a business context. 149-157
  

New ideas and emerging results

• Naeem Esfahani, Sam Malek:
  Social computing networks: a new paradigm for engineering self-adaptive pervasive software systems. 159-162
  
• Michele Ceccarelli, Luigi Cerulo, Gerardo Canfora, Massimiliano Di Penta:
  An eclectic approach for change impact analysis. 163-166
  
• Yuepu Guo, Carolyn B. Seaman, Nico Zazworka, Forrest Shull:
  Domain-specific tailoring of code smells: an empirical study. 167-170
  
• Ivonne Erfurth, Wilhelm Rossak:
  CUTA4UML: bridging the gap between informal and formal requirements for dynamic system aspects. 171-174
  
• N. V. Narendra Kumar, Harshit J. Shah, R. K. Shyamasundar:
  Can we certify systems for freedom from malware. 175-178
  
• Ivo Krka, Yuriy Brun, Daniel Popescu, Joshua Garcia, Nenad Medvidovic:
  Using dynamic execution traces and program invariants to enhance behavioral model inference. 179-182
  
• Juergen Musil, Angelika Schweda, Dietmar Winkler, Stefan Biffl:
  Synthesized essence: what game jams teach about prototyping of new software products. 183-186
  
• Gul Calikli, Ayse Basar Bener, Berna Arslan:
  An analysis of the effects of company culture, education and experience on confirmation bias levels of software developers and testers. 187-190
  
• Macneil Shonle, Timothy T. Yuen:
  Compose & conquer: modularity for end-users. 191-194
  
• Neha Rungta, Eric Mercer:
  Slicing and dicing bugs in concurrent programs. 195-198
  
• Nelly Bencomo, Jon Whittle, Peter Sawyer, Anthony Finkelstein, Emmanuel Letier:
  Requirements reflection: requirements as runtime entities. 199-202
  
• Arie van Deursen, Ali Mesbah, Bas Cornelissen, Andy Zaidman, Martin Pinzger, Anja Guzzi:
  Adinda: a knowledgeable, browser-based IDE. 203-206
  
• Robert DeLine, Kael Rowan:
  Code canvas: zooming towards better development environments. 207-210
  
• Frank Salger, Gregor Engels:
  Knowledge transfer in global software development: leveraging acceptance test case specifications. 211-214
  
• Ishtiaque Hussain, Christoph Csallner:
  Dynamic symbolic data structure repair. 215-218
  
• Zhe Chen, Gilles Motet:
  Towards better support for the evolution of safety requirements via the model monitoring approach. 219-222
  
• Sonia Haiduc, Jairo Aponte, Andrian Marcus:
  Supporting program comprehension with source code summarization. 223-226
  
• Nam H. Pham, Tung Thanh Nguyen, Hoan Anh Nguyen, Xinying Wang, Anh Tuan Nguyen, Tien N. Nguyen:
  Detecting recurring and similar software vulnerabilities. 227-230
  
• Christoph Treude, Margaret-Anne D. Storey:
  Bridging lightweight and heavyweight task organization: the role of tags in adopting new task categories. 231-234
  

Formal research demos: Collaborative software development

• Lile Hattori, Michele Lanza:
  Syde: a tool for collaborative software development. 235-238
  
• Soo Ling Lim, Daniele Quercia, Anthony Finkelstein:
  StakeSource: harnessing the power of crowdsourcing and social networks in stakeholder analysis. 239-242
  
• Jae Young Bang, Daniel Popescu, George Edwards, Nenad Medvidovic, Naveen N. Kulkarni, Girish M. Rama, Srinivas Padmanabhuni:
  CoDesign: a highly extensible collaborative software modeling framework. 243-246
  

Formal research demos: Software maintenance

• Florian Deissenboeck, Lars Heinemann, Benjamin Hummel, Elmar Jürgens:
  Flexible architecture conformance assessment with ConQAT. 247-250
  
• Steven P. Reiss:
  Visualizing the Java heap. 251-254
  
• Trevor Savage, Meghan Revelle, Denys Poshyvanyk:
  FLAT³: feature location and textual tracing tool. 255-258
  

Formal research demos: Software components and reuse

• Mark Grechanik, Chen Fu, Qing Xie, Collin McMillan, Denys Poshyvanyk, Chad M. Cumby:
  Exemplar: EXEcutable exaMPLes ARchive. 259-262
  
• Alex Loh, Miryung Kim:
  LSdiff: a program differencing tool to identify systematic structural differences. 263-266
  
• Stefan Henkler, Jan Meyer, Wilhelm Schäfer, Markus von Detten, Ulrich Nickel:
  Legacy component integration by the Fujaba real-time tool suite. 267-270
  

Formal research demos: Testing

• Cheng Zhang, Dacong Yan, Jianjun Zhao, Yuting Chen, Shengqian Yang:
  BPGen: an automated breakpoint generator for debugging. 271-274
  
• Chris Lewis, Jim Whitehead:
  Runtime repair of software faults using event-driven monitoring. 275-280
  
• Luciano Baresi, Matteo Miraz:
  TestFul: automatic unit-test generation for Java classes. 281-284
  

Formal research demos: Software development environments

• Norbert Seyff, Florian Graf, Neil A. M. Maiden:
  End-user requirements blogging with iRequire. 285-288
  
• Mircea Lungu, Michele Lanza:
  The small project observatory: a tool for reverse engineering software ecosystems. 289-292
  
• Andrew Bragdon, Steven P. Reiss, Robert C. Zeleznik, Suman Karumuri, William Cheung, Joshua Kaplan, Christopher Coleman, Ferdi Adeputra, Joseph J. LaViola Jr.:
  A research demonstration of code bubbles. 293-296
  

Informal research demos

• Esteban Robles Luna, Juan Burella, Julián Grigera, Gustavo Rossi:
  A flexible tool suite for change-aware test-driven development of web applications. 297-298
  
• Markus von Detten, Matthias Meyer, Dietrich Travkin:
  Reverse engineering with the reclipse tool suite. 299-300
  
• Domenico Bianculli, Walter Binder, Mauro Luigi Drago:
  SOABench: performance evaluation of service-oriented middleware made easy. 301-302
  
• Hui Song, Gang Huang, Franck Chauvel, Yanchun Sun, Hong Mei:
  SM@RT: representing run-time system data as MOF-compliant models. 303-304
  
• Pierre Genevès, Nabil Layaïda:
  Eliminating dead-code from XQuery programs. 305-306
  
• Maximilian Koegel, Jonas Helming:
  EMFStore: a model repository for EMF models. 307-308
  
• James H. Hill:
  CUTS: a system execution modeling tool for realizing continuous system integration testing. 309-310
  
• Miguel Angel García de Dios, Carolina Dania, Michael Schläpfer, David A. Basin, Manuel Clavel, Marina Egea:
  SSG: a model-based development environment for smart, security-aware GUIs. 311-312
  
• Jonas Helming, Maximilian Koegel:
  Managing iterations with UNICASE. 313-314
  
• Yoonki Song, Xiaoyin Wang, Tao Xie, Lu Zhang, Hong Mei:
  JDF: detecting duplicate bug reports in Jazz. 315-316
  
• Lamia Labed Jilani, Olfa Mraihi, Asma Louhichi, Wided Ghardallou, Ali Mili:
  Using invariant functions and invariant relations to compute loop functions. 317-318
  
• Tuan-Anh Doan, David Lo, Shahar Maoz, Siau-Cheng Khoo:
  LM: a miner for scenario-based specifications. 319-320
  
• Antonio Carzaniga, Alessandra Gorla, Nicolò Perino, Mauro Pezzè:
  RAW: runtime automatic workarounds. 321-322
  

Software engineering in South Africa

• Derrick G. Kourie, Bruce W. Watson:
  Software engineering in South Africa. 323-324
  

Doctoral symposium: Early phase

• Christopher Staite:
  Portable secure identity management for software engineering. 325-326
  
• Nicholas R. May:
  Dynamic service quality and resource negotiation for high-availability service-oriented systems. 327-328
  
• Chris Lewis:
  Zenet: generating and enforcing real-time temporal invariants. 329-330
  
• Andréa Magalhães Magdaleno:
  Balancing collaboration and discipline in software development processes. 331-332
  
• Fabiana Gomes Marinho:
  A proposal for consistency checking in dynamic software product line models using OCL. 333-334
  
• Guido de Caso:
  Behavioural validation of software engineering artefacts. 335-336
  
• Omar Bahy Badreddin:
  Umple: a model-oriented programming language. 337-338
  
• Indika Meedeniya:
  An incremental methodology for quantitative software architecture evaluation with probabilistic models. 339-340
  
• Xiaorui Zhang:
  Synthesize software product line. 341-342
  
• W. L. Ntshinga:
  Choreography of intelligent e-services. 343-344
  
• Christian Pichler:
  A framework for handling variants of software models. 345-346
  
• Bruno Wassermann:
  Improving wide-area distributed system availability. 347-348
  
• Adailton Magalhães Lima:
  Risk assessment on distributed software projects. 349-350
  
• Claudia Susie C. Rodrigues:
  VisAr3D: an approach to software architecture teaching based on virtual and augmented reality. 351-352
  
• Antonio Oliveira Filho:
  Change impact analysis from business rules. 353-354
  
• John Brøndum:
  Software architecture for systems of software intensive systems (S3): the concepts and detection of inter-system relationships. 355-356
  

Doctoral symposium: Mature phase

• K. S. May Chan:
  Formal methods for web services: a taxonomic approach. 357-360
  
• Ana Erika Camargo Cruz:
  Exploratory study of a UML metric for fault prediction. 361-364
  
• Pourya Shaker:
  Feature-oriented requirements modelling. 365-368
  
• Anders Mattsson:
  Automatic enforcement of architectural design rules. 369-372
  
• Lucas Cordeiro:
  SMT-based bounded model checking for multi-threaded software in embedded systems. 373-376
  
• Lile Hattori:
  Enhancing collaboration of multi-developer projects with synchronous changes. 377-380
  
• Giacomo Ghezzi:
  SOFAS: software analysis services. 381-384
  
• Gerald Bortis:
  Informal software design knowledge reuse. 385-388
  
• Christoph Treude:
  The role of emergent knowledge structures in collaborative software development. 389-392
  
• Kim Sebastian Herzig:
  Capturing the long-term impact of changes. 393-396
  
• Adrian Schröter:
  Failure preventing recommendations. 397-400
  
• Daniel Popescu:
  Impact analysis for event-based components and systems. 401-404
  
• Kleinner Farias:
  Empirical evaluation of effort on composing design models. 405-408
  
• Meiyappan Nagappan:
  Analysis of execution log files. 409-412
  
• Marcus Roy:
  Towards end-user enabled web service consumption for Mashups. 413-416
  
• Feifei Ma:
  Constraint solving techniques for software testing and analysis. 417-420
  
• Haroon Malik:
  A methodology to support load test analysis. 421-424
  

Emerging faculty symposium

• Hausi A. Müller, Andreas Zeller:
  Emerging Faculty Symposium 2010. 425
  

Workshop introductions

• Sushil Krishna Bajracharya, Adrian Kuhn, Yunwen Ye:
  SUITE 2010: 2nd International Workshop on Search-Driven Development - Users, Infrastructure, Tools & Evaluation. 427-428
  
• Grace A. Lewis, Andreas Metzger, Marco Pistore, Dennis B. Smith, Andrea Zisman:
  2010 ICSE 2nd International Workshop on Principles of Engineering Service-Oriented Systems (PESOS 2010). 429-430
  
• Victor Pankratius, Michael Philippsen:
  New Horizons in Multicore Software Engineering. 431-432
  
• Seok-Won Lee, Mattia Monga, Jan Jürjens:
  The 6^th International Workshop on Software Engineering for Secure Systems (SESS'10). 433-434
  
• Yvonne Dittrich, Cleidson R. B. de Souza, Mikko Korpela, Helen Sharp, Janice Singer, Heike Winshiers-Theophilus:
  Cooperative and Human Aspects of Software Engineering (CHASE 2010). 435-436
  
• Patricia Lago, Paris Avgeriou, Philippe Kruchten:
  Fifth International Workshop on Sharing and Reusing Architectural Knowledge (SHARK 2010). 437-438
  
• Julia Rubin, Goetz Botterweck, Mira Mezini, Itay Maman, Andreas Pleuss:
  First International Workshop on Product Line Approaches in Software Engineering (PLEASE 2010). 439-440
  
• Harold Ossher, André van der Hoek, Margaret-Anne D. Storey, John Grundy, Rachel K. E:
  Bellamy: Flexible Modeling Tools (FlexiTools2010). 441-442
  
• Kurt Geihs, Stefan Gruner, Kay Römer:
  SESENA 2010: Workshop on Software Engineering for Sensor Network Applications. 443-444
  
• Christof J. Budnik, Wing Kwong Chan, Gregory M. Kapfhammer:
  Bridging the Gap Between the Theory and Practice of Software Test Automation. 445-446
  
• Betty H. C. Cheng, Rogério de Lemos, David Garlan, Holger Giese, Marin Litoiu, Jeff Magee, Hausi A. Müller, Mauro Pezzè, Richard Taylor:
  Fifth Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2010). 447-448
  
• Steve M. Easterbrook, Kim Mens, Steffen Zschaler:
  Second International Workshop on Software Research and Climate Change. 449-450
  
• Carlo Ghezzi, Lars Grunske, Raffaela Mirandola:
  First International Workshop on Quantitative Stochastic Models in the Verification and Design of Software Systems (QUOVADIS 2010). 451-452
  
• Lori A. Clarke, Jens H. Weber-Jahnke:
  2nd International Workshop on Software Engineering in Health Care (SEHC 2010). 453-454
  
• Reid Holmes, Martin P. Robillard, Robert J. Walker, Thomas Zimmermann:
  RSSE 2010: Second International Workshop on Recommendation Systems for Software Engineering. 455-456
  
• Christoph Treude, Margaret-Anne D. Storey, Kate Ehrlich, Arie van Deursen:
  Web2SE: First Workshop on Web 2.0 for Software Engineering. 457-458
  
• Gerardo Canfora, Giulio Concas, Michele Marchesi, Ewan D. Tempero, Hongyu Zhang:
  Workshop on Emerging Trends in Software Metrics (WETSoM 2010). 459-460
  
• Charles D. Knutson, Jonathan L. Krein, Lutz Prechelt, Natalia Juristo Juzgado:
  1st International Workshop on Replication in Empirical Software Engineering Research (RESER). 461-462
  
• Yael Dubinsky, Philippe Kruchten, Anthony Finkelstein, Len Bass, Sunita Chulani, Rafael Prikladnicki:
  Software Development Governance (SDG) Workshop. 463-464
  
• Katsuro Inoue, Stanislaw Jarzabek, James R. Cordy, Rainer Koschke:
  Fourth International Workshop on Software Clones (IWSC). 465-466
  
• Jon G. Hall, Lucia Rapanotti, Liping Zhao, James Naish:
  2010 ICSE International Workshop on Advances and Applications of Problem Orientation (WAAPO-2010). 467-468
  

Tutorials

• Alistair G. Sutcliffe, Sarah Thew:
  Analysing "people" problems in requirements engineering. 469-470
  
• Nenad Medvidovic, Richard N. Taylor:
  Software architecture: foundations, theory, and practice. 471-472
  
• Bernhard Rumpe, Martin Schindler, Steven Völkel, Ingo Weisemöller:
  Generative software development. 473-474
  
• Stefan Tai, Jens Nimis, Alexander Lenk, Markus Klems:
  Cloud service engineering. 475-476
  
• Mohan Sridharan, Akbar Siami Namin:
  Bayesian methods for data analysis in software engineering. 477-478
  
• Hakan Erdogmus:
  Cost effectiveness analysis in software engineering. 479-480
  
• Orit Hazzan, Yael Dubinsky:
  Coaching agile software projects: tutorial proposal - ICSE 2010. 481-482
  
• Nikolai Tillmann, Jonathan de Halleux, Tao Xie:
  Parameterized unit testing: theory and practice. 483-484
  
• Daniel L. Moody:
  The "physics" of notations: a scientific approach to designing visual notations in software engineering. 485-486
  
• Victor Pankratius, Walter F. Tichy, Peter Hinsbeeck:
  Multicore software engineering: the next challenge in software engineering. 487
  
• Donald G. Firesmith:
  Engineering safety- and security-related requirements for software-intensive systems: tutorial summary. 489-490
  
• Helen Sharp, Cleidson R. B. de Souza, Yvonne Dittrich:
  Using ethnographic methods in software engineering research. 491-492
  
• Roel Wieringa:
  Design science methodology: principles and practice. 493-494
  
• Myra B. Cohen, Shmuel Ur:
  Combinatorial test design in practice. 495-496
  
• Philippe Kruchten:
  Software architecture and agile software development: a clash of two cultures? 497-498
  
• Florian Deissenboeck, Benjamin Hummel, Elmar Jürgens:
  Code clone detection in practice. 499-500
  
• Barry W. Boehm, Jo Ann Lane:
  New processes for new horizons: the incremental commitment model. 501-502
  
• Ahmed E. Hassan, Tao Xie:
  Mining software engineering data. 503-504
  

Student research competition

• Guido de Caso:
  Behavioural validation of software engineering artefacts. 505-506
  
• Tayfun Elmas:
  QED: a proof system based on reduction and abstraction for the static verification of concurrent software. 507-508
  
• Lode Hoste:
  Software engineering abstractions for the multi-touch revolution. 509-510
  
• Adrian Schröter:
  Predicting build outcome with developer interaction in Jazz. 511-512
  
• Florian S. Gysin:
  Improved social trustability of code search results. 513-514
  
• Max Goldman:
  Test-driven roles for pair programming. 515-516
  
• Ivano Malavolta:
  Providing support for creating next generation software architecture languages. 517-518
  
• Zvonimir Rakamaric:
  STORM: static unit checking of concurrent programs. 519-520
  
• Gustavo L. Soares:
  Making program refactoring safer. 521-522
  
• Thomas Fritz:
  Staying aware of relevant feeds in context. 523-524
  
• Andrew Bragdon:
  Developing and evaluating the code bubbles metaphor. 525-526
  
• Sarah Rastkar:
  Summarizing software concerns. 527-528
  
• Marco D'Ambros:
  Commit 2.0: enriching commit comments with visualization. 529-530
  
• Daniel Popescu:
  Helios: impact analysis for event-based components and systems. 531-532
  

Last update Sun May 19 22:44:10 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page