default search action
31st ICSE 2009: Vancouver, BC, Canada
- 31st International Conference on Software Engineering, ICSE 2009, May 16-24, 2009, Vancouver, Canada, Companion Volume. IEEE 2009, ISBN 978-1-4244-3494-7
Keynote Papers
- Pamela Zave:
Software Engineering for the Next Internet. 1-11 - Steve McConnell:
10 most powerful ideas in software engineering. 12
Panel
- Steven Fraser, Barry W. Boehm, Hakan Erdogmus
, Magne Jørgensen, Stan Rifkin, Mike Ross:
The role of judgment in software estimation. 13-17
Software Engineering in Practice
Complex Systems
- Thomas Bochot, Pierre Virelizier, Hélène Waeselynck, Virginie Wiels:
Model checking flight control systems: The Airbus experience. 18-27 - Ji Eun Kim, Oliver Rogalla, Simon Kramer, Arne Hamann:
Extracting, specifying and predicting software system properties in component based real-time embedded software development. 28-38 - Eric Cheung, Thomas M. Smith:
Experience with modularity in an advanced teleconferencing service deployment. 39-49
Refactoring and Tools
- Paul Adamczyk, Arturo Zambrano, Federico Balaguer:
Refactoring big balls of mud. 50-60 - R. E. Kurt Stirewalt, Spencer Rugaber, Hwa-You Hsu, David Zook:
Experience report: Using tools and domain expertise to remediate architectural violations in the LogicBlox software base. 61-70 - Paolo Salvaneschi:
Functional abstractions for testing repository-style information systems. 71-80
Agile and Process
- Caryna Pinheiro, Frank Maurer
Improving quality, one process change at a time. 81-90 - Mikio Ikoma, Masayuki Ooshima, Takahiro Tanida, Michiko Oba, Sanshiro Sakai:
Using a validation model to measure the agility of software development in a large software development organization. 91-100 - Sreeranga P. Rajan, Oksana Tkachuk, Mukul R. Prasad, Indradeep Ghosh
WEAVE: WEb Applications Validation Environment. 101-111
Testing (Telecom)
- Antti Jääskeläinen, Mika Katara, Antti Kervinen, Mika Maunumaa, Tuula Pääkkönen, Tommi Takala, Heikki Virtanen:
Automatic GUI test generation for smartphone applications - an evaluation. 112-122 - Evelyn Moritz:
Case study: How analysis of customer found defects can be used by system test to improve quality. 123-129 - Ayse Morali, Emmanuele Zambon, Siv Hilde Houmb, Karin Sallhammar, Sandro Etalle:
Extended eTVRA vs. security checklist: Experiences in a value-web. 130-140
Testing (Medical)
- Andrew L. King, Sam Procter
An open test bed for medical device integration and coordination. 141-151 - Fergal McCaffery
Improving software Risk Management in a Medical Device Company. 152-162 - Massimo Pascale, Marcello Roselli, Umberto Rugani, Cesare Bartolini, Antonia Bertolino
Automated testing of healthcare document transformations in the PICASSO interoperability platform. 163-171
Predicting Defects and SEIP-Keynote on Video Game Industry
- Tilman Holschuh, Markus Pauser, Kim Herzig, Thomas Zimmermann, Rahul Premraj, Andreas Zeller
Predicting defects in SAP Java code: An experience report. 172-181 - Andrew Brownsword:
Reflecting on development processes in the video game industry. 182
New Ideas and Emerging Results
- David Kawrykow, Martin P. Robillard:
Detecting inefficient API usage. 183-186 - Slinger Jansen
A sense of community: A research agenda for software ecosystems. 187-190 - Vladimir Blagojevic, Wim Codenie, Jessie Dedecker, Nicolás González-Deleito, Jeroen Deleu, Nick Boucart:
Murphy: A Web 2.0 approach for proactive risk management in hardware/software co-design. 191-194 - Oliver Arafat, Dirk Riehle:
The comment density of open source software code. 195-198 - Christos Kloukinas
Better abstractions for reusable components & architectures. 199-202 - Yoram Adler, Eitan Farchi, Moshe Klausner, Dan Pelleg, Orna Raz, Moran Shochat, Shmuel Ur, Aviad Zlotnick:
Automated substring hole analysis. 203-206 - Jordi Cabot
Integrating sustainability in decision-making processes: A modelling strategy. 207-210 - Stephen Kell:
Configuration and adaptation of binary software components. 211-214 - Stan Jarzabek, Hongyu Zhang
Increasing usability of preprocessing for feature management in product lines with queries. 215-218 - Wujie Zheng, Michael R. Lyu, Tao Xie:
Test selection for result inspection via mining predicate rules. 219-222 - Lile Hattori, Michele Lanza:
An environment for synchronous software development. 223-226 - Andreas Classen, Patrick Heymans, Thein Than Tun, Bashar Nuseibeh
Towards safer composition. 227-230 - Iris Groher
Selective backtracking of model changes. 231-234 - Soichiro Hidaka, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano
A compositional approach to bidirectional model transformation. 235-238 - Deepak Dhungana
Genetics as a role model for software variability management. 239-242 - David Lievens, Tim Walsh, Dominik Dahlem, William Harrison:
Promoting evolution by abstracting over implementation structure. 243-246 - Thomas Zimmermann, Rahul Premraj, Jonathan Sillito, Silvia Breu:
Improving bug tracking systems. 247-250 - Alberto Siena, Anna Perini, Angelo Susi, John Mylopoulos:
Towards a framework for law-compliant software requirements. 251-254 - João Brunet, Dalton Serey Guerrero, Jorge C. A. de Figueiredo:
Design tests: An approach to programmatically check your code against design rules. 255-258 - Andrew Sutherland, Gina Venolia:
Can peer code reviews be exploited for later information needs? 259-262 - Andrew Begel, Robert DeLine:
Codebook: Social networking over code. 263-266 - Nigamanth Sridhar, Jason O. Hallstrom:
A specification idiom for reactive systems. 267-270 - Brian Dougherty, Jules White, Jaiganesh Balasubramanian, Chris Thompson, Douglas C. Schmidt:
Deployment automation with BLITZ. 271-274 - Sam Malek, Roshanak Roshandel, David Kilgore, Ibrahim Elhag:
Improving the reliability of mobile software systems through continuous analysis and proactive reconfiguration. 275-278 - Ana L. Milanova, Yin Liu:
Static ownership inference for reasoning against concurrency errors. 279-282 - Denys Poshyvanyk
Creating and evolving software by searching, selecting and synthesizing relevant source code. 283-286 - James A. Miller, Remo Ferrari, Nazim H. Madhavji:
How do system architectures affect software requirements? 287-290 - En Ye, Lev A. Neiman, Hiep Q. Dinh, Chang Liu:
SecondWATCH: A workspace awareness tool based on a 3-D virtual world. 291-294 - Abram Hindle, Michael W. Godfrey, Richard C. Holt:
Mining recurrent activities: Fourier analysis of change events. 295-298 - Cleidson R. B. de Souza, David Leonardo M. Bentolila:
Automatic evaluation of API usability using complexity metrics and visualizations. 299-302 - R. E. Kurt Stirewalt, Laura K. Dillon, Eileen T. Kraemer:
The inference validity problem in legal discovery. 303-306 - Marius Nita, David Notkin:
White-box approaches for improved testing and analysis of configurable software systems. 307-310 - Kunal Taneja
Guided path exploration for regression test generation. 311-314 - Ivo Krka, George Edwards, Yuriy Brun
From system specifications to component behavioral models. 315-318 - Frank Otto, Victor Pankratius, Walter F. Tichy:
High-level multicore programming with XJava. 319-322 - Luciano Baresi
Multi-dimensional service compositions. 323-326 - Michel Wermelinger, Yijun Yu
Using formal concept analysis to construct and visualise hierarchies of socio-technical relations. 327-330 - Antonio Carzaniga
Toward deeply adaptive societies of digital systems. 331-334 - Luigi Troiano
The marketplace of user interface real estate. 335-338
Doctoral Symposium
- Ritu Arora, Purushotham V. Bangalore:
A framework for raising the level of abstraction of explicit parallelization. 339-342 - Thomas Aschauer:
Towards a multi-level modeling language for testbed automation systems. 343-346 - Basil Becker:
Towards safety guarantees for service-oriented systems. 347-350 - Leslie Bradley, Kevin McDaid:
Using Bayesian statistical methods to determine the level of error in large spreadsheets. 351-354 - Petra Brosch:
Improving conflict resolution in model versioning systems. 355-358 - Mathias Frisch, Raimund Dachselt
Towards a framework for supporting software modeling activities through novel interaction and visualization techniques. 359-362 - Elspeth Golden:
Early-stage software design for usability. 363-366 - Arnaud Hubaux, Patrick Heymans:
On the evaluation and improvement of feature-based configuration techniques in software product lines. 367-370 - Lijun Mei:
A context-aware orchestrating and choreographic test framework for service-oriented applications. 371-374 - Xiao Qu:
Configuration aware prioritization techniques in regression testing. 375-378 - Raúl A. Santelices, Mary Jean Harrold:
Automated scalable test-suite augmentation for evolving software. 379-382 - Carlos Eduardo da Silva
Towards the use of dynamic workflows for coordinating self-adaptation of software systems. 383-386 - Basem Suleiman
Models and algorithms for business value-driven adaptation of business processes and software infrastructure. 387-390 - Richard Wettel:
Visual exploration of large-scale evolving software. 391-394 - Andreas Windisch:
Search-based testing of complex simulink models containing stateflow diagrams. 395-398
Informal Research Demonstrations
- Danny Dig, John Marrero, Michael D. Ernst:
Concurrencer: A tool for retrofitting concurrency into sequential java applications via concurrent libraries. 399-400 - Michael Barnett, Manuel Fähndrich, Peli de Halleux, Francesco Logozzo, Nikolai Tillmann:
Exploiting the synergy between automated-test-generation and programming-by-contract. 401-402 - Thomas Ball, Sebastian Burckhardt, Jonathan de Halleux, Madanlal Musuvathi, Shaz Qadeer:
Deconstructing concurrency heisenbugs. 403-404 - Larry Maccherone, Anita Sarma
Tesseract: Interactive environment for exploration of project relationships. 405-406 - Steven P. Reiss:
DYVISE: Performance analysis of production systems research demonstration. 407-408 - Watcharin Leungwattanakit, Cyrille Artho, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto:
Verifying networked programs using a model checker extension. 409-410 - Mauro Pezzè
LuMiNous - model-driven assertion generation for runtime failure detection. 411-412 - Avi Yaeli, Alex Kofman, Yael Dubinsky:
Software development governor: Automating governance in software development environments. 413-414 - Holger Schackmann, Martin Jansen, Christoph Lischkowitz, Horst Lichter
QMetric - a metric tool suite for the evaluation of software process data. 415-416 - Gautam Shroff, Puneet Agarwal, Premkumar T. Devanbu
InstantApps: A WYSIWYG model driven interpreter for web applications. 417-418 - Ankit Goel, Bikram Sengupta, Abhik Roychoudhury
Footprinter: Round-trip engineering via scenario and state based models. 419-420 - Giovanni Denaro, Alessandra Gorla, Mauro Pezzè
DaTeC: Contextual data flow testing of java classes. 421-422 - Harold Ossher, Rachel K. E. Bellamy
Business insight toolkit: Flexible pre-requirements modeling. 423-424 - Patrick Mäder, Orlena Gotel, Ilka Philippow:
Semi-automated traceability maintenance: An architectural overview of traceMaintainer. 425-426 - Youssef Hanna, Hridesh Rajan
Slede: Framework for automatic verification of sensor network security protocol implementations. 427-428 - Markus Dahlweid, Michal Moskal
VCC: Contract-based modular verification of concurrent C. 429-430 - Gunter Mussbacher, Daniel Amyot
Goal and scenario modeling, analysis, and transformation with jUCMNav. 431-432 - Andrew L. King, Sam Procter
Demonstration of a medical device integration and coordination framework. 433-434 - Shang-Wen Cheng, David Garlan, Bradley R. Schmerl:
RAIDE for engineering architecture-based self-adaptive systems. 435-436 - Tung Thanh Nguyen
ClemanX: Incremental clone detection tool for evolving software. 437-438 - Ryuji Shimada, Yasuhiro Hayase, Makoto Ichii, Makoto Matsushita, Katsuro Inoue:
A-SCORE: Automatic software component recommendation using coding context. 439-440 - Glauco de Figueiredo Carneiro
An experimental platform to characterize software comprehension activities supported by visualization. 441-442
Workshops
- João M. Fernandes
Model-based Methodologies for Pervasive and Embedded Software. 443-444 - Sushil Krishna Bajracharya, Adrian Kuhn, Yunwen Ye:
SUITE 2009: First international workshop on search-driven development - users, infrastructure, tools and evaluation. 445-446 - Patricia Lago, Paris Avgeriou
Fourth international workshop on sharing and reusing architectural knowledge (SHARK 2009). 447-448 - Barry W. Boehm, Sunita Chulani, June M. Verner, Bernard Wong:
Seventh workshop on Software Quality. 449-450 - Cleidson R. B. de Souza, Helen Sharp, Yvonne Dittrich
Cooperative and human aspects of software engineering (CHASE 2009). 451-452 - Robert Baillargeon, Bernhard Rumpe
Modeling in Software Engineering (MiSE 09). 453-454 - Yael Dubinsky, Philippe Kruchten
2nd workshop on software development governance (SDG). 455-456 - Jürgen Ebert, Udo Kelter, Tarja Systä:
Workshop on comparison and versioning of software models (CVSM 2009). 457-458 - Dimitris Dranidis
Expanding, theory, and practice: Report on the 4th International Workshop on the Automation of Software Test. 459-460 - Elisabetta Di Nitto
Principles of engineering service oriented systems. 461-462 - Betty H. C. Cheng
SEAMS 2009: Software engineering for adaptive and self-managing systems. 463-464 - Leon J. Osterweil, Barbara Paech:
Workshop on software Engineering in Health Care (SEHC). 465 - Ruzanna Chitchyan
Early Aspects at ICSE 2009: Workshop on aspect-oriented requirements engineering and architecture design. 466-467 - Andrea Capiluppi
Second international workshop on emerging trends in Free/Libre/Open Source Software research and development - FLOSS09. 468-469 - Adam A. Porter, Victor Pankratius, Lawrence G. Votta:
International workshop on multicore software engineering (IWMSE 2009). 470-471 - Giuliano Antoniol, Rocco Oliveto, Denys Poshyvanyk
5th international workshop on Traceability in Emerging Forms of Software Engineering (TEFSE 2009). 472-473 - Brian Berenbach, Len Bass:
Leadership and management in software architecture. 474-475 - Marcelo Cataldo, Steve M. Easterbrook
2nd international workshop on socio-technical congruence (STC 2009). 476-477 - Bart De Win, Seok-Won Lee, Mattia Monga
The 5th international workshop on software engineering for secure systems (SESS'09). 478-479 - Ademar Aguiar
Wikis4SE'2009: Wikis for Software Engineering. 480-481 - Kamal Bhattacharya
ICSE Cloud 09: First international workshop on software engineering challenges for Cloud Computing. 482-483 - Jeffrey C. Carver:
SE-CSE 2009: The second international workshop on software engineering for Computational Science and Engineering. 484-485 - Len Bass, Grace A. Lewis
SEEUP 2009: Workshop on software engineering foundations for end-user programming. 486
Score
- Mehdi Jazayeri, Dino Mandrioli:
SCORE: The first student Contest in Software Engineering. 487-488
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-13 19:00 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: