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

ICSE 2000

154 papers

  1. 3rd workshop on software engineering over the Internet · Frank Maurer
  2. A case study in root cause defect analysis · Marek Leszak, Dewayne E. Perry, Dieter Stoll
  3. A case study of open source software development: the Apache server · Audris Mockus, Roy T. Fielding, James D. Herbsleb
  4. A case study: demands on component-based development · Ivica Crnkovic, Magnus Larsson
  5. A culture-centered multilevel software process cycle model (poster) · Silvia Teresita Acuña, Graciela Elisa Barchini, Mabel del V. Sosa
  6. A formal approach for designing CORBA based applications · Matteo Pradella, Matteo Rossi, Dino Mandrioli, Alberto Coen-Porisini
  7. A logical framework for design composition · Jing Dong
  8. A replicated assessment and comparison of common software cost modeling techniques · Lionel C. Briand, Tristen Langley, Isabella Wieczorek
  9. A software engineering approach and tool set for developing Internet applications · David A. Marca, Beth A. Perdue
  10. A study on exception detecton and handling using aspect-oriented programming · Martin Lippert, Cristina Videira Lopes
  11. Achieving industrial relevance with academic excellence: lessons from the Oregon Master of Software engineering · Stuart R. Faulk
  12. Action Language: a specification language for model checking reactive systems · Tevfik Bultan
  13. Advanced visual modeling (tutorial session): beyond UML · Joseph Gil, John Howse, Stuart Kent
  14. Agent-oriented software engineering (workshop) · Paolo Ciancarini, Michael J. Wooldridge
  15. Alcoa: the alloy constraint analyzer · Daniel Jackson, Ian Schechter, Ilya Shlyakhter
  16. Algorithmic cost estimation for software evolution · Juan F. Ramil
  17. An approach to architectural analysis of product lines · Gerald C. Gannod, Robyn R. Lutz
  18. An empirical study of regression test application frequency · Jung-Min Kim, Adam A. Porter, Gregg Rothermel
  19. An evaluation of the paired comparisons method for software sizing · Eduardo Miranda
  20. An inheritance-based technique for building simulation proofs incrementally · Idit Keidar, Roger Khazan, Nancy A. Lynch, Alexander A. Shvartsman
  21. An integrated cost model for software reuse · Ali Mili, Senta Fowler Chmiel, Ravi Gottumukkala, Lisa Zhang
  22. An interactive multimedia software house simulation for postgraduate software engineers · Helen Sharp, Pat Hall
  23. An overview of the ICSE 2000 workshop program · Antonia Bertolino, Gail C. Murphy
  24. Analyzing software architectures with Argus-I · Marlon E. R. Vieira, Marcio S. Dias, Debra J. Richardson
  25. Applying and adjusting a software process improvement model in practice: the use of the IDEAL model in a small software enterprise · Karlheinz Kautz, Henrik Westergaard Hansen, Kim Thaysen
  26. As strong as possible mobility (poster) · Tim Walsh, Paddy Nixon, Simon A. Dobson
  27. Automated refactoring to introduce design patterns · Mel Ó Cinnéide
  28. Bandera: a source-level interface for model checking Java programs · James C. Corbett, Matthew B. Dwyer, John Hatcliff, Robby
  29. Bandera: extracting finite-state models from Java source code · James C. Corbett, Matthew B. Dwyer, John Hatcliff, Shawn Laubach, Corina S. Pasareanu, Robby + 1 more
  30. Beg, borrow, or steal (workshop session): using multidisciplinary approaches in empirical software engineering research · Janice Singer, Margaret-Anne D. Storey, Susan Elliott Sim
  31. Broad-spectrum studies of log file analysis · James H. Andrews, Yingjun Zhang
  32. Building modular object-oriented systems with reusable collaborations (tutorial session) · Karl J. Lieberherr, David H. Lorenz, Mira Mezini
  33. COTS Workshop: continuing collaborations for successful COTS development · John C. Dean
  34. Can quality graduate software engineering courses really be delivered asynchronously on-line? · Stephen Edwards
  35. Characterization of risky projects based on project managers' evaluation · Osamu Mizuno, Tohru Kikuno, Yasunari Takagi, Keishi Sakamoto
  36. Characterizing implicit information during peer review meetings · Patrick d'Astous, Pierre N. Robillard
  37. Component composition (poster) · Bart Michiels, Bart Wydaeghe
  38. Component design of retargetable program analysis tools that reuse intermediate representations · James Hayes, William G. Griswold, Stuart Moskovics
  39. Component-based software engineering and the issue of trust · George T. Heineman, William T. Councill, Janet S. Flynt, Alok Mehta, John R. Speed, Mary Shaw
  40. Contribution to simplifying the mobile agent programming · Marek Paralic
  41. Daily build and feature development in large distributed projects · Even-André Karlsson, Lars-Göran Andersson, Per Leion
  42. Data mining library reuse patterns using generalized association rules · Amir Michail
  43. DeBOT - an approach for constructing high performance, scalable distributed object systems (poster) · Anna Liu
  44. Deriving test plans from architectural descriptions · Antonia Bertolino, Flavio Corradini, Paola Inverardi, Henry Muccini
  45. Design, specification, and verification of interactive systems (workshop session) · Philippe A. Palanque, Fabio Paternò
  46. Designing and analyzing software architectures using ABASs (tutorial session) · Rick Kazman, Mark Klein
  47. Designing real-time and distributed applications with the UML (tutorial session) · Hassan Gomaa
  48. Developing and deploying software engineering courseware in an adaptable curriculum framework · W. Richards Adroin
  49. Developing mobile computing applications with LIME · Gian Pietro Picco, Amy L. Murphy, Gruia-Catalin Roman
  50. Dot com versus bricks and mortar - the impact of portal technology (abstract of invited presentation) · Chris Horn
  51. Dragonfly: linking conceptual and implementation architectures of multiuser interactive systems · Gary E. Anderson, T. C. Nicholas Graham, Timothy N. Wright
  52. E-Slate: a software architectural style for end-user programming · George Birbilis, Manolis Koutlis, Kriton Kyrimis, George Tsironis, George Vasiliou
  53. Effort estimation from change records of evolving software (poster) · Juan F. Ramil, M. M. Lehman
  54. Empirical investigation of a novel approach to check the integrity of software engineering measuring processes (poster) · Skylar Lei, Michael R. Smith, Giancarlo Succi
  55. Estimating software fault-proneness for tuning testing activities · Giovanni Denaro
  56. European experiences with software process improvement · Fran O'Hara
  57. Exploring O-O framework usage (poster) · Garry Froehlich, Amr Kamel, Paul G. Sorenson
  58. Extending requirement specifications using analogy · Yusuf Pisan
  59. Fault tolerance via diversity against design faults (tutorial session): design principles and reliability assessment · Bev Littlewood, Lorenzo Strigini
  60. Formal verification applied to Java concurrent software · Radu Iosif
  61. Fraunhofer: the German model for applied research and technology transfer · H. Dieter Rombach
  62. From MCC and CMM: technology transfers bright and dim · Bill Curtis
  63. From research to reward: challenges in technology transfer · Adrian M. Colyer
  64. Galileo: a tool built from mass-market applications · David Coppit, Kevin J. Sullivan
  65. Generating statechart designs from scenarios · Jon Whittle, Johann Schumann
  66. Graphical animation of behavior models · Jeff Magee, Nat Pryce, Dimitra Giannakopoulou, Jeff Kramer
  67. Grow fast, grow global: how the Irish software industry evolved to this business model · Barry Murphy
  68. High-integrity code generation for state-based formalisms · Michael W. Whalen
  69. Holmes: a system to support software product lines · Giancarlo Succi, Jason Yip, Eric Liu, Witold Pedrycz
  70. Hybrid domain representation archive (HyDRA) for requirements model synthesis across viewpoints (poster) · K. Suzanne Barber, Stephen R. Jernigan
  71. Hyper/J: multi-dimensional separation of concerns for Java · Harold Ossher, Peri L. Tarr
  72. Implementing incremental code migration with XML · Wolfgang Emmerich, Cecilia Mascolo, Anthony Finkelstein
  73. Improvement of a configuration management system · Frank Titze
  74. Improving design and source code modularity using AspectJ (tutorial session) · Cristina Videira Lopes, Gregor Kiczales
  75. Improving problem-oriented mailing list archives with MCS · Robert S. Brewer
  76. Improving software inspections by using reading techniques (tutorial session) · Victor R. Basili, Oliver Laitenberger, Forrest Shull, Ioana Rus
  77. Inference of message sequence charts · Rajeev Alur, Kousha Etessami, Mihalis Yannakakis
  78. Integrating UML diagrams for production control systems · Hans J. Köhler, Ulrich Nickel, Jörg Niere, Albert Zündorf
  79. Intellectual property protection for software in the United States and Europe (tutorial session): the changing roles of patents and copyrights · Gregory J. Kirsch, Yannis Skulikaris
  80. Introducng a software modeling concept in a medium-sized company · Klaus Schmid, Ulrike Becker-Kornstaedt, Peter Knauber, Florian Bernauer
  81. Introduction to CORBA (tutorial session) · Steve Vinoski
  82. Investigating and improving a COTS-based software development · Maurizio Morisio, Carolyn B. Seaman, Amy T. Parra, Victor R. Basili, Steve E. Kraft, Steven E. Condon
  83. Is software education narrow-minded? A position paper · Peter Morrogh
  84. Is the new economy socially sustainable? (abstract of invited presentation) · Manuel Castells
  85. It's engineering Jim ... but not as we know it: software engineering - solution to the software crisis, or part of the problem? · Antony Bryant
  86. LIGHTVIEWS - visual interactive Internet environment for learning OO software testing · Sita Ramakrishnan
  87. Legacy systems migration in CelLEST · Eleni Stroulia, Mohammad El-Ramly, Paul G. Sorenson, Roland Penner
  88. Lessons learned from teaching reflective software engineering using the Leap toolkit · Carleton A. Moore
  89. Light-weight context recovery for efficient and accurate program analyses · Donglin Liang, Mary Jean Harrold
  90. Little-JIL/Juliette: a process definition language and interpreter · Aaron G. Cass, Barbara Staudt Lerner, Stanley M. Sutton Jr., Eric K. McCall, Alexander E. Wise, Leon J. Osterweil
  91. Managing software artifacts on the Web with Labyrinth · Fabiano Cattaneo, Elisabetta Di Nitto, Alfonso Fuggetta, Luigi Lavazza, Giuseppe Valetto
  92. Modeling deployment and configuration of CORBA systems with UML (poster) · Alan D. Sloane
  93. Moving from ISO9000 to higher levels of the CMM (tutorial session) · Pankaj Jalote
  94. Multibook's test environment · Nathalie Poerwantoro, Abdulmotaleb El Saddik, Bernd J. Krämer, Ralf Steinmetz
  95. Multiple mass-market applications as components · David Coppit, Kevin J. Sullivan
  96. Multivariate visualization in observation-based testing · David Leon, Andy Podgurski, Lee J. White
  97. Object model resurrection - an object oriented maintenance activity · Gokul V. Subramaniam
  98. Object-oriented inspection in the face of delocalisation · Alastair Dunsmore, Marc Roper, Murray Wood
  99. PPT: a COTS integration case study · L. David Balk, Ann Kedia
  100. Planning realistic schedules using software architecture (tutorial session) · Robert L. Nord, Daniel J. Paulish, Dilip Soni
  101. Platform-independent and tool-neutral test descriptions for automated software testing · Chang Liu
  102. Principled design of the modern Web architecture · Roy T. Fielding, Richard N. Taylor
  103. Process engineering with SpearmintTM/EPG · Ulrike Becker-Kornstaedt, Louise Scott, Jörg Zettel
  104. Producing more reliable software: mature software engineering process vs. state-of-the-art technology? · James C. Widmaier
  105. Product-line architectures, aspects, and reuse (tutorial session) · Don S. Batory
  106. Prompter - a project planning assistant · Rory O'Connor, Robert Cochran, Tony Moynihan
  107. Quickly detecting relevant program invariants · Michael D. Ernst, Adam Czeisler, William G. Griswold, David Notkin
  108. Requirements engineering for product families · Juha Kuusela, Juha Savolainen
  109. Requirements engineering in the year 00: a research perspective · Axel van Lamsweerde
  110. Scalability issues in CORBA-based systems (tutorial session) · Steve Vinoski
  111. Second ICSE Workshop on Web Engineering · San Murugesan, Yogesh Deshpande
  112. Shortages of qualified software engineering faculty and practitioners (panel session): challenges in breaking the cycle · Nancy R. Mead, Hossein Saiedian, Günther Ruhe, Donald J. Bagert, Helen M. Edwards, Michael Ryan
  113. Simulation in software engineering training · Anke Drappa, Jochen Ludewig
  114. Software development engineer in Microsoft: a subjective view of soft skills required · Martin Orsted
  115. Software evolution in componentware using requirements/assurances contracts · Andreas Rausch
  116. Software needs engineering: a position paper · Jane Grimson, Hans-Jürgen Kugler
  117. Software process improvement (tutorial session): best practices and lessons learned · Bill Curtis
  118. Software process improvement by object technology (ESSI PIE 27785 -- SPOT) · Antonio Caliò, Massimo Autiero, Giuseppe Bux
  119. Software product lines: economics, architectures, and applications (workshop) · Peter Knauber, Giancarlo Succi
  120. Software reliability (tutorial session): basic concepts and assessment methods · Bev Littlewood, Lorenzo Strigini
  121. Specifying and measuring quality in use (tutorial session) · Nigel Bevan
  122. Spontaneous software: a Web-based, object computing paradigm · Glêdson Elias da Silveira
  123. Supporting diversity with component frameworks as architectural elements · Jan Gerben Wijnstra
  124. Supporting dynamic composition of components · Giancarlo Succi, Raymond Wong, Eric Liu, Michael R. Smith
  125. Supporting dynamic distributed work processes with a component and event based approach · Peter J. Kammer
  126. System development using application services over the Net (tutorial session) · Kenji Takahashi, Wolfgang Emmerich, Anthony Finkelstein, Sofia Guerra
  127. Technology transfer macro-process: a practical guide for the effective introduction of technology · Tetsuto Nishiyama, Kunihiko Ikeda, Toru Niwa
  128. Testing levels for object-oriented software · Yvan Labiche, Pascale Thévenod-Fosse, Hélène Waeselynck, M.-H. Durand
  129. The 2nd International Workshop on Economics-Driven Software Engineering Research · Kevin J. Sullivan
  130. The FUJABA environment · Ulrich Nickel, Jörg Niere, Albert Zündorf
  131. The First International Workshop on Automated Program Analysis, Testing and Verification · Nigel Tracey, John Penix, Willem Visser
  132. The ICSE2000 doctoral workshop · Jeff Magee, Mauro Pezzè
  133. The Second International Symposium on Constructing Software Engineering Tools (CoSET2000) · Jonathan Gray, Louise Scott, Ian Ferguson
  134. The future of software (abstract of invited presentation) · Grady Booch
  135. The implication of different learning styles on the modeling of object-oriented systems (poster) · Lynda Thomas
  136. The making of Orbix and the iPortal suite · Seán Baker
  137. The use of task analysis methods in support of the development of interactive systems (poster) · Yousef H. Daabaj
  138. Third eye - specification-based analysis of software execution traces (poster) · Raimondas Lencevicius, Alexander Ran, Rahav Yairi
  139. Three approximation techniques for ASTRAL symbolic model checking of infinite state real-time systems · Zhe Dang, Richard A. Kemmerer
  140. Towards a taxonomy of software connectors · Nikunj R. Mehta, Nenad Medvidovic, Sandeep Phadke
  141. Towards the principled design of software engineering diagrams · Corin A. Gurr, Konstantinos Tourlas
  142. Tracking, predicting and assessing software reuse costs: an automated tool · Ali Mili, Senta Fowler Chmiel, Ravi Gottumukkala, Lisa Zhang
  143. Twenty dirty tricks to train software engineers · Ray Dawson
  144. Understanding code mobility (tutorial session) · Gian Pietro Picco
  145. Using application states in software testing (poster) · Chang Liu, Debra J. Richardson
  146. Verification of time partitioning in the DEOS scheduler kernel · John Penix, Willem Visser, Eric Engstrom, Aaron Larson, Nicholas Weininger
  147. Visualizing software release histories with 3DSoftVis · Claudio Riva
  148. WISE3: the Third International Workshop on Intelligent Software Engineering (workshop session) · Tim Menzies
  149. WYSIWYT testing in the spreadsheet paradigm: an empirical evaluation · Karen J. Rothermel, Curtis R. Cook, Margaret M. Burnett, Justin Schonfeld, Thomas R. G. Green, Gregg Rothermel
  150. When the project absolutely must get done: marrying the organization chart with the precedence diagram · Stan Rifkin
  151. Who needs doctors? (abstract of panel session) · Jeff Magee
  152. Why don't we get more (self?) respect: the positive impact of software engineering research upon practice · Leon J. Osterweil, Barry W. Boehm, Michael Evangelist, Volker Gruhn, Jeff Kramer, Edward F. Miller
  153. Workshop on multi-dimensional separation of concerns in software engineering · Peri L. Tarr, William H. Harrison, Harold Ossher, Anthony Finkelstein, Bashar Nuseibeh, Dewayne E. Perry
  154. Workshop on standard exchange format (WoSEF) · Susan Elliott Sim, Richard C. Holt, Rainer Koschke