Research Catalog

Title

Proceedings, 26th International Conference on Software Engineering : ICSE 2004 : May 23-28, 2004, Edinburgh International Conference Centre, Edinburgh, Scotland / sponsoring organizations, Institution of Electrical Engineers, Association for Computing Machinery, Sigsoft, IEEE Computer Society, Technical Council on Software Engineering ; in cooperation with British Computer Society [and] ACM SIGPLAN.

Author

International Conference on Software Engineering (26th : 2004 : Edinburgh, Scotland)

Publication

New York, N.Y. : Association for Computing Machinery, c2004.

Items in the Library & Off-site

Details

Additional Authors

• Association for Computing Machinery
• ACM Sigsoft
• IEEE Computer Society. Technical Council on Software Engineering

Description

xviii, 786 p. : ill.; 28 cm.

Alternative Title

• 26th International Conference on Software Engineering
• ICSE Scotland 2004
• Software Engineering, 2004, ICSE 2004, proceedings, 26th International Conference on.
• Proceedings of the 26th International Conference on Software Engineering.

Subject

• Software engineering > Congresses

Note

• "ACM Order Number 592040 ; IEEE Computer Society Order Number P2163--T.p. verso.

Bibliography (note)

• Includes bibliographical references and author index.

Additional Formats (note)

• Also available via IEEE Xplore with additional title: Software Engineering, 2004, ICSE 2004, proceedings, 26th International Conference on and via the ACM Digital Library with title: Proceedings of the 26th International Conference on Software Engineering.

Contents

