![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
27th ICSE 2005: St Louis, Missouri, USA
- Gruia-Catalin Roman, William G. Griswold, Bashar Nuseibeh:
27th International Conference on Software Engineering (ICSE 2005), 15-21 May 2005, St. Louis, Missouri, USA. ACM 2005
Keynote talks
- Luca Cardelli:
Transitions in programming models: 2. 2 - Richard Florida:
Global talent and innovation. 3 - Erich Gamma:
Agile, open source, distributed, and on-time: inside the eclipse development process. 4
State of the art
- Bev Littlewood:
Dependability assessment of software-based systems: state of the art. 6-7 - Armando Fox:
Addressing software dependability with statistical and machine learning techniques. 8 - Roy Want, Trevor Pering:
System challenges for ubiquitous & pervasive computing. 9-14 - Jeffrey O. Kephart:
Research challenges of autonomic computing. 15-22
Extending the discipline
- James D. Herbsleb
:
Beyond computer science. 23-27 - Stephen Fickas:
Clinical requirements engineering. 28-34 - Michael B. Twidale
:
Silver bullet or fool's gold: supporting usability in open source software development. 35 - Peter Ayton:
Extending the discipline: how software can help or hinder human decision making (and vice-versa). 36
State of the practice
- Jon Siegel:
Why use the model driven architecture to design and build distributed applications? 37 - Michael Hirsch:
Moving from a plan driven culture to agile development. 38 - Eric Brechner:
Journey of enlightenment: the evolution of development at Microsoft. 39-42 - Roy T. Fielding:
Software architecture in an open source world. 43
Most influential paper of ICSE 17
- Michael Jackson, Pamela Zave:
Where do you go when you're through the turnstile? 44
Panel
- Kevin J. Sullivan, Jeff Magee:
Science of design. 46
Research papers
- William G. Griswold
, Bashar Nuseibeh:
Introduction to Research Papers. 48
Aspect-oriented software development
- Gregor Kiczales, Mira Mezini:
Aspect-oriented programming and modular reasoning. 49-58 - Hridesh Rajan, Kevin J. Sullivan:
Classpects: unifying aspect- and object-oriented language design. 59-68 - Carine Courbis, Anthony Finkelstein:
Towards aspect weaving applications. 69-77
Databases
- Yuetang Deng, Phyllis G. Frankl, David Chays:
Testing database transactions with AGENDA. 78-87 - Russell A. McClure, Ingolf H. Krüger:
SQL DOM: compile time checking of dynamic SQL statements. 88-96 - William R. Cook, Siddhartha Rai:
Safe query objects: statically typed objects as remotely executable queries. 97-106
Tools & environments
- Amir Michail, Tao Xie:
Helping users avoid bugs in GUI applications. 107-116 - Reid Holmes, Gail C. Murphy:
Using structural context to recommend source code examples. 117-125 - Amy J. Ko, Htet Htet Aung, Brad A. Myers:
Eliciting design requirements for maintenance-oriented IDEs: a detailed study of corrective and perfective maintenance tasks. 126-135
Testing and analysis
- Martin Erwig, Robin Abraham
, Irene Cooperstein, Steve Kollmansberger:
Automatic generation and maintenance of correct spreadsheets. 136-145 - Renée C. Bryce, Charles J. Colbourn, Myra B. Cohen:
A framework of greedy methods for constructing interaction test suites. 146-155 - Jonathan Misurda, James A. Clause, Juliya L. Reed, Bruce R. Childers, Mary Lou Soffa:
Demand-driven structural testing with dynamic instrumentation. 156-165
Programming languages
- Tetsuo Tamai, Naoyasu Ubayashi
, Ryoichi Ichiyama:
An adaptive object model with dynamic role binding. 166-175 - Brian Demsky, Martin C. Rinard:
Data structure repair using goal-directed reasoning. 176-185 - Wei-Ngan Chin, Siau-Cheng Khoo, Shengchao Qin
, Corneliu Popeea, Huu Hai Nguyen:
Verifying safety policies with size properties and alias controls. 186-195
Change management
- Kathi Fisler
, Shriram Krishnamurthi
, Leo A. Meyerovich, Michael Carl Tschantz:
Verification and change-impact analysis of access-control policies. 196-205 - Patricia Lago, Hans van Vliet:
Explicit assumptions enrich architectural models. 206-214 - Tien Nhut Nguyen, Ethan V. Munson, John Tang Boyland, Cheng Thao:
An infrastructure for development of object-oriented, multi-level configuration management services. 215-224
Software quality and process
- Audris Mockus, Ping Zhang, Paul Luo Li:
Predictors of customer perceived software quality. 225-233 - Luigi Lavazza, Giancarlo Barresi:
Automated support for process-aware definition and execution of measurement plans. 234-243 - Tariq Al-Naeem, Ian Gorton, Muhammad Ali Babar, Fethi A. Rabhi, Boualem Benatallah
:
A quality-driven systematic approach for architecting distributed software applications. 244-253
Software evolution
- Atanas Rountev, Beth Harkness Connell:
Object naming analysis for reverse-engineered sequence diagrams. 254-263 - Eli Tilevich
, Yannis Smaragdakis:
Binary refactoring: improving code behind the scenes. 264-273 - Johannes Henkel, Amer Diwan:
CatchUp!: capturing and replaying refactorings to support API evolution. 274-283
Empirical software engineering
- Nachiappan Nagappan, Thomas Ball:
Use of relative code churn measures to predict system defect density. 284-292 - Cemal Yilmaz, Arvind S. Krishna, Atif M. Memon, Adam A. Porter, Douglas C. Schmidt, Aniruddha S. Gokhale, Balachandran Natarajan:
Main effects screening: a distributed continuous quality assurance process for monitoring performance degradation in evolving software systems. 293-302 - Parastoo Mohagheghi, Bente Anda, Reidar Conradi:
Effort estimation of use cases for incremental large-scale software development. 303-311
Security
- Vinod Ganapathy, Sanjit A. Seshia, Somesh Jha, Thomas W. Reps, Randal E. Bryant:
Automatic discovery of API-level exploits. 312-321 - Jan Jürjens:
Sound methods and effective tools for model-based security engineering with UML. 322-331 - Dzintars Avots, Michael Dalton, V. Benjamin Livshits, Monica S. Lam:
Improving software security with a C pointer analysis. 332-341
Fault localization
- Holger Cleve, Andreas Zeller
:
Locating causes of program failures. 342-351 - Joseph R. Ruthruff, Margaret M. Burnett, Gregg Rothermel:
An empirical study of fault localization for end-user programmers. 352-361
Requirements and specifications
- Jane Cleland-Huang, Raffaella Settimi, Oussama Ben Khadra, Eugenia Berezhanskaya, Selvia Christina:
Goal-centric traceability for managing non-functional requirements. 362-371 - Sascha Konrad, Betty H. C. Cheng
:
Real-time specification patterns. 372-381 - Emmanuel Letier, Jeff Kramer, Jeff Magee, Sebastián Uchitel
:
Monitoring and control in scenario-based requirements analysis. 382-391
Empirical evaluation of testing
- Alexander Pretschner, Wolfgang Prenninger, Stefan Wagner
, Christian Kühnel, Martin Baumgartner, Bernd Sostawa, Rüdiger Zölch, Thomas Stauner:
One evaluation of model-based testing and its automation. 392-401 - James H. Andrews, Lionel C. Briand, Yvan Labiche:
Is mutation an appropriate tool for testing experiments? 402-411 - David Leon, Wes Masri, Andy Podgurski:
An empirical evaluation of test case filtering techniques based on exercising complex information flows. 412-421
Static and dynamic analysis
- Christoph Csallner, Yannis Smaragdakis:
Check 'n' crash: combining static checking and testing. 422-431 - Taweesup Apiwattanapong, Alessandro Orso, Mary Jean Harrold:
Efficient and precise dynamic impact analysis using execute-after sequences. 432-441 - Marcelo F. Frias, Juan P. Galeotti, Carlos López Pombo, Nazareno Aguirre:
DynAlloy: upgrading alloy with actions. 442-451
Empirical studies
- Hamid Abdul Basit, Damith C. Rajapakse, Stan Jarzabek:
Beyond templates: a study of clones in the STL and some general implications. 451-459 - Elspeth Golden, Bonnie E. John, Len Bass:
The value of a usability-supporting architectural pattern in software architecture design: a controlled experiment. 460-469 - Martin Höst, Claes Wohlin, Thomas Thelin:
Experimental context classification: incentives and experience of subjects. 470-478
Experience reports
- Constance L. Heitmeyer, Klaus Pohl:
Introduction to the experience reports track. 480
Agile methods
- Grigori Melnik, Frank Maurer:
A cross-program investigation of students' perceptions of agile methods. 481-488 - Denise M. Woit:
Requirements interaction management in an eXtreme programming environment: a case study. 489-494 - Hanna Hulkko, Pekka Abrahamsson:
A multiple case study on the impact of pair programming on product quality. 495-504
Software architectures
- Moonzoo Kim, Jaejoon Lee, Kyo Chul Kang, Youngjin Hong, Seokwon Bang:
Re-engineering software architecture of home service robots: a case study. 505-513 - Ian Gorton, Liming Zhu
:
Tool support for just-in-time architecture reconstruction and evaluation: an experience report. 514-523
Product lines & processes
- James D. Herbsleb, Daniel J. Paulish, Matthew Bass:
Global software development at siemens: experience from nine projects. 524-533 - Martin Verlage, Thomas Kiesgen:
Five years of product line engineering in a small company. 534-543 - Klaus Schmid
, Isabel John, Ronny Kolb, Gerald Meier:
Introducing the puLSE approach to an embedded system population at testo AG. 544-552
Requirements & testing
- Christof Ebert, Jozef De Man:
requirements uncertainty: influencing factors and concrete improvements. 553-560 - Neil A. M. Maiden, Suzanne Robertson:
Developing use cases and scenarios in the requirements process. 561-570 - Stefan Berner, Roland Weber, Rudolf K. Keller:
Observations and lessons learned from automated testing. 571-579
Prediction & verification
- Nachiappan Nagappan, Thomas Ball:
Static analysis tools as early indicators of pre-release defect density. 580-586 - Tim Menzies, Daniel Port, Zhihao Chen, Jairus Hihn, Sherry Stukes:
Validation methods for calibrating software effort models. 587-595 - Maurice H. ter Beek, Mieke Massink
, Diego Latella
, Stefania Gnesi, Alessandro Forghieri, Maurizio Sebastianis:
A case study on the automated verification of groupware protocols. 596-603
Education & training track
- Paola Inverardi, Mehdi Jazayeri:
Introduction to education and training track. 606 - Mary Shaw
, James D. Herbsleb, Ipek Ozkaya:
Deciding what to design: closing a gap in software engineering education. 607-608 - Tetsuo Tamai:
How to teach software modeling. 609-610 - Augusto Sampaio, Carlos Albuquerque, João Vasconcelos, Luckerson Cruz, Luis Figueiredo, Sérgio Cavalcante:
Software test program: a software residency experience. 611-612 - Chang Liu:
Enriching software engineering courses with service-learning projects and the open-source approach. 613-614 - Ken Blaha, Alvaro E. Monge, Dean Sanders, Beth Simon, Tammy VanDeGrift:
Do students recognize ambiguity in software design? a multi-national, multi-institutional report. 615-616 - Michael D. Ernst, John Chapin:
The groupthink specification exercise. 617-618 - Linda B. Sherrell, Sajjan G. Shiva:
Will earlier projects plus a disciplined process enforce SE principles throughout the CS curriculum? 619-620 - Hans van Vliet:
Some myths of software engineering education. 621-622 - Joanne M. Atlee, Richard J. LeBlanc, Timothy Lethbridge, Ann E. Kelley Sobel, J. Barrie Thompson:
Software engineering 2004: ACM/IEEE-CS guidelines for undergraduate programs in software engineering. 623-624 - Neha Katira, Laurie A. Williams, Jason A. Osborne:
Towards increasing the compatibility of student pair programmers. 625-626 - Amir Zeid, Moemen Elswidi:
Using peer reviews in teaching framework development. 627-628 - Wilson P. Paula Filho:
Process issues in course projects. 629-630 - Zakarya A. Alzamil:
Towards an effective software engineering course project. 631-632 - Akinola S. Olalekan:
Conducting empirical software engineering research in Nigeria: the posing problems. 633-634 - Clemens A. Szyperski
:
The making of a software engineer challenges for the educator. 635-636 - Carlo Ghezzi, Dino Mandrioli:
The challenges of software engineering education. 637-638 - Victor Pankratius, Wolffried Stucky:
Information systems development at the virtual global university: an experience report. 639-640 - André van der Hoek, David G. Kay, Debra J. Richardson:
A B.S. degree in informatics: contextualizing software engineering education. 641-642 - Matthew J. Hawthorne, Dewayne E. Perry:
Software engineering education in the era of outsourcing, distributed development, and open source software: challenges and opportunities. 643-644 - Yael Dubinsky, Orit Hazzan:
The role of a project-based capstone course. 645-646 - Orit Hazzan, James E. Tomayko:
Teaching human aspects of software engineering. 647-648 - Paolo Ciancarini:
On the education of future software engineers. 649-650
Doctoral symposium oral presentations
- Frank McCarey, Mel Ó Cinnéide:
Agile software reuse recommender. 652 - Olga Jaufman:
Emergent process design. 653 - Corrado Aaron Visaggio
:
Empirical validation of pair programming. 654 - Sam Guinea:
Self-healing web service compositions. 655 - David Saff, Michael D. Ernst:
Test factoring: focusing test suites for the task at hand. 656 - Sascha Konrad:
Assurance patterns for distributed real-time embedded systems. 657 - John C. Georgas
:
Knowledge-based architectural adaptation management for self-adaptive systems. 658 - Guozheng Ge, E. James Whitehead Jr.:
Automatic generation of rule-based software configuration management systems. 659 - Zhenchang Xing:
Design mentoring based on design evolution analysis. 660
Research demonstrations
- Steven P. Reiss, Manos Renieris:
Demonstration of JIVE and JOVE: Java as it happens. 662-663 - Xiaoxia Ren, Barbara G. Ryder, Maximilian Störzer, Frank Tip:
Chianti: a change impact analysis tool for java programs. 664-665 - William Chung, William H. Harrison, Vincent J. Kruskal, Harold Ossher, Stanley M. Sutton Jr., Peri L. Tarr, Matthew Chapman, Andrew Clement, Helen Hawkins, Sian January:
The concern manipulation environment. 666-667 - David Saff, Michael D. Ernst:
Continuous testing in eclipse. 668-669 - Sven Burmester, Holger Giese, Martin Hirsch, Daniela Schilling, Matthias Tichy:
The fujaba real-time tool suite: model-driven development of safety-critical, real-time systems. 670-671 - Michele Lanza, Stéphane Ducasse, Harald C. Gall
, Martin Pinzger:
CodeCrawler: an information visualization tool for program comprehension. 672-673 - Robert Chatley, Sebastián Uchitel, Jeff Kramer, Jeff Magee:
Fluent-based web animation: exploring goals for requirements validation. 674-675 - Marwan Abi-Antoun, Jonathan Aldrich
, David Garlan, Bradley R. Schmerl, Nagi H. Nahas, Tony Tseng:
Modeling and implementing software architecture with acme and archJava. 676-677
Workshops
- Siddhartha R. Dalal, Ashish Jain, Jesse H. Poore:
Workshop on advances in model-based software testing. 680 - Danilo Bruschi, Bart De Win, Mattia Monga
:
Software engineering for secure systems. 681 - Alessandro F. Garcia, Ricardo Choren, Carlos José Pereira de Lucena, Alexander B. Romanovsky
, Tom Holvoet
, Paolo Giorgini
:
Software engineering for large-scale multi-agent systems - SELMAS'05. 682 - Philip M. Johnson:
Second international workshop on software engineering for high performance computing system applications. 683 - Kevin J. Sullivan:
7th international workshop on economics-driven software engineering research. 684 - Martin P. Robillard, Peri L. Tarr:
First international workshop on the modeling and analysis of concerns in software (MACS 2005). 685 - Michael John, Frank Maurer, Bjørnar Tessem:
Human and social factors of software engineering. 686 - David Budgen
, Pearl Brereton, Barbara A. Kitchenham, Stephen G. Linkman:
International workshop on realising evidence-based software engineering. 687 - Bernard Wong, June M. Verner, Sunita Chulani, Barry W. Boehm:
Third workshop on software quality. 688-689 - Ahmed E. Hassan, Richard C. Holt, Stephan Diehl
:
MSR 2005 international workshop on mining software repositories. 690 - Rogério de Lemos, Alexander B. Romanovsky
:
Workshop on architecting dependable systems (WADS 2005). 691 - Jelber Sayyad-Shirabad, Tim Menzies:
Predictor models in software engineering (PROMISE). 692 - James H. Andrews, Lori L. Pollock:
Third international workshop on dynamic analysis(WODA 2005). 693 - Joseph Feller, Karim R. Lakhani, Brian Fitzgerald, Walt Scacchi, Scott A. Hissam:
Open source application spaces: the 5th workshop on open source software engineering. 694 - Christian Salzmann, Thomas Stauner
, Alexander Pretschner:
2nd international workshop on software engineering for automotive systems. 695 - Lawrence Chung, Xavier Franch
, Neil A. M. Maiden:
Models and processes for the evaluation of off-the-shelf components - MPEC'05. 696 - Yves Bontemps, Alexander Egyed:
4th international workshop on scenarios and state machines: models, algorithms and tools (SCESM'05). 697 - Gregg Rothermel, Sebastian G. Elbaum:
The first workshop on end-user software engineering. 698 - David Garlan, John Mylopoulos, Marin Litoiu, Dennis B. Smith, Hausi A. Müller, Kenny Wong:
DEAS 2005: workshop on the design and evolution of autonomic application software. 699
Tutorials
- Holger Peine:
Rules of thumb for secure software engineering. 702-703 - Leon Sterling, Thomas Juan:
The software engineering of agent-based intelligent adaptive systems. 704-705 - Barry W. Boehm, A. Winsor Brown, Richard Turner:
Spiral development of software-intensive systems of systems. 706-707 - Howard B. Rockman, Vladimir Khodosh:
The software engineer and the development, management and use of intellectual property. 708-709 - Jane Cleland-Huang, Mark Denne:
Financially informed requirements prioritization. 710-711 - Ivica Crnkovic
:
Component-based software engineering for embedded systems. 712-713 - Albert Zündorf:
Story driven modeling: a practical guide to model driven software development. 714-715 - Thomas Kühne
:
Understanding metamodeling. 716-717 - Stephan Diehl
:
Software visualization. 718-719 - Donald Firesmith:
Engineering safety-related requirements for software-intensive systems. 720-721 - Alexander Pretschner:
Model-based testing. 722-723 - Paolo Tonella
:
Reverse engineering of object oriented code. 724-725 - Ian Gorton, Anna Liu:
An architects guide to enterprise application integration with J2EE and .NET. 726-727 - Vittorio Cortellessa, Antinisca Di Marco, Paola Inverardi:
Transformations of software models into performance models. 728-729 - Gregor Kiczales:
Aspect-oriented programming. 730 - Frank Maurer, Grigori Melnik:
What you always wanted to know about agile methods but did not dare to ask. 731-732
![](https://dblp.org/img/cog.dark.24x24.png)
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.