24. ICSE 2002: Orlanda, FL, USA

Invited Presentations

• Donald Feinberg:
  Transforming and extending the enterprise through IT. 3
  
• Donna H. Rhodes:
  Systems engineering: an essential engineering discipline for the 21st century. 4
  
• Robert Balzer:
  Living with COTS. 5
  

Software Specification

• Rachel L. Smith, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil:
  PROPEL: an approach supporting property elucidation. 11-21
  
• C. Murray Woodside, Dorin Bogdan Petriu, Khalid H. Siddiqui:
  Performance-related completions for software specifications. 22-32
  
• Marc K. Zimmerman, Kristina Lundqvist, Nancy G. Leveson:
  Investigating the readability of state-based formal requirements specification languages. 33-43
  

Empirical Methods

• Alastair Dunsmore, Marc Roper, Murray Wood:
  Further investigations into the development and evaluation of reading techniques for object-oriented code inspection. 47-57
  
• Frank Padberg:
  Empirical interval estimates for the defect content after an inspection. 58-68
  
• Victor R. Basili, Frank E. McGarry, Rose Pajerski, Marvin V. Zelkowitz:
  Lessons learned from 25 years of process improvement: the rise and fall of the NASA software engineering laboratory. 69-79
  

Requirements Engineering

• Emmanuel Letier, Axel van Lamsweerde:
  Agent-based tactics for goal-oriented requirements elaboration. 83-93
  
• Andrés Silva:
  Requirements, domain and specifications: a viewpoint-based approach to requirements engineering. 94-104
  
• Jan Hendrik Hausmann, Reiko Heckel, Gabriele Taentzer:
  Detection of conflicting functional requirements in a use case-driven approach: a static analysis technique based on graph transformation. 105-115
  

Software Testing

• Jung-Min Kim, Adam A. Porter:
  A history-based test prioritization technique for regression testing in resource constrained environments. 119-129
  
• Gregg Rothermel, Sebastian G. Elbaum, Alexey G. Malishevsky, Praveen Kallakuri, Brian Davia:
  The impact of test suite granularity on the cost-effectiveness of regression testing. 130-140
  
• Marc Fisher II, Mingming Cao, Gregg Rothermel, Curtis R. Cook, Margaret M. Burnett:
  Automated test case generation for spreadsheets. 141-153
  

Software Process

• Elisabetta Di Nitto, Luigi Lavazza, Marco Schiavoni, Emma Tracanella, Michele Trombetta:
  Deriving executable process descriptions from UML. 155-165
  
• Rik Eshuis, Roel Wieringa:
  Verification support for workflow design with UML activity graphs. 166-176
  
• Jamie Dinkelacker, Pankaj K. Garg, Rob Miller, Dean Nelson:
  Progressive open source. 177-184
  

Architecture and Implementation

• Jonathan Aldrich, Craig Chambers, David Notkin:
  ArchJava: connecting software architecture to implementation. 187-197
  
• Vugranam C. Sreedhar:
  Mixin Up components. 198-207
  
• Eric Eide, Alastair Reid, John Regehr, Jay Lepreau:
  Static and dynamic structure in design patterns. 208-218
  

Software Evaluation

• David M. Weiss, David Bennett, John Y. Payseur, Patrick Tendick, Ping Zhang:
  Goal-oriented software assessment. 221-231
  
• Shawn A. Butler:
  Security attribute evaluation method: a cost-benefit approach. 232-240
  
• Giovanni Denaro, Mauro Pezzè:
  An empirical evaluation of fault-proneness models. 241-251
  

Software Architecture

• Rob C. van Ommering:
  Building product populations with sofware components. 255-265
  
• Eric M. Dashofy, André van der Hoek, Richard N. Taylor:
  An infrastructure for the rapid development of XML-based architecture description languages. 266-276
  
• Paul T. Graunke, Shriram Krishnamurthi:
  Advanced control flows for flexible graphical user interfaces: or, growing GUIs on trees or, bookmarking GUIs. 277-287
  

Dynamic Program Analysis

