kirancodes.me
To Proof Maintenance & Beyond!
Venues / ICSE /

ICSE 2001

134 papers

  1. "Tolerating Inconsistency" Revisited · Robert Balzer
  2. 1st Workshop on Open Source Software Engineering · Joseph Feller, Brian Fitzgerald, André van der Hoek
  3. 2nd International Workshop on Living with Inconsistency · Steve M. Easterbrook, Marsha Chechik
  4. 3rd International Workshop on Net-Centric Computing (NCC 2001): Theme: Migrating to the Web · Jens H. Jahnke, Kostas Kontogiannis, Eleni Stroulia, Scott R. Tilley, Kenny Wong
  5. 4th ICSE Workshop on "Software Engineering over the Internet" · Frank Maurer
  6. 4th ICSE Workshop on Component-Based Software Engineering: Component Certification and System Prediction · Ivica Crnkovic, Heinz W. Schmidt, Judith A. Stafford, Kurt C. Wallnau
  7. A Case Study of the Evolution of Jun: An Object-Oriented Open-Source 3D Multimedia Library · Atsushi Aoki, Kaoru Hayashi, Kouichi Kishida, Kumiyo Nakakoji, Yoshiyuki Nishinaka, Brent Reeves + 2 more
  8. A Component-Based Approach to Building Formal Analysis Tools · Kurt Stirewalt, Laura K. Dillon
  9. A Formal Approach to Component-Based Software Engineering: Education and Evaluation · Murali Sitaraman, Timothy J. Long, Bruce W. Weide, E. James Harner, Liqing Wang
  10. A Framework for Multi-Valued Reasoning over Inconsistent Viewpoints · Steve M. Easterbrook, Marsha Chechik
  11. A General Framework for Formalizing UML with Formal Languages · William E. McUmber, Betty H. C. Cheng
  12. A Scalable Formal Method for Design and Automatic Checking of User Interfaces · Jean Berstel, Stefano Crespi Reghizzi, Gilles Roussel, Pierluigi San Pietro
  13. A Scenario-Driven Approach to Traceability · Alexander Egyed
  14. A Web-Oriented Architectural Aspect for the Emerging Computational Tapestry · Kevin J. Sullivan, Avneesh Saxena
  15. A Workbench for Synthesising Behaviour Models from Scenarios · Sebastián Uchitel, Jeff Kramer
  16. Academic Software Engineering: What Is and What Could Be? Results of the First Annual Survey for International SE Programs · Kenneth L. Modesitt, Donald J. Bagert, Laurie Honour Werth
  17. Adaptive Feedback Scheduling of Incremental and Design-to-Time Tasks · Peter H. Feiler, John J. Walker
  18. An Architecture for Heterogeneous Groupware Applications · Ivan Marsic
  19. An Efficient Set of Software Degree Programs for One Domain · Terry Shepard
  20. An Empirical Study of Global Software Development: Distance and Speed · James D. Herbsleb, Audris Mockus, Thomas A. Finholt, Rebecca E. Grinter
  21. An Explorative Journey from Architectural Tests Definition downto Code Tests Execution · Antonia Bertolino, Paola Inverardi, Henry Muccini
  22. An Introduction to Java 2 Micro Edition (J2ME); Java in Small Things · James White
  23. Analysis and Testing of Web Applications · Filippo Ricca, Paolo Tonella
  24. Applying WinWin to Quality Requirements: A Case Study · Hoh In, Barry W. Boehm, Thomas Lee Rodgers, Michael Deutsch
  25. Architecture-Oriented Programming Using FRED · Markku Hakala, Juha Hautamäki, Kai Koskimies, Jukka Paakki, Antti Viljamaa, Jukka Viljamaa
  26. Babel: Representing Business Rules in XML for Application Integration · Huaxin Zhang, Eleni Stroulia
  27. Bridging the Requirements/Design Gap in Dynamic Systems with Use Case Maps (UCMs) · Daniel Amyot, Gunter Mussbacher
  28. Case Study: Extreme Programming in a University Environment · Matthias M. Müller, Walter F. Tichy
  29. CodeWeb: Data Mining Library Reuse Patterns · Amir Michail
  30. Commitment Development in Software Process Improvement: Critical Misconceptions · Pekka Abrahamsson
  31. Comparing Frameworks and Layered Refinement · Richard Cardone, Calvin Lin
  32. Composition Patterns: An Approach to Designing Reusable Aspects · Siobhán Clarke, Robert J. Walker
  33. Conceptual Modeling through Linguistic Analysis Using LIDA · Scott P. Overmyer, Benoit Lavoie, Owen Rambow
  34. Consistent Group Membership in Ad Hoc Networks · Gruia-Catalin Roman, Qingfeng Huang, Ali Hazemi
  35. Corrective Maintenance Maturity Model (CM3): Maintainer's Education and Training · Mira Kajko-Mattsson, Stefan Forssander, Ulf H. Olsson
  36. David L. Parnas Symposium · Daniel Hoffman, David M. Weiss
  37. Describing Software Architecture with UML · Philippe Kruchten, Bran Selic, Wojtek Kozaczynski
  38. Describing Software Architecture with UML · Philippe Kruchten, Bran Selic, Wojtek Kozaczynski, Grant Larsen, Alan W. Brown
  39. Design and Evaluation of the Mobile Agent Architecture for Distributed Consistency Management · Danila Stanislavovich Smolko
  40. Designing Components Versus Objects: A Transformational Approach · David H. Lorenz, John M. Vlissides
  41. Designing Concurrent, Distributed, and Real-Time Applications with UML · Hassan Gomaa
  42. Dynamic and Selective Combination of Extensions in Component-Based Applications · Eddy Truyen, Bart Vanhaute, Wouter Joosen, Pierre Verbaeten, Bo Nørregaard Jørgensen
  43. ECSE Workshop on Software Visualization · Wim De Pauw, Steven P. Reiss, John T. Stasko
  44. EasyWinWin: A Groupware-Supported Nethodology for Requirements Negotiation · Barry W. Boehm, Paul Grünbacher, Robert O. Briggs
  45. Educating Software Engineering Students to Manage Risk · Barry W. Boehm, Daniel Port
  46. Effective Software Architecture Design: From Global Analysis to UML Descriptions · Robert L. Nord, Daniel J. Paulish, Dilip Soni, Christine Hofmeister
  47. Efficient Filtering in Publish-Subscribe Systems Using Binary Decision · Alexis Campailla, Sagar Chaki, Edmund M. Clarke, Somesh Jha, Helmut Veith
  48. Encoding Program Executions · Steven P. Reiss, Manos Renieris
  49. Engineering Mobile-Agent Applications via Context-Dependent Coordination · Giacomo Cabri, Letizia Leonardi, Franco Zambonelli
  50. Enterprise JavaBean Architecture and Design Issues · James White
  51. Evaluating the Accuracy of Defect Estimation Models Based on Inspection Data from Two Inspection Cycles · Stefan Biffl, Wilfried Grossmann
  52. Evaluating the Reverse Engineering Capabilities of Web Tools for Understanding Site Content and Structure: A Case Study · Scott R. Tilley, Shihong Huang
  53. Evolving Legacy Systems Using Feature Engineering and CBSE · Alok Mehta
  54. Exploiting the Map Metaphor in a Tool for Software Evolution · William G. Griswold, Jimmy J. Yuan, Yoshikiyo Kato
  55. Fast Formal Analysis of Requirements via "Topoi Diagrams" · Tim Menzies, John D. Powell, Michael E. Houle
  56. Finding Failures by Cluster Analysis of Execution Profiles · William Dickinson, David Leon, Andy Podgurski
  57. From Software Requirements to Architectures · Jaelson Castro, Jeff Kramer
  58. From UML to Java, Building a 3-Tier Architecture: Case Study · Timothy D. Korson
  59. From Use Cases to Code - Rigorous Software Development with UML · Albert Zündorf
  60. Functional Paleontology: System Evolution as the User Sees It · Annie I. Antón, Colin Potts
  61. Generating Wrappers for Command Line Programs: The Cal-Aggie Wrap-O-Matic Project · Eric Wohlstadter, Stoney Jackson, Premkumar T. Devanbu
  62. Generative Techniques for Product Lines · Gregory Butler, Don S. Batory, Krzysztof Czarnecki, Ulrich W. Eisenecker
  63. Holmes: An Intelligent System to Support Software Product Line Development · Giancarlo Succi, Jason Yip, Witold Pedrycz
  64. How to Do Inspections When There is No Time · Terry Shepard, Diane Kelly
  65. Hyper/JTM: Multi-Dimensional Separation of Concerns for JavaTM · Harold Ossher, Peri L. Tarr
  66. Hyper/JTM: Multi-Dimensional Separation of Concerns for JavaTM · Peri L. Tarr, Harold Ossher
  67. Impact Project Panel: Determining the Impact of Software Engineering Research Upon Practice · Leon J. Osterweil
  68. Improving Software Inspections by Using Reading Techniques · Forrest Shull, Ioana Rus, Victor R. Basili
  69. Improving Validation Activities in a Global Software Development · Christof Ebert, Casimiro Hernandez Parro, Roland Suttels, Harald Kolarczyk
  70. Incorporating Varying Test Costs and Fault Severities into Test Case Prioritization · Sebastian G. Elbaum, Alexey G. Malishevsky, Gregg Rothermel
  71. Introduction to the Attribute Driven Design Method · Felix Bachmann, Leonard J. Bass
  72. Investigating the Cost-Effectiveness of Reinspections in Software Development · Stefan Biffl, Bernd G. Freimut, Oliver Laitenberger
  73. JMOCHA: A Model Checking Tool that Exploits Design Structure · Rajeev Alur, Luca de Alfaro, Radu Grosu, Thomas A. Henzinger, M. Kang, Christoph M. Kirsch + 3 more
  74. Leightweight Analysis of Operational Specifications Using Inference Graphs · Laura K. Dillon, Kurt Stirewalt
  75. MAS - An Interactive Synthesizer to Support Behavioral Modeling in UML · Erkki Mäkinen, Tarja Systä
  76. Maintenance Support Tools for JAVA Programs: CCFinder and JAAT · Toshihiro Kamiya, Fumiaki Ohata, Kazuhiro Kondou, Shinji Kusumoto, Katsuro Inoue
  77. Methods of Component-Based Software Engineering: Essential Concepts and Classroom Experience · Kurt C. Wallnau
  78. Mining Components for a Software Architecture and a Product Line: the Options Analysis for Reengineering (OAR) Method · Dennis B. Smith, Liam O'Brien, John Bergey
  79. Model Checking Distributd Objects Design · Nima Kaveh
  80. Model Processing Tools in UML · Johannes Koskinen, Jari Peltonen, Petri Selonen, Tarja Systä, Kai Koskimies
  81. Modeling and Controlling the Software Test Process · João W. Cangussu
  82. New Software Engineering Faculty Symposium · Leon J. Osterweil, Gabriel M. Silberman, Kenny Wong
  83. OPEN: A Flexible OO/CBD Process for Software-Intensive Systems Development, a UML Exposition · Houman Younessi, Brian Henderson-Sellers
  84. On the Syllogistic Structure of Object-Oriented Programming · Derek Rayside, Kostas Kontogiannis
  85. Panel: Perspectives on Software Engineering · David Notkin, Marc Donner, Michael D. Ernst, Michael M. Gorlick, E. James Whitehead Jr.
  86. Process-Centered Software Engineering Environments: Academic and Industrial Perspectives · Robert Balzer, Volker Gruhn
  87. Quantifying the Costs and Benefits of Architectural Decisions · Rick Kazman, Jai Asundi, Mark Klein
  88. Reengineering Analysis of Object-Oriented Systems via Duplication · Fabrizio Fioravanti, G. Migliarese, Paolo Nesi
  89. Reuse That Pays · Linda M. Northrop
  90. Reuse of Verificatino Efforts and Incomplete Specifications in a Formalized, Iterative and Incremental Software Process · Rebeca P. Díaz Redondo, José Juan Pazos-Arias
  91. SCM-10: Tenth International Workshop on Software Configuration Management. New Practices, New Challenges, and New Boundaries · André van der Hoek
  92. SEMINAL: Software Engineering Using Metaheuristic INnovative Algorithms · Mark Harman, Bryan F. Jones
  93. Scientific Rigour, an Answer to a Pragmatic Question: A Linguistic Framework for Software Engineering · Armando Martin Haeberer, T. S. E. Maibaum
  94. Second ICSE Workshop on Software Product Lines: Economics, Architectures, and Applications · Peter Knauber, Giancarlo Succi
  95. Separating Features in Source Code: An Exploratory Study · Gail C. Murphy, Albert Lai, Robert J. Walker, Martin P. Robillard
  96. Software Engineering Body of Knowledge (SWEBOK) · Peter Freeman, Donald J. Bagert, Hossein Saiedian, Mary Shaw, Robert Dupuis, J. Barrie Thompson
  97. Software Engineering Challenges: A CIO's Perspective · Bernd Voigt
  98. Software Engineering Research Agendas Panel (SERA): What Can't We Do, But Need to Learn How to Do? · H. Dieter Rombach, Manfred Broy, Michael Evangelist, Ali Mili, Leon J. Osterweil, David Lorge Parnas
  99. Software Engineering and the Internet · Daniel Sabbah
  100. Software Product Lines and Software Architecture Design · Jan Bosch
  101. Software Product Lines: Organizational Alternatives · Jan Bosch
  102. Specification and Modeling: An Academic Perspective · Manfred Broy
  103. Specification and Modeling: An Industrial Perspective · Bran Selic
  104. State, Event, Time and Diagram in System Modeling · Jin Song Dong
  105. Static Checking of Interrupt-Driven Software · Dennis Brylow, Niels Damgaard, Jens Palsberg
  106. Supporting Program Comprehension Using Semantic and Structural Information · Jonathan I. Maletic, Andrian Marcus
  107. Supporting the Deployment of Object-Oriented Frameworks · Daqing Hou
  108. Survivability Analysis of Network Systems · Somesh Jha, Jeannette M. Wing
  109. Systematic Object-Oriented Inspection - An Emprirical Study · Alastair Dunsmore, Marc Roper, Murray Wood
  110. TIGRA - An Architectural Style for Enterprise Application Integration · Wolfgang Emmerich, Ernst Ellmer, Henry Fieglein
  111. The Coming-of-Age of Software Architecture Research · Mary Shaw
  112. The Intertwining Between Risk and Project Management · Karol Frühauf
  113. The Right Algorithm at the Right Time: Comparing Data Flow Analysis Algorithms for Finite State Verification · Jamieson M. Cobleigh, Lori A. Clarke, Leon J. Osterweil
  114. The Second International Workshop on Automated Program Analysis, Testing and Verification · Nigel Tracey, John Penix, Willem Visser
  115. The Software Factory: Combining Undergraduate Computer Science and Software Engineering Education · John D. Tvedt, Roseanne Tesoriero, Kevin A. Gary
  116. The Specification and Testing of Quantified Progress Properties in Distributed Systems · Prakash Krishnamurthy, Paolo A. G. Sivilotti
  117. Theory of Software Reliability Based on Components · Richard G. Hamlet, David V. Mason, Denise M. Woit
  118. Third International Workshop on Economics-Driven Software Engineering Research · Kevin J. Sullivan, Mary Shaw, Barry W. Boehm, David Notkin, Warren Harrison
  119. Tool-Supported Program Abstraction for Finite-State Verification · Matthew B. Dwyer, John Hatcliff, Roby Joehanes, Shawn Laubach, Corina S. Pasareanu, Robby + 2 more
  120. Traceability for System Families · Detlef Streitferdt
  121. Tutorial on Fundamental Concepts for Practical Software Architecture · Alexander Ran
  122. UML for Software Engineers · Robert B. France, Cris Kobryn
  123. Understanding IV & V in a Safety Critical and Complex Evolutionary Environment: The NASA Space Shuttle Program · Marvin V. Zelkowitz, Ioana Rus
  124. Using OCL-Queries for Debugging C++ · Chanika Hobatr, Brian A. Malloy
  125. Using Software Component Generators to Contstruct a Meta-Weaver Framework · Jeff Gray
  126. Using Transformation Systems for Software Maintenance and Reengineering · Ira D. Baxter
  127. Using the Web for Document Versioning: An Implementation Report for Delta V · James J. Hunt, Jürgen Reuter
  128. Visualizaiton an Interpretation of Analysis Results within the Context of Formalized UML Diagrams · Laura A. Campbell
  129. Web Engineering Device Independent Web Services · Engin Kirda
  130. Workshop on Advanced Separation of Concerns in Software Engineering · Peri L. Tarr, Harold Ossher
  131. Workshop on Software Engineering and Mobility · Gruia-Catalin Roman, Gian Pietro Picco
  132. Workshop to Consider Global Aspects of Software Engineering Professionalism · J. Barrie Thompson, Helen M. Edwards
  133. XAS: A System for Accessing Componentized, Virtual XML Documents · Ming-Ling Lo, Shyh-Kwei Chen, Sriram Padmanabhan, Jen-Yao Chung
  134. XML Technologies and Software Engineering · Cecilia Mascolo, Wolfgang Emmerich, Anthony Finkelstein