• Controlling the complexity of software designs / K. Lieberherr -- Software engineering challenges in bioinformatics / J. Barker and J. Thornton -- Adding high availability and autonomic behavior to Web services / K. Birman, R. van Renesse and W. Vogels -- Grid small and large : distributed systems and global communities / I. Foster -- A model driven approach for software systems reliability / G. Rodrigues, D. Rosenblum and W. Emmerich -- Component-based self-adaptability in peer-to-peer architectures / S. Alda -- One more step in the direction of modularized integration concerns / H. Rajan -- Parametric analysis of real-time embedded systems with abstract approximation interpretation / E. Y. Kang -- Empirical studies on requirement management measures / A. Loconsole -- Agile process tailoring and problem analysis (APTLY) / F. Keenan -- Developing new approaches for software design quality improvement based on subjective evaluations / M. Mantyla -- Research abstract : semantic concepts for the specification of non-functional properties of component-based software / S. Zschaler -- Fault localization using visualization of test information / J. Jones -- A flexible software process model / D. Kirk -- Toward a software testing and reliability early warning metric suite / N. Nagappan -- Software visualisation for object-oriented program comprehension / M. Pacione -- A weakly constrained approach to software change coordination / C. O'Reilly -- Calculating architectural reliability via modeling and analysis / R. Roshandel -- [chi]-SCTL/MUS : a formal methodology to evolve multi-perspective software requirements specifications / A. Martinez and J. Arias -- Improving UML design tools by formal games / J. Tenzer -- Behavior capture and test for verifying evolving component-based systems / L. Mariani -- A constraint architectural description approach to self-organising component-based software systems / P. Waewsawangwong -- Using simulation to empirically investigate test coverage criteria based on statechart / L. Briand, Y. Labiche and Y. Wang -- Automated generation of test programs from closed specifications of classes and test cases / W. Leow, S. Khoo and Y. Sun -- Bi-criteria models for all-uses test suite reduction / J. Black, E. Melachrinoudis and D. Kaeli -- The Dublo architecture pattern for smooth migration of business information systems : an experience report / W. Hasselbring, R. Reussner, H. Jaekel, J. Schlegelmilch, T. Teschke and S. Krieghoff -- Comparison of software product line architecture design methods : COPA, FAST, FORM, KobrA and QADA / M. Matinlassi -- Oil and water? : high performance garbage collection in Java with MMTk / S. Blackburn, P. Cheng and K. McKinley -- Elaborating security requirements by construction of intentional anti-models / A. van Lamsweerde -- Theme : an approach for aspect-oriented analysis and design / E. Baniassad and S. Clarke -- Visual timed event scenarios / A. Alfonso, V. Braberman, N. Kicillof and A. Olivero -- Precise service level agreements / J. Skene, D. Lamanna and W. Emmerich -- GlueQoS : middleware to sweeten quality-of-service policy interactions / E. Wohlstadter, S. Tai, T. Mikalsen, I. Rouvellou and P. Devanbu -- Verifying DAML+OIL and beyond in Z/EVES / J. Dong, C. Lee, Y. Li and H. Wang -- Assume-guarantee verification of source code with design-level assumptions / D. Giannakopoulou, C. Pasareanu and J. Cobleigh -- Compositional verification of middleware-based software architecture descriptions / M. Caporuscio, P. Inverardi and P. Pelliccione -- The evaluation of large, complex UML analysis and design models / B. Berenbach -- Revisiting statechart synthesis with an algebraic approach / T. Ziadi, L. Helouet and J.-M. Jezequel -- Precise modeling of design patterns in UML / J. Mak, C. Choy and D. Lun -- Team-based fault content estimation in the software inspection process / T. Thelin -- Evidence-based software engineering / B. Kitchenham, T. Dyba and M. Jorgensen -- An empirical study of software reuse vs. defect-density and stability / P. Mohagheghi, R. Conradi, O. Killi and H. Schwarz -- SNIAFL : towards a static non-interactive approach to feature location / W. Zhao, L. Zhang, Y. Liu, J. Sun and F. Yang -- Feature-based decomposition of inductive proofs applied to real-time avionics software : an experience report / V. Ha, M. Rangarajan, D. Cofer, H. Ruess and B. Dutertre -- Using data versioning in database application development / R. Chatterjee, G. Arun, S. Agarwal, B. Speckhard and R. Vasudevan -- Generating tests from counterexamples / D. Beyer, A. Chlipala, T. Henzinger, R. Jhala and R. Majumdar -- Automated support for development, maintenance, and testing in the presence of implicit control flow / S. Sinha, A. Orso and M. Harrold -- Towards safe distributed application development / P. Eugster, C. Damm and R. Guerraoui -- Design of large-scale polylingual systems / M. Grechanik, D. Batory and D. Perry -- A hybrid architectural style for distributed parallel processing of generic data streams / A. Francois -- Breaking the ice for agile development of embedded software : an industry experience report / P. Manhart and K. Schneider -- Unifying artifacts and activities in a visual tool for distributed software development teams / J. Froehlich and P. Dourish -- Making resource decisions for software projects / N. Fenton, W. Marsh, M. Neil, P. Cates, S. Forey and M. Tailor -- Using event-based translation to support dynamic protocol evolution / N. Ryan and A. Wolf -- Efficient decentralized monitoring of safety in distributed systems / K. Sen, A. Vardhan, G. Agha and G. Rosu -- Extending the representational state transfer (REST) architectural style for decentralized systems / R. Khare and R. Taylor -- Validating the unit correctness of spreadsheet programs / T. Antoniu, P. Steckler, S. Krishnamurthi, E. Neuwirth and M. Felleisen -- A tool for writing and debugging algebraic specifications / J. Henkel and A. Diwan -- Skoll : distributed continuous quality assurance / A. Memon, A. Porter, C. Yilmaz, A. Nagarajan, D. Schmidt and B. Natarajan -- DiscoTect : a system for discovering architectures from running systems / H. Yan, D. Garlan, B. Schmerl, J. Aldrich and R. Kazman -- Finding latent code errors via machine learning over program executions / Y. Brun and M. Ernst -- An empirical comparison of dynamic impact analysis algorithms / A. Orso, T. Apiwattanapong, J. Law, G. Rothermel and M. Harrold -- Efficient forward computation of dynamic slices using reduced ordered binary decision diagrams / X. Zhang, R. Gupta and Y. Zhang -- Using compressed bytecode traces for slicing Java programs / T. Wang and A. Roychoudhury -- A fast assembly level reverse execution method via dynamic slicing / T. Akgul, V. Mooney III and S. Pande -- Polyphony in architecture / B. van der Raadt, J. Soetendal, M. Perdeck and H. van Vliet -- Architecting in the face of uncertainty : an experience report / I. Gorton and J. Haack -- Using web service technologies to create an information broker : an experience report / M. Turner, F. Zhu, I. Kotsiopoulos, M. Russell, D. Budgen, K. Bennett, P. Brereton, J. Keane, P. Layzell and M. Rigby -- Mining version histories to guide software changes / T. Zimmermann, P. Weissgerber, S. Diehl and A. Zeller -- An experimental, pluggable infrastructure for modular configuration management policy composition / R. van der Lingen and A. van der Hoek -- Imposing a memory management discipline on software deployment / E. Dolstra, E. Visser and M. de Jonge -- An open framework for dynamic reconfiguration / J. Hillman and I. Warren -- Dynamic configuration of resource-aware services / V. Poladian, J. Sousa, D. Garlan and M. Shaw -- Autonomous adaptation to dynamic availability using a service-oriented component model / H. Cervantes and R. Hall -- DMS : program transformations for practical scalable software evolution / I. Baxter, C. Pidgeon and M. Mehlich --
• Heuristic-based model refinement for FLAVERS / J. Tan, G. Avrunin and L. Clarke -- Static checking of dynamically generated queries in database applications / C. Gould, Z. Su and P. Devanbu -- Evaluating object-oriented designs with link analysis / A. Chatzigeorgiou, S. Xanthos and G. Stephanides -- Responsibilities and rewards : specifying design patterns / N. Soundarajan and J. Hallstrom -- Traits : tools and methodology / A. Black and N. Scharli -- Supporting reflective practitioners / D. Redmiles and K. Nakakoji -- Panel MDA in practice / J.-M. Jazequel and W. Emmerich -- Agile development : evaluation and experience / W. Tichy -- BoF : new directions in UK software engineering research / D. Bustard, M. Holcombe and I. Sommerville -- JDBC checker : a static analysis tool for SQL/JDBC applications / C. Gould, Z. Su and P. Devanbu -- Gammatella : visualization of program-execution data for deployed software / A. Orso, J. Jones, M. Harrold and J. Stasko -- Feature-oriented programming and the AHEAD tool suite / D. Batory -- AcmeStudio : supporting style-centered architecture development / B. Schmerl and D. Garlan -- Design and implementation of distributed crosscutting features with DADO / E. Wohlstadter, S. Jackson and P. Devanbu -- The CommUnity workbench / C. Oliveira and M. Wermelinger -- Statestep : a tool for systematic, incremental specification / M. Breen -- Requirements engineering tools go mobile / N. Seyff, P. Grunbacher, N. Maiden and A. Tosar -- Usability-supporting architectural patterns / L. Bass, B. John, N. Juristo and M.-I. Sanchez-Segura -- Balancing agility and discipline : evaluating and integrating agile and plan-driven methods / B. Boehm and R. Turner -- Software variability management / J. Bosch -- Statistical techniques for software engineering practice / D. Card -- Software modeling techniques and the semantic web / J. Dong -- Architectures and technologies for enterprise application integration / I. Gorton and A. Liu -- Getting results from search-based approaches to software engineering / M. Harman and J. Wegener -- An introduction to computing system dependability / J. Knight -- Managing commitments and risks : challenges in distributed agile development / J. Kontio, M. Hoglund, J. Ryden and P. Abrahamsson -- Object-oriented reengineering patterns / O. Nierstrasz and S. Demeyer -- Case studies for software engineers / D. Perry, S. Sim and S. Easterbrook -- Testing object oriented software / M. Pezze and M. Young -- Tutorial : an overview of UML 2.0 / B. Selic -- Formal concept analysis in software engineering / P. Tonella -- Software architecture reconstruction / A. van Deursen and C. Riva -- 4th international workshop on adoption-centric software engineering / B. Balzer, M. Litoiu, H. Muller, D. Smith, M.-A. Storey, S. Tilley and K. Wong -- Third international workshop on distributed event-based system - DEBS'04 / A. Carzaniga and P. Fenkam -- Software engineering for large-scale multi-agent systems - SELMAS'04 / R. Choren, A. Garcia, C. Lucena, M. Griss, D. Kung, N. Minsky and A. Romanovsky -- 1st international workshop on advances and applications of problem frames / K. Cox, J. Hall and L. Rapanotti -- The 3rd international workshop on global software development / D. Damian and F. Lanubile -- Twin workshops on architecting dependable systems (WADS 2004) / R. de Lemos, C. Gacek and A. Romanovsky -- Models and processes for the evaluation of COTS components / E. Dubois and X. Franch -- The sixth international workshop on economics-driven software engineering research (EDSER-6) / H. Erdogmus, J. Kontio, M. Cusumano and D. Raffo -- Second international workshop on dynamic analysis (WODA 2004) / D. Evans and R. Lencevicius -- Collaboration, conflict and control : the 4th workshop on open source software engineering / J. Feller, B. Fitzgerald, S. Hissam and K. Lakhani -- Third workshop on scenarios and state machines : models, algorithms, and tools (SCESM'04) / H. Giese and I. Kruger -- Workshop on directions in software engineering environments (WoDiSEE) / J. Grundy, R. Welland and H. Stoeckle -- MSR 2004 : international workshop on mining software repositories / A. Hassan, R. Holt and A. Mockus -- Workshop on software engineering for high performance computing system (HPCS) applications / P. Johnson -- Bridging the gaps II : bridging the gaps between software engineering and human-computer interaction / R. Kazman, L. Bass and B. John -- Second ICSE workshop on remote analysis and measurement of software systems (RAMSS) / A. Orso and A. Porter -- ProSim'04 - the 5th international workshop on software process simulation and modeling / D. Pfahl, I. Rus, D. Raffo and P. Wernick -- ICSE workshop : software engineering for automotive systems / C. Salzmann, T. Stauner and A. Pretschner -- Second workshop on software quality / B. Wong, S. Chulani, J. Verner and B. Boehm.

ISBN

0769521630

OCLC

• ocm55689012
• SCSB-5065425

Owning Institutions

Columbia University Libraries