ICSE 2003

124 papers

1. 3rd International Workshop on Adoption-centric Software Engineering ACSE 2003 · Robert Balzer, Jens H. Jahnke, Marin Litoiu, Hausi A. Müller, Dennis B. Smith, Margaret-Anne D. Storey + 2 more
2. 6th ICSE Workshop on Component-Based Software Engineering: Automated Reasoning and Prediction · Ivica Crnkovic, Heinz W. Schmidt, Judith A. Stafford, Kurt C. Wallnau
3. A Component Architecture for an Extensible, Highly Integrated Context-Aware Computing Infrastructure · William G. Griswold, Robert T. Boyer, Steven W. Brown, Tan Minh Truong
4. A Compositional Formalization of Connector Wrappers · Bridget Spitznagel, David Garlan
5. A Framework for Component Deployment Testing · Antonia Bertolino, Andrea Polini
6. A Software Process Scheduling Simulator · Frank Padberg
7. A Tutorial on Feature Oriented Programming and Product-Lines · Don S. Batory
8. About the Development of a Point of Sale System: an Experience Report · Stefan Berner
9. Addressing the Challenges of Software Industry Globalization: The Workshop on Global Software Development · Daniela E. Damian, Filippo Lanubile, Heather L. Oppenheimer
10. An Analysis of the Fault Correction Process in a Large-Scale SDL Production Model · Dolores M. Zage, Wayne M. Zage
11. An Effective Layout Adaptation Technique for a Graphical Modeling Tool · Christian Seybold, Martin Glinz, Silvio Meier, Nancy Merlo-Schett
12. An Empirical Study of Predicate Dependence Levels and Trends · David W. Binkley, Mark Harman
13. An Empirical Study of an Informal Knowledge Repository in a Medium-Sized Software Consulting Company · Torgeir Dingsøyr, Emil Røyrvik
14. Architectural Interaction Diagrams: AIDs for System Modeling · Arnab Ray, Rance Cleaveland
15. Architectural Level Risk Assessment Tool Based on UML Specifications · Tianjian Wang, Ahmed E. Hassan, Ajith Guedem, Walid Abdelmoez, Katerina Goseva-Popstojanova, Hany H. Ammar
16. Architecture, Design, Implementation · Amnon H. Eden, Rick Kazman
17. Assessing Test-Driven Development at IBM · E. Michael Maximilien, Laurie A. Williams
18. Automated Support for Classifying Software Failure Reports · Andy Podgurski, David Leon, Patrick Francis, Wes Masri, Melinda Minch, Jiayang Sun + 1 more
19. Automotive Software Engineering · Manfred Broy
20. Beyond the Personal Software Process: Metrics collection and analysis for the differently disciplined · Philip M. Johnson, Hongbing Kou, Joy Agustin, Christopher Chan, Carleton A. Moore, Jitender Miglani + 2 more
21. Bridging the Gaps Between Software Engineering and Human-Computer Interaction · Rick Kazman, Leonard J. Bass, Jan Bosch
22. CLIME: An Environment for Constrained Evolution Demonstration Description · Steven P. Reiss, Christina M. Kennedy, Tom Wooldridge, Shriram Krishnamurthi
23. Cadena: An Integrated Development, Analysis, and Verification Environment for Component-based Systems · John Hatcliff, Xianghua Deng, Matthew B. Dwyer, Georg Jung, Venkatesh Prasad Ranganath
24. Comparison of Two Component Frameworks: The FIPA-Compliant Multi-Agent System and The Web-Centric J2EE Platform · Michelle Casagni, Margaret Lyell
25. Component Rank: Relative Significance Rank for Software Component Search · Katsuro Inoue, Reishi Yokomori, Hikaru Fujiwara, Tetsuo Yamamoto, Makoto Matsushita, Shinji Kusumoto
26. Component Technology - What, Where, and How? · Clemens A. Szyperski
27. Computer-Assisted Assume/Guarantee Reasoning with VeriSoft · Jürgen Dingel
28. Computing Systems Dependability · John C. Knight
29. Consistency Management with Repair Actions · Christian Nentwich, Wolfgang Emmerich, Anthony Finkelstein
30. Constructing Test Suites for Interaction Testing · Myra B. Cohen, Peter B. Gibbons, Warwick B. Mugridge, Charles J. Colbourn
31. Cost Estimation for Web Applications · Melanie Ruhe, D. Ross Jeffery, Isabella Wieczorek
32. Cybersecurity · Richard A. Kemmerer
33. DADO: Enhancing Middleware to Support Crosscutting Features in Distributed, Heterogeneous Systems · Eric Wohlstadter, Stoney Jackson, Premkumar T. Devanbu
34. DRT: A Tool for Design Recovery of Interactive Graphical Applications · Keith Chan, Annie Chen, Zhi Cong Leo Liang, Amir Michail, Minh Hoai Nguyen, Nicholas Seow
35. Data Flow Testing as Model Checking · Hyoung Seok Hong, Sung Deok Cha, Insup Lee, Oleg Sokolsky, Hasan Ural
36. Demonstration of AGENDA Tool Set for Testing Relational Database Applications · David Chays, Yuetang Deng
37. Design Pattern Rationale Graphs: Linking Design to Source · Elisa L. A. Baniassad, Gail C. Murphy, Christa Schwanninger
38. Design Recovery of Interactive Graphical Applications · Keith Chan, Zhi Cong Leo Liang, Amir Michail
39. Designing Software Architectures for Usability · Jan Bosch, Natalia Juristo Juzgado
40. Documenting Software Architectures: Views and Beyond · Paul C. Clements, David Garlan, Reed Little, Robert L. Nord, Judith A. Stafford
41. Effective Experience Repositories for Software Engineering · Kurt Schneider, Jan-Peter von Hunnius
42. Efficient Authoring of Software Documentation Using RaPiD7 · Roope Kylmäkoski
43. Embedded Architect: A Tool for Early Performance Evaluation of Embedded Software · Jeffry T. Russell, Margarida F. Jacome
44. Empowering Software Engineers in Human-Centered Design · Ahmed Seffah, Alina Andreevskaia
45. End-User Software Engineering with Assertions in the Spreadsheet Paradigm · Margaret M. Burnett, Curtis R. Cook, Omkar Pendse, Gregg Rothermel, Jay Summet, Christine Wallace
46. Evaluating Individual Contribution Toward Group Software Engineering Projects · Jane Huffman Hayes, Timothy Lethbridge, Daniel Port
47. Evaluating the Quality of Information Models: Empirical Testing of a Conceptual Model Quality Framework · Daniel L. Moody, Guttorm Sindre, Terje Brasethvik, Arne Sølvberg
48. Experiences on Defining and Evaluating an Adapted Review Process · Thomas Gantner, Tobias Barth
49. FEAT. A Tool for Locating, Describing, and Analyzing Concerns in Source Code · Martin P. Robillard, Gail C. Murphy
50. Fault-tolerance in a Distributed Management System: a Case Study · Robert Smeikal, Karl M. Göschka
51. Fifth International Workshop on Economics-driven Software Engineering Research (EDSER-5) "The Search for Value in Engineering Decisions" · Jyrki Kontio, Shawn A. Butler
52. Fragment Class Analysis for Testing of Polymorphism in Java Software · Atanas Rountev, Ana L. Milanova, Barbara G. Ryder
53. From Scenarios to Code: An Air Traffic Control Case Study · Jon Whittle, Jyoti Saboo, Richard Kwan
54. Goal-Oriented Requirements Engineering: From System Objectives to UML Models to Precise Software Specifications · Axel van Lamsweerde
55. Hipikat: Recommending Pertinent Software Development Artifacts · Davor Cubranic, Gail C. Murphy
56. ICSE 2003 Workshop on Software Architectures for Dependable Systems · Rogério de Lemos, Cristina Gacek, Alexander B. Romanovsky
57. ICSE 2003 Workshop on Software Engineering for High Assurance Systems: Synergies between Process, Product, and Profiling (SEHAS 2003) · Martin S. Feather, Allen P. Nikora, Constance L. Heitmeyer, Nancy R. Mead
58. ICSE Workshop on Dynamic Analysis (WODA 2003) · Jonathan E. Cook, Michael D. Ernst
59. ICSE Workshop on Remote Analysis and Measurement of Software Systems (RAMSS) · Alessandro Orso, Adam A. Porter
60. ICSE Workshop on Software Variability Management · Peter Knauber, Jan Bosch
61. Improving Test Suites via Operational Abstraction · Michael Harder, Jeff Mellen, Michael D. Ernst
62. Improving Web Application Testing with User Session Data · Sebastian G. Elbaum, Srikanth Karre, Gregg Rothermel
63. Industrial-Strength Software Product-Line Engineering · John Klein, Barry Price, David M. Weiss
64. Internet Security and Intrusion Detection · Richard A. Kemmerer, Giovanni Vigna
65. Introducing Software Engineering by means of Extreme Programming · Görel Hedin, Lars Bendix, Boris Magnusson
66. JIVE: Visualizing Java in Action Demonstration Description · Steven P. Reiss
67. Java Program Analysis Projects in Osaka University: Aspect-Based Slicing System ADAS and Ranked-Component Search System SPARS-J · Reishi Yokomori, Takashi Ishio, Tetsuo Yamamoto, Makoto Matsushita, Shinji Kusumoto, Katsuro Inoue
68. Modular Verification of Software Components in C · Sagar Chaki, Edmund M. Clarke, Alex Groce, Somesh Jha, Helmut Veith
69. Modularity in the New Millenium: A Panel Summary · Premkumar T. Devanbu, Robert Balzer, Don S. Batory, Gregor Kiczales, John Launchbury, David Lorge Parnas + 1 more
70. Must There Be So Few? Including Women in CS · Joanne McGrath Cohoon
71. New Directions on Agile Methods: A Comparative Analysis · Pekka Abrahamsson, Juhani Warsta, Mikko T. Siponen, Jussi Ronkainen
72. New Software Engineering Faculty Symposium (NSEFS 03) · Leon J. Osterweil
73. On The Supervision and Assessment Of Part-Time Postgraduate Software Engineering Projects · Andrew Simpson, Andrew P. Martin, Jeremy Gibbons, Jim Davies, Steve McKeever
74. On the Uniformity of Software Evolution Patterns · Evelyn J. Barry, Chris F. Kemerer, Sandra Slaughter
75. Palantír: Raising Awareness among Configuration Management Workspaces · Anita Sarma, Zahra Noroozi, André van der Hoek
76. Panel: Empirical Validation-What, Why, When, and How · Robert J. Walker, Lionel C. Briand, David Notkin, Carolyn B. Seaman, Walter F. Tichy
77. Panel: eXtreme Programming: Helpful or Harmful? · Hossein Saiedian
78. Pattern-Oriented Distributed System Architectures · Douglas C. Schmidt
79. Patterns, Frameworks, and Middleware: Their Synergistic Relationships · Douglas C. Schmidt, Frank Buschmann
80. Pluggable Reflection: Decoupling Meta-Interface and Implementation · David H. Lorenz, John M. Vlissides
81. Positive Experiences with an Open Project Assignment in an Introductory Programming Course · Guttorm Sindre, Steinar Line, Ottar V. Valvâg
82. Practical Software Measurement · David N. Card
83. Precise Dynamic Slicing Algorithms · Xiangyu Zhang, Rajiv Gupta, Youtao Zhang
84. Problems and Programmers: An Educational Software Engineering Card Game · Alex Baker, Emily Oh Navarro, André van der Hoek
85. Quality of Service Engineering with UML, .NET, and CORBA · Torben Weis, Andreas Ulbrich, Kurt Geihs
86. Quantifying the Value of Architecture Design Decisions: Lessons from the Field · Mike Moore, Rick Kazman, Mark Klein, Jai Asundi
87. Recovering Documentation-to-Source-Code Traceability Links using Latent Semantic Indexing · Andrian Marcus, Jonathan I. Maletic
88. Report on the ICSE 2003 Doctoral Symposium · Dick Hamlet, Mary Lou Soffa
89. Requirements Discovery during the Testing of Safety-Critical Software · Robyn R. Lutz, Ines Carmen Mikulski
90. Research Demonstrations and Posters · Bruce Schafer, Mauro Pezzè
91. SE Pioneers Symposium · Stuart R. Faulk, Lawrence G. Votta
92. Scaling Step-Wise Refinement · Don S. Batory, Jacob Neal Sarvela, Axel Rauschmayer
93. Second International Workshop on From SofTware Requirements to Architectures (STRAW?03) · Daniel M. Berry, Rick Kazman, Roel J. Wieringa
94. Second Workshop on Scenarios and State Machines: Models, Algorithms, and Tools · Alexander Egyed, Martin Glinz, Ingolf Krüger, Tarja Systä, Sebastián Uchitel, Albert Zündorf
95. Software Engineering for Large-Scale Multi-Agent Systems - SELMAS'2003 · Carlos José Pereira de Lucena, José Alberto R. P. Sardinha, Alessandro F. Garcia, Alexander B. Romanovsky, Jaelson Castro, Paulo S. C. Alencar + 1 more
96. Software Technology in an Automotive Company - Major Challenges · Klaus Grimm
97. Sound Methods and Effective Tools for Engineering Modeling and Analysis · David Coppit, Kevin J. Sullivan
98. Source Viewer 3D (sv3D) - A Framework for Software Visualization · Jonathan I. Maletic, Andrian Marcus, Louis Feng
99. Teaching Contract Programming Concepts to Future Software Engineers · Donald F. Ross
100. The 3rd Workshop on Open Source Software Engineering · Joseph Feller, Brian Fitzgerald, Scott A. Hissam, Karim R. Lakhani
101. The Co-Evolution of a Hype and a Software Architecture: Experience of Component-Producing Large-Scale EJB Early Adopters · Lutz Prechelt, Daniel J. Hutzel
102. The Deployer's Problem: Configuring Application Servers for Performance and Reliability · Mukund Raghavachari, Darrell Reimer, Robert D. Johnson
103. The Grand Challenge of Trusted Components · Bertrand Meyer
104. The Impact of Pair Programming on Student Performance, Perception and Persistence · Charlie McDowell, Linda L. Werner, Heather E. Bullock, Julian Fernald
105. The Software Engineering Impacts of Cultural Factors on Multi-cultural Software Development Teams · Greg Borchers
106. The Vienna Component Framework Enabling Composition Across Component Models · Johann Oberleitner, Thomas Gschwind, Mehdi Jazayeri
107. Tools for Understanding the Behavior of Telecommunication Systems · André Marburger, Bernhard Westfechtel
108. Toward an Understanding of the Motivation of Open Source Software Developers · Yunwen Ye, Kouichi Kishida
109. Towards Systematic Recycling of Systems Requirements · Nadine Heumesser, Frank Houdek
110. Tricks and Traps of Initiating a Product Line Concept in Existing Product · Christof Ebert, Michel Smouts
111. Trustworthy and sustainable operations in marine environments · Martin Fredriksson, Rune Gustavsson
112. Tutorial H2: An Overview of UML 2.0 · Bran Selic
113. Understanding and Predicting Effort in Software Projects · Audris Mockus, David M. Weiss, Ping Zhang
114. Usage-Centered Software Engineering: An Agile Approach to Integrating Users, User Interfaces, and Usability into Software Engineering Practice · Larry L. Constantine, Lucy A. D. Lockwood
115. Using Benchmarking to Advance Research: A Challenge to Software Engineering · Susan Elliott Sim, Steve M. Easterbrook, Richard C. Holt
116. Using Process Technology to Control and Coordinate Software Adaptation · Giuseppe Valetto, Gail E. Kaiser
117. Using a Web-Based Project Process Throughout the Software Engineering Curriculum · Donald J. Bagert, Susan A. Mengel
118. ViewPoints: meaningful relationships are difficult! · Bashar Nuseibeh, Jeff Kramer, Anthony Finkelstein
119. Whole Program Path-Based Dynamic Impact Analysis · James Law, Gregg Rothermel
120. Why Can't They Create Architecture Models Like "Developer X"? An Experience Report · George Fairbanks
121. Writing Good Software Engineering Research Paper · Mary Shaw
122. XVCL: XML-based Variant Configuration Language · Stan Jarzabek, Paul Bassett, Hongyu Zhang, Weishan Zhang
123. \chiChek: A Model Checker for Multi-Valued Reasoning · Steve M. Easterbrook, Marsha Chechik, Benet Devereux, Arie Gurfinkel, Albert Y. C. Lai, Victor Petrovykh + 2 more
124. eXtreme Programming at Universities - An Educational Perspective · Jean-Guy Schneider, Lorraine Johnston