Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID31st 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
, Jonathan Sillito:
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, Nitin Goel, Tadahiro Uehara:
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, Daniel Andresen, John Hatcliff, Steve Warren, William Spees, Raoul Praful Jetley, Paul L. Jones, Sandy Weininger:
An open test bed for medical device integration and coordination. 141-151 - Fergal McCaffery, John Burton, Ita Richardson:
Improving software Risk Management in a Medical Device Company. 152-162 - Massimo Pascale, Marcello Roselli, Umberto Rugani, Cesare Bartolini, Antonia Bertolino, Francesca Lonetti, Eda Marchetti, Andrea Polini:
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, Anthony Finkelstein, Sjaak Brinkkemper:
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, Steve M. Easterbrook, Jennifer Horkoff, Lysanne Lessard, Sotirios Liaskos, Jose-Norberto Mazón:
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, Youpeng Lee, Yinxing Xue, Naveed Shaikh:
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, Alexander Egyed:
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, Iris Groher:
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, Mark Grechanik:
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, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte:
Guided path exploration for regression test generation. 311-314 - Ivo Krka, George Edwards, Yuriy Brun, Nenad Medvidovic:
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, Elisabetta Di Nitto, Sam Guinea, Schahram Dustdar:
Multi-dimensional service compositions. 323-326 - Michel Wermelinger, Yijun Yu, Markus Strohmaier:
Using formal concept analysis to construct and visualise hierarchies of socio-technical relations. 327-330 - Antonio Carzaniga, Giovanni Denaro, Mauro Pezzè, Jacky Estublier, Alexander L. Wolf:
Toward deeply adaptive societies of digital systems. 331-334 - Luigi Troiano, Gerardo Canfora:
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, Rogério de Lemos:
Towards the use of dynamic workflows for coordinating self-adaptation of software systems. 383-386 - Basem Suleiman, Vladimir Tosic, D. Ross Jeffery, Yan Jenny Liu:
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, Patrick Wagstrom, James D. Herbsleb:
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è, Jochen Wuttke:
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, David Amid, Ateret Anaby-Tavor, Matthew Callery, Michael Desmond, Jacqueline de Vries, Amit Fisher, Thomas Frauenhofer, Sophia Krasikov, Ian Simmonds, Calvin Swart:
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, Thomas Santen, Stephan Tobies, Wolfram Schulte:
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, Daniel Andresen, John Hatcliff, Steve Warren, William Spees, Raoul Praful Jetley, Paul L. Jones, Sandy Weininger:
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, Hoan Anh Nguyen, Nam H. Pham, Jafar M. Al-Kofahi, Tien N. 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, Manoel G. Mendonça, Rodrigo Chaves Magnavita:
An experimental platform to characterize software comprehension activities supported by visualization. 441-442
Workshops
- João M. Fernandes, Ricardo Jorge Machado, Luís C. Lamb, Flávio Rech Wagner:
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, Philippe Kruchten:
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, Janice Singer:
Cooperative and human aspects of software engineering (CHASE 2009). 451-452 - Robert Baillargeon, Bernhard Rumpe, Steven Völkel, Robert B. France, Geri Georg, Steffen Zschaler:
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, Stephen P. Masticola, Paul A. Strooper:
Expanding, theory, and practice: Report on the 4th International Workshop on the Automation of Software Test. 459-460 - Elisabetta Di Nitto, Schahram Dustdar:
Principles of engineering service oriented systems. 461-462 - Betty H. C. Cheng, Rogério de Lemos, David Garlan, Holger Giese, Marin Litoiu, Jeff Magee, Hausi A. Müller, Richard Taylor:
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, Mónica Pinto, Safoora Shakil Khan:
Early Aspects at ICSE 2009: Workshop on aspect-oriented requirements engineering and architecture design. 466-467 - Andrea Capiluppi, Gregorio Robles:
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, Daniela E. Damian, James D. Herbsleb, Premkumar T. Devanbu, Audris Mockus:
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