• Sudheendra Hangal, Monica S. Lam:
  Tracking down software bugs using automatic anomaly detection. 291-301
  
• Orna Raz, Philip Koopman, Mary Shaw:
  Semantic anomaly detection in online data sources. 302-312
  
• Brian Demsky, Martin C. Rinard:
  Role-based exploration of object-oriented programs. 313-334
  

Design Recovery

• Amir Michail:
  Browsing and searching source code of applications written using a GUIframework. 327-337
  
• Jörg Niere, Wilhelm Schäfer, Jörg P. Wadsack, Lothar Wendehals, Jim Welsh:
  Towards pattern-based design recovery. 338-348
  
• Ahmed E. Hassan, Richard C. Holt:
  Architecture recovery of web applications. 349-359
  

Mobile and Distributed Computing

• Gruia-Catalin Roman, Christine Julien, Qingfeng Huang:
  Network abstractions for context-aware mobile computing. 363-373
  
• Yaron Weinsberg, Israel Ben-Shaul:
  A programming model and system for disconnected-aware applications on resource-constrained devices. 374-384
  
• Takeshi Inoue, Yasutaka Hino, Kouji Hayashi, Masanori Narukawa:
  A dynamic pair-program sending architecture for industrial remote operations. 385-391
  

Software Maintenance

• Matthias Gehrke, Holger Giese, Ulrich Nickel, Jörg Niere, Matthias Tichy, Jörg P. Wadsack, Albert Zündorf:
  Reporting about industrial strength software engineering courses for undergraduates. 395-405
  
• Martin P. Robillard, Gail C. Murphy:
  Concern graphs: finding and describing concerns using structural program dependencies. 406-416
  
• Alok Mehta, George T. Heineman:
  Evolving legacy system features into fine-grained components. 417-427
  

Concurrency

• Satish Chandra, Patrice Godefroid, Christopher Palm:
  Software model checking in practice: an industrial case study. 431-441
  
• Xianghua Deng, Matthew B. Dwyer, John Hatcliff, Masaaki Mizuno:
  Invariant-based specification, synthesis, and verification of synchronization in concurrent programs. 442-452
  
• Aaron Greenhouse, William L. Scherlis:
  Assuring and evolving concurrent programs: annotations and policy. 453-463
  

Program Analysis

• James A. Jones, Mary Jean Harrold, John T. Stasko:
  Visualization of test information to assist fault localization. 467-477
  
• Torsten Robschink, Gregor Snelting:
  Efficient path conditions in dependence graphs. 478-488
  
• Abhik Roychoudhury, Tulika Mitra:
  Specifying multithreaded Java semantics for program verification. 489-499
  

Software Presentation

• Audris Mockus, James D. Herbsleb:
  Expertise browser: a quantitative approach to identifying expertise. 503-512
  
• Yunwen Ye, Gerhard Fischer:
  Supporting reuse by delivering task-relevant and personalized information. 513-523
  
• Kenneth M. Anderson, Susanne A. Sherba, William Van Lepthien:
  Towards large-scale information integration. 524-534
  

State-of-the-art presentations

• Wolfgang Emmerich:
  Distributed component technologies and their software engineering implications. 537-546
  
• John C. Knight:
  Safety critical systems: challenges and directions. 547-550
  

Industry track papers and presentations: invited presentations

• Ian Gorton, Anna Liu:
  Software component quality assessment in practice: successes and practical impediments. 555-558
  
• Larry Augustin, Dan Bressler, Guy Smith:
  Accelerating software development through collaboration. 559-563
  

Industry track papers and presentations: real time systems

• Dick Mays, Richard J. LeBlanc:
  The cyclefree methodology: a simple approach to building reliable, robust, real-time systems. 567-575
  
• Shinji Kusumoto, Masahiro Imagawa, Katsuro Inoue, Shuuma Morimoto, Kouji Matsusita, Michio Tsuda:
  Function point measurement from Java programs. 576-582
  

Industry track papers and presentations: product lines

• Alessandro Maccari:
  Experiences in assessing product family software architecture for evolution. 585-592
  
