Table of Contents

• Software Engineering for the Next InternetPamela Zave. 1-11 [doi]
• 10 most powerful ideas in software engineeringSteve McConnell. 12 [doi]
• The role of judgment in software estimationSteven Fraser, Barry W. Boehm, Hakan Erdogmus, Magne Jorgensen, Stan Rifkin, Mike Ross. 13-17 [doi]
• Model checking flight control systems: The Airbus experienceThomas Bochot, Pierre Virelizier, Hélène Waeselynck, Virginie Wiels. 18-27 [doi]
• Extracting, specifying and predicting software system properties in component based real-time embedded software developmentJi Eun Kim, Oliver Rogalla, Simon Kramer 0003, Arne Hamann. 28-38 [doi]
• Experience with modularity in an advanced teleconferencing service deploymentEric Cheung, Thomas M. Smith. 39-49 [doi]
• Refactoring big balls of mudPaul Adamczyk, Arturo Zambrano, Federico Balaguer. 50-60 [doi]
• Experience report: Using tools and domain expertise to remediate architectural violations in the LogicBlox software baseR. E. Kurt Stirewalt, Spencer Rugaber, Hwa-You Hsu, David Zook. 61-70 [doi]
• Functional abstractions for testing repository-style information systemsPaolo Salvaneschi. 71-80 [doi]
• Improving quality, one process change at a timeCaryna Pinheiro, Frank Maurer, Jonathan Sillito. 81-90 [doi]
• Using a validation model to measure the agility of software development in a large software development organizationMikio Ikoma, Masayuki Ooshima, Takahiro Tanida, Michiko Oba, Sanshiro Sakai. 91-100 [doi]
• WEAVE: WEb Applications Validation EnvironmentSreeranga P. Rajan, Oksana Tkachuk, Mukul R. Prasad, Indradeep Ghosh, Nitin Goel, Tadahiro Uehara. 101-111 [doi]
• Automatic GUI test generation for smartphone applications - an evaluationAntti Jääskeläinen, Mika Katara, Antti Kervinen, Mika Maunumaa, Tuula Pääkkönen, Tommi Takala, Heikki Virtanen. 112-122 [doi]
• Case study: How analysis of customer found defects can be used by system test to improve qualityEvelyn Moritz. 123-129 [doi]
• Extended eTVRA vs. security checklist: Experiences in a value-webAyse Morali, Emmanuele Zambon, Siv Hilde Houmb, Karin Sallhammar, Sandro Etalle. 130-140 [doi]
• An open test bed for medical device integration and coordinationAndrew King, Sam Procter, Daniel Andresen, John Hatcliff, Steve Warren, William Spees, Raoul Praful Jetley, Paul L. Jones, Sandy Weininger. 141-151 [doi]
• Improving software Risk Management in a Medical Device CompanyFergal McCaffery, John Burton, Ita Richardson. 152-162 [doi]
• Automated testing of healthcare document transformations in the PICASSO interoperability platformMassimo Pascale, Marcello Roselli, Umberto Rugani, Cesare Bartolini, Antonia Bertolino, Francesca Lonetti, Eda Marchetti, Andrea Polini. 163-171 [doi]
• Predicting defects in SAP Java code: An experience reportTilman Holschuh, Markus Pauser, Kim Herzig, Thomas Zimmermann, Rahul Premraj, Andreas Zeller. 172-181 [doi]
• Reflecting on development processes in the video game industryAndrew Brownsword. 182 [doi]
• Detecting inefficient API usageDavid Kawrykow, Martin P. Robillard. 183-186 [doi]
• A sense of community: A research agenda for software ecosystemsSlinger Jansen, Anthony Finkelstein, Sjaak Brinkkemper. 187-190 [doi]
• Murphy: A Web 2.0 approach for proactive risk management in hardware/software co-designVladimir Blagojevic, Wim Codenie, Jessie Dedecker, Nicolás González-Deleito, Jeroen Deleu, Nick Boucart. 191-194 [doi]
• The comment density of open source software codeOliver Arafat, Dirk Riehle. 195-198 [doi]
• Better abstractions for reusable components & architecturesChristos Kloukinas. 199-202 [doi]
• Automated substring hole analysisYoram Adler, Eitan Farchi, Moshe Klausner, Dan Pelleg, Orna Raz, Moran Shochat, Shmuel Ur, Aviad Zlotnick. 203-206 [doi]
• Integrating sustainability in decision-making processes: A modelling strategyJordi Cabot, Steve M. Easterbrook, Jennifer Horkoff, Lysanne Lessard, Sotirios Liaskos, Jose-Norberto Mazón. 207-210 [doi]
• Configuration and adaptation of binary software componentsStephen Kell. 211-214 [doi]
• Increasing usability of preprocessing for feature management in product lines with queriesStan Jarzabek, Hongyu Zhang, Youpeng Lee, Yinxing Xue, Naveed Shaikh. 215-218 [doi]
• Test selection for result inspection via mining predicate rulesWujie Zheng, Michael R. Lyu, Tao Xie. 219-222 [doi]
• An environment for synchronous software developmentLile Hattori, Michele Lanza. 223-226 [doi]
• Towards safer compositionAndreas Classen, Patrick Heymans, Thein Than Tun, Bashar Nuseibeh. 227-230 [doi]
• Selective backtracking of model changesIris Groher, Alexander Egyed. 231-234 [doi]
• A compositional approach to bidirectional model transformationSoichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano. 235-238 [doi]
• Genetics as a role model for software variability managementDeepak Dhungana, Iris Groher. 239-242 [doi]
• Promoting evolution by abstracting over implementation structureDavid Lievens, Tim Walsh, Dominik Dahlem, William Harrison. 243-246 [doi]
• Improving bug tracking systemsThomas Zimmermann, Rahul Premraj, Jonathan Sillito, Silvia Breu. 247-250 [doi]
• Towards a framework for law-compliant software requirementsAlberto Siena, Anna Perini, Angelo Susi, John Mylopoulos. 251-254 [doi]
• Design tests: An approach to programmatically check your code against design rulesJoão Brunet, Dalton Serey Guerrero, Jorge C. A. de Figueiredo. 255-258 [doi]
• Can peer code reviews be exploited for later information needs?Andrew Sutherland, Gina Venolia. 259-262 [doi]
• Codebook: Social networking over codeAndrew Begel, Robert DeLine. 263-266 [doi]
• A specification idiom for reactive systemsNigamanth Sridhar, Jason O. Hallstrom. 267-270 [doi]
• Deployment automation with BLITZBrian Dougherty, Jules White, Jaiganesh Balasubramanian, Chris Thompson, Douglas C. Schmidt. 271-274 [doi]
• Improving the reliability of mobile software systems through continuous analysis and proactive reconfigurationSam Malek, Roshanak Roshandel, David Kilgore, Ibrahim Elhag. 275-278 [doi]
• Static ownership inference for reasoning against concurrency errorsAna Milanova, Yin Liu. 279-282 [doi]
• Creating and evolving software by searching, selecting and synthesizing relevant source codeDenys Poshyvanyk, Mark Grechanik. 283-286 [doi]
• How do system architectures affect software requirements?James A. Miller, Remo Ferrari, Nazim H. Madhavji. 287-290 [doi]
• SecondWATCH: A workspace awareness tool based on a 3-D virtual worldEn Ye, Lev A. Neiman, Hiep Q. Dinh, Chang Liu. 291-294 [doi]
• Mining recurrent activities: Fourier analysis of change eventsAbram Hindle, Michael W. Godfrey, Richard C. Holt. 295-298 [doi]
• Automatic evaluation of API usability using complexity metrics and visualizationsCleidson R. B. de Souza, David Leonardo M. Bentolila. 299-302 [doi]
• The inference validity problem in legal discoveryR. E. Kurt Stirewalt, Laura K. Dillon, Eileen Kraemer. 303-306 [doi]
• White-box approaches for improved testing and analysis of configurable software systemsMarius Nita, David Notkin. 307-310 [doi]
• Guided path exploration for regression test generationKunal Taneja, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte. 311-314 [doi]
• From system specifications to component behavioral modelsIvo Krka, George Edwards, Yuriy Brun, Nenad Medvidovic. 315-318 [doi]
• High-level multicore programming with XJavaFrank Otto, Victor Pankratius, Walter F. Tichy. 319-322 [doi]
• Multi-dimensional service compositionsLuciano Baresi, Elisabetta Di Nitto, Sam Guinea, Schahram Dustdar. 323-326 [doi]
• Using formal concept analysis to construct and visualise hierarchies of socio-technical relationsMichel Wermelinger, Yijun Yu, Markus Strohmaier. 327-330 [doi]
• Toward deeply adaptive societies of digital systemsAntonio Carzaniga, Giovanni Denaro, Mauro Pezzè, Jacky Estublier, Alexander L. Wolf. 331-334 [doi]
• The marketplace of user interface real estateLuigi Troiano, Gerardo Canfora. 335-338 [doi]
• A framework for raising the level of abstraction of explicit parallelizationRitu Arora, Purushotham Bangalore. 339-342 [doi]
• Towards a multi-level modeling language for testbed automation systemsThomas Aschauer. 343-346 [doi]
• Towards safety guarantees for service-oriented systemsBasil Becker. 347-350 [doi]
• Using Bayesian statistical methods to determine the level of error in large spreadsheetsLeslie Bradley, Kevin McDaid. 351-354 [doi]
• Improving conflict resolution in model versioning systemsPetra Broschy. 355-358 [doi]
• Towards a framework for supporting software modeling activities through novel interaction and visualization techniquesMathias Frisch, Raimund Dachselt. 359-362 [doi]
• Early-stage software design for usabilityElspeth Golden. 363-366 [doi]
• On the evaluation and improvement of feature-based configuration techniques in software product linesArnaud Hubaux, Patrick Heymans. 367-370 [doi]
• A context-aware orchestrating and choreographic test framework for service-oriented applicationsLijun Mei. 371-374 [doi]
• Configuration aware prioritization techniques in regression testingXiao Qu. 375-378 [doi]
• Automated scalable test-suite augmentation for evolving softwareRaúl A. Santelices, Mary Jean Harrold. 379-382 [doi]
• Towards the use of dynamic workflows for coordinating self-adaptation of software systemsCarlos Eduardo da Silva, Rogério de Lemos. 383-386 [doi]
• Models and algorithms for business value-driven adaptation of business processes and software infrastructureBasem Suleiman, Vladimir Tosic, D. Ross Jeffery, Jenny Liu. 387-390 [doi]
• Visual exploration of large-scale evolving softwareRichard Wettel. 391-394 [doi]
• Search-based testing of complex simulink models containing stateflow diagramsAndreas Windisch. 395-398 [doi]
• Concurrencer: A tool for retrofitting concurrency into sequential java applications via concurrent librariesDanny Dig, John Marrero, Michael D. Ernst. 399-400 [doi]
• Exploiting the synergy between automated-test-generation and programming-by-contractMichael Barnett, Manuel Fähndrich, Peli de Halleux, Francesco Logozzo, Nikolai Tillmann. 401-402 [doi]
• Deconstructing concurrency heisenbugsThomas Ball, Sebastian Burckhardt, Jonathan de Halleux, Madanlal Musuvathi, Shaz Qadeer. 403-404 [doi]
• Tesseract: Interactive environment for exploration of project relationshipsLarry Maccherone, Anita Sarma, Patrick Wagstrom, Jim Herbsleb. 405-406 [doi]
• DYVISE: Performance analysis of production systems research demonstrationSteven P. Reiss. 407-408 [doi]
• Verifying networked programs using a model checker extensionWatcharin Leungwattanakit, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto. 409-410 [doi]
• LuMiNous - model-driven assertion generation for runtime failure detectionMauro Pezzè, Jochen Wuttke. 411-412 [doi]
• Software development governor: Automating governance in software development environmentsAvi Yaeli, Alex Kofman, Yael Dubinsky. 413-414 [doi]
• QMetric - a metric tool suite for the evaluation of software process dataHolger Schackmann, Martin Jansen, Christoph Lischkowitz, Horst Lichter. 415-416 [doi]
• InstantApps: A WYSIWYG model driven interpreter for web applicationsGautam Shroff, Puneet Agarwal, Premkumar T. Devanbu. 417-418 [doi]
• Footprinter: Round-trip engineering via scenario and state based modelsAnkit Goel, Bikram Sengupta, Abhik Roychoudhury. 419-420 [doi]
• DaTeC: Contextual data flow testing of java classesGiovanni Denaro, Alessandra Gorla, Mauro Pezzè. 421-422 [doi]
• Business insight toolkit: Flexible pre-requirements modelingHarold Ossher, Rachel K. E. Bellamy, David Amid, Ateret Anaby-Tavor, Matthew Callery, Michael Desmond, Jacqueline de Vries, Amit Fisher, Thomas Frauenhofer, Sophia Krasikov, Ian Simmonds, Calvin Swart. 423-424 [doi]
• Semi-automated traceability maintenance: An architectural overview of traceMaintainerPatrick Mäder, Orlena Gotel, Ilka Philippow. 425-426 [doi]
• Slede: Framework for automatic verification of sensor network security protocol implementationsYoussef Hanna, Hridesh Rajan. 427-428 [doi]
• VCC: Contract-based modular verification of concurrent CMarkus Dahlweid, Michal Moskal, Thomas Santen, Stephan Tobies, Wolfram Schulte. 429-430 [doi]
• Goal and scenario modeling, analysis, and transformation with jUCMNavGunter Mussbacher, Daniel Amyot. 431-432 [doi]
• Demonstration of a medical device integration and coordination frameworkAndrew King, Sam Procter, Daniel Andresen, John Hatcliff, Steve Warren, William Spees, Raoul Praful Jetley, Paul L. Jones, Sandy Weininger. 433-434 [doi]
• RAIDE for engineering architecture-based self-adaptive systemsShang-Wen Cheng, David Garlan, Bradley R. Schmerl. 435-436 [doi]
• ClemanX: Incremental clone detection tool for evolving softwareTung Thanh Nguyen, Hoan Anh Nguyen, Nam H. Pham, Jafar M. Al-Kofahi, Tien N. Nguyen. 437-438 [doi]
• A-SCORE: Automatic software component recommendation using coding contextRyuji Shimada, Yasuhiro Hayase, Makoto Ichii, Makoto Matsushita, Katsuro Inoue. 439-440 [doi]
• An experimental platform to characterize software comprehension activities supported by visualizationGlauco de Figueiredo Carneiro, Manoel G. Mendonça, Rodrigo Chaves Magnavita. 441-442 [doi]
• Model-based Methodologies for Pervasive and Embedded SoftwareJoão M. Fernandes, Ricardo Jorge Machado, Luís C. Lamb, Flávio Rech Wagner. 443-444 [doi]
• SUITE 2009: First international workshop on search-driven development - users, infrastructure, tools and evaluationSushil Krishna Bajracharya, Adrian Kuhn, Yunwen Ye. 445-446 [doi]
• Fourth international workshop on sharing and reusing architectural knowledge (SHARK 2009)Patricia Lago, Paris Avgeriou, Philippe Kruchten. 447-448 [doi]
• Seventh workshop on Software QualityBarry W. Boehm, Sunita Chulani, June M. Verner, Bernard Wong. 449-450 [doi]
• Cooperative and human aspects of software engineering (CHASE 2009)Cleidson R. B. de Souza, Helen Sharp, Yvonne Dittrich, Janice Singer. 451-452 [doi]
• Modeling in Software Engineering (MiSE 09)Robert Baillargeon, Bernhard Rumpe, Steven Völkel, Robert B. France, Geri Georg, Steffen Zschaler. 453-454 [doi]
• 2:::nd::: workshop on software development governance (SDG)Yael Dubinsky, Philippe Kruchten. 455-456 [doi]
• Workshop on comparison and versioning of software models (CVSM 2009)Jürgen Ebert, Udo Kelter, Tarja Systä. 457-458 [doi]
• Expanding, theory, and practice: Report on the 4:::th::: International Workshop on the Automation of Software TestDimitris Dranidis, Stephen P. Masticola, Paul A. Strooper. 459-460 [doi]
• Principles of engineering service oriented systemsElisabetta Di Nitto, Schahram Dustdar. 461-462 [doi]
• SEAMS 2009: Software engineering for adaptive and self-managing systemsBetty H. C. Cheng, Rogério de Lemos, David Garlan, Holger Giese, Marin Litoiu, Jeff Magee, Hausi A. Müller, Richard Taylor. 463-464 [doi]
• Workshop on software Engineering in Health Care (SEHC)Leon J. Osterweil, Barbara Paech. 465 [doi]
• Early Aspects at ICSE 2009: Workshop on aspect-oriented requirements engineering and architecture designRuzanna Chitchyan, Mónica Pinto, Safoora Shakil Khan. 466-467 [doi]
• Second international workshop on emerging trends in Free/Libre/Open Source Software research and development - FLOSS09Andrea Capiluppi, Gregorio Robles. 468-469 [doi]
• International workshop on multicore software engineering (IWMSE 2009)Adam A. Porter, Victor Pankratius, Lawrence G. Votta. 470-471 [doi]
• 5:::th::: international workshop on Traceability in Emerging Forms of Software Engineering (TEFSE 2009)Giuliano Antoniol, Rocco Oliveto, Denys Poshyvanyk. 472-473 [doi]
• Leadership and management in software architectureBrian Berenbach, Len Bass. 474-475 [doi]
• 2:::nd::: international workshop on socio-technical congruence (STC 2009)Marcelo Cataldo, Steve M. Easterbrook, Daniela E. Damian, James D. Herbsleb, Premkumar T. Devanbu, Audris Mockus. 476-477 [doi]
• The 5:::th::: international workshop on software engineering for secure systems (SESS 09)Bart De Win, Seok-Won Lee, Mattia Monga. 478-479 [doi]
• Wikis4SE 2009: Wikis for Software EngineeringAdemar Aguiar, Uri Dekel, Paulo Merson. 480-481 [doi]
• ICSE Cloud 09: First international workshop on software engineering challenges for Cloud ComputingKamal Bhattacharya, Martin Bichler, Stefan Tai. 482-483 [doi]
• SE-CSE 2009: The second international workshop on software engineering for Computational Science and EngineeringJeffrey C. Carver. 484-485 [doi]
• SEEUP 2009: Workshop on software engineering foundations for end-user programmingLen Bass, Grace A. Lewis, Dennis B. Smith, Brad A. Myers. 486 [doi]
• SCORE: The first student Contest in Software EngineeringMehdi Jazayeri, Dino Mandrioli. 487-488 [doi]