• Klaus Schmid:
  A comprehensive product line scoping approach and its validation. 593-603
  
• Lars Bratthall, Robert van der Geest, Holger Hofmann, Edgar Jellum, Zbigniew Korendo, Robert Martinez, Michal Orkisz, Christian Zeidler, Johan S. Andersson:
  Integrating hundred's of product through one architecture: the industrial IT architecture. 604-614
  

Industry track papers and presentations: technology trends

• Amr Elssamadisy, Gregory Schalliol:
  Recognizing and responding to "bad smells" in extreme programming. 617-622
  
• Tushar K. Hazra:
  Building enterprise portals: principles to practice. 623-633
  
• Kival Chaves Weber, Célia Joseli do Nascimento:
  Brazilian software quality in 2002. 634-638
  

Impact presentations

• Marcus Ciolkowski, Oliver Laitenberger, H. Dieter Rombach, Forrest Shull, Dewayne E. Perry:
  Software inspections, reviews & walkthroughs. 641-642
  
• Jacky Estublier, David B. Leblang, Geoffrey Clemm, Reidar Conradi, André van der Hoek, Walter F. Tichy, Darcy Wiborg Weber:
  Impact of the research community for the field of software configuration management. 643-644
  

Panels

• Mikio Aoyama, Sanjiva Weerawarana, Hiroshi Maruyama, Clemens A. Szyperski, Kevin J. Sullivan, Doug Lea:
  Web services engineering: promises and challenges. 647-648
  
• Leon J. Osterweil, Philippe Kruchten, Martin Fowler, Wilhelm Schäfer:
  Lightweight vs. heavyweight processes: is this even the right question? 649
  

Workshops

• Carlos José Pereira de Lucena, Alessandro F. Garcia, Andrea Omicini, Jaelson Castro, Franco Zambonelli:
  Software engineering for large-scale multi-agent systems: SELMAS'2002. 653-654
  
• Ivica Crnkovic, Heinz W. Schmidt, Judith A. Stafford, Kurt C. Wallnau:
  5^th ICSE workshop on component-based software engineering: benchmarks for predictable assembly. 655-656
  
• Mikio Aoyama, Katsuro Inoue, Václav Rajlich:
  Principles of software evolution: 5^th international workshop on principles of software evolution (IWPSE 2002). 657-658
  
• Sebastián Uchitel, Tarja Systä, Albert Zündorf:
  Scenarios and state machines: models, algorithms, and tools. 659-660
  
• Yogesh Deshpande, Luis Olsina, San Murugesan:
  Third ICSE workshop on web engineering. 661-662
  
• Warren Harrison, M. Hakan Erdogmus, Rick Kazman:
  The fourth international workshop on economics-driven software engineering research (EDSER-4). 663-664
  
• Peter Knauber, Giancarlo Succi:
  Third ICSE workshop on software product lines: economics, architectures, and implications. 665-666
  
• Daniela E. Damian:
  Workshop on global software development. 667-668
  
• Joseph Feller:
  Meeting challenges and surviving success: the 2nd workshop on open source software engineering. 669-670
  
• Káthia Marçal de Oliveira, Ana Regina Rocha, Kival Chaves Weber:
  Workshop on software quality. 671-672
  
• Rogério de Lemos, Cristina Gacek, Alexander B. Romanovsky:
  ICSE 2002 workshop on architecting dependable systems. 673-674
  
• Philippe Kruchten, Rich Hilliard, Rick Kazman, Wojtek Kozaczynski, J. Henk Obbink, Alexander Ran:
  Workshop on methods and techniques for softwaer architecture review and assessment (SARA). 675
  
• Craig Larman, Frances Paulisch:
  Pre-workshop summary: workshop on iterative, adaptive, and agile processes. 676
  

Tutorials

• Scott A. Hissam, Robert C. Seacord, Grace A. Lewis:
  Building systems from commercial components. 679-680
  
• Jan Bosch:
  Architecture-centric software engineering. 681-682
  
• M. Hakan Erdogmus, Barry W. Boehm, Warren Harrison, Donald J. Reifer, Kevin J. Sullivan:
  Software engineering economics: background, current practices, and future directions. 683-684
  
• John C. Knight:
  Dependability of embedded systems. 685-686
  
• San Murugesan, Yogesh Deshpande:
  Meeting the challenges of web application development: the web engineering approach. 687-688
  
• Peri L. Tarr, Harold Ossher, Stanley M. Sutton Jr.:
  Hyper/J: multi-dimensional separation of concerns for Java. 689-690
  
• Wolfgang Emmerich, Nima Kaveh:
  Component technologies: Java beans, COM, CORBA, RMI, EJB and the CORBA component model. 691-692
  
• Philippe Kruchten, Bran Selic, Wojtek Kozaczynski:
  Tutorial: describing software architecture with UML. 693-694
  
• James Newkirk:
  Introduction to agile processes and extreme programming. 695-696
  
• Joseph Gil, John Howse, Stuart Kent:
  Advanced visual modelling: beyond UML. 697-698
  
• Luiz Marcio Cysneiros, Julio Cesar Sampaio do Prado Leite:
  Non-functional requirements: from elicitation to modelling languages. 699-700
  
• Martin Fowler:
  Refactoring. 701
  
• Martin Fowler:
  Information systems architecture. 702
  
• Philippe Kruchten:
  Tutorial: introduction to the rational unified process®. 703
  
• Craig Larman:
  Tutorial: mastering design patterns. 704
  

Posters and Research Demonstrations

• Sebastián Blaustein, Fernando Oliveto, Víctor A. Braberman:
  Observing timed systems by means of message sequence chart graphs. 707
  
• Claudia Pons, Gabriel Baum:
  Reasoning about the correctness of software development process. 708
  
• Raimondas Lencevicius, Edu Metz, Alexander Ran:
  Software validation using power profiles. 709
  
• Fernando Schapachnik, Víctor A. Braberman, Alfredo Olivero:
  An architecture-centric approach to the development of a distributed model-checker for timed automata. 710
  
• Martin Jandl, Wolfgang Radinger, Alexander Szep, Karl M. Göschka:
  Enterprise application integration by means of a generic CORBA LDAP gateway. 711
  
• Stefanos Zachariadis, Licia Capra, Cecilia Mascolo, Wolfgang Emmerich:
  XMIDDLE: information sharing middleware for a mobile environment. 712
  
• Michel Wermelinger, Cristóvão Oliveira:
  The community workblench. 713
  
• João Gouveia, Georgios Koutsoukos, Michel Wermelinger, Luis Filipe Andrade, José Luiz Fiadeiro:
  Coordination contracts for Java applications. 714
  
• Silvia Teresita Acuña, Cecilia María Lasserre, Viviana Elizabet Quincoces:
  Human capacities in the software process: empiric validation. 715
  
• Federico Trilnik, J. Andrés Díaz Pace, Marcelo R. Campo:
  Smartweaver: an agent-based approach for aspect-oriented development. 716
  
• J. Andrés Díaz Pace, Marcelo R. Campo:
  An object-oriented bridge among architectural styles, aspects and frameworks. 717
  

Doctoral Symposia

• Martin P. Robillard:
  A representation for describing and analyzing concerns in source code. 721-722
  
• Licia Capra:
  Mobile computing middleware for context-aware applications. 723-724
  
• Yuk Kuen Wong:
  Use of software inspection inputs in practice. 725-726
  
• Jörg Niere:
  Fuzzy logic based interactive recovery of software design. 727-728
  
• Joseph Puett:
  Holistic framework for establishing interoperability of heterogeneous software development tools and models. 729-730
  
• D. M. Atiya, S. King:
  A compliance notation for verifying concurrent systems. 731-732
  
• Orna Raz:
  Research abstract for semantic detection in dynamic data feeds with incomplete specifications. 733-734
  
• Maja D'Hondt:
  Making software knowledgeable. 735-736
  

Last update Sat May 25 03:28:57 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page