Carlo Ghezzi, Mehdi Jazayeri, Alexander L. Wolf
Proceedings of the 22nd International Conference on Software Engineering
ICSE, 2000.

@proceedings{ICSE-2000,
	acmid         = "336512",
	address       = "Limerick, Ireland",
	editor        = "Carlo Ghezzi and Mehdi Jazayeri and Alexander L. Wolf",
	isbn          = "1-58113-206-9",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 22nd International Conference on Software Engineering}",
	year          = 2000,
}

Contents (124 items)

18 ×#tutorial
13 ×#named
11 ×#re-engineering
10 ×#architecture
10 ×#design
10 ×#process
10 ×#using
9 ×#testing
8 ×#component
6 ×#case study

ICSE-2000-Castells #question

Is the new economy socially sustainable? (MC), p. 2.

ICSE-2000-Booch #future of

The future of software (GB), p. 3.

ICSE-2000-Horn

Dot com versus bricks and mortar — the impact of portal technology (CH), p. 4.

ICSE-2000-Lamsweerde #perspective #requirements #research

Requirements engineering in the year 00: a research perspective (AvL), pp. 5–19.

ICSE-2000-CrnkovicL #case study #component #development

A case study: demands on component-based development (IC, ML), pp. 23–31.

ICSE-2000-MorisioSPBKC #development

Investigating and improving a COTS-based software development (MM, CBS, ATP, VRB, SEK, SEC), pp. 32–41.

ICSE-2000-BalkK #case study #integration #named #off the shelf

PPT: a COTS integration case study (LDB, AK), pp. 42–49.

ICSE-2000-Wijnstra #architecture #component #framework

Supporting diversity with component frameworks as architectural elements (JGW), pp. 51–60.

ICSE-2000-KuuselaS #product line #requirements

Requirements engineering for product families (JK, JS), pp. 61–69.

ICSE-2000-Pisan #specification #using

Extending requirement specifications using analogy (YP), pp. 70–76.

ICSE-2000-Bryant #problem #question #re-engineering

It’s engineering Jim ... but not as we know it: software engineering — solution to the software crisis, or part of the problem? (AB), pp. 78–87.

ICSE-2000-Widmaier #maturity #process #question #re-engineering #reliability #state of the art

Producing more reliable software: mature software engineering process vs. state-of-the-art technology? (JCW), pp. 88–93.

ICSE-2000-Brewer #problem

Improving problem-oriented mailing list archives with MCS (RSB), pp. 95–104.

ICSE-2000-AndrewsZ #analysis

Broad-spectrum studies of log file analysis (JHA, YZ), pp. 105–114.

ICSE-2000-LeonPW #multi #testing #visualisation

Multivariate visualization in observation-based testing (DL, AP, LJW), pp. 116–125.

ICSE-2000-KimPR #empirical #testing

An empirical study of regression test application frequency (JMK, AAP, GR), pp. 126–135.

ICSE-2000-LabicheTWD #object-oriented #testing

Testing levels for object-oriented software (YL, PTF, HW, MHD), pp. 136–145.

ICSE-2000-Rausch #component #contract #evolution #requirements #using

Software evolution in componentware using requirements/assurances contracts (AR), pp. 147–156.

ICSE-2000-MiliCGZ #cost analysis #reuse

An integrated cost model for software reuse (AM, SFC, RG, LZ), pp. 157–166.

ICSE-2000-Michail #data mining #library #mining #reuse #using

Data mining library reuse patterns using generalized association rules (AM), pp. 167–176.

ICSE-2000-MehtaMP #taxonomy #towards

Towards a taxonomy of software connectors (NRM, NM, SP), pp. 178–187.

ICSE-2000-PradellaRMC #approach #corba #design #formal method

A formal approach for designing CORBA based applications (MP, MR, DM, ACP), pp. 188–197.

ICSE-2000-DrappaL #re-engineering #simulation

Simulation in software engineering training (AD, JL), pp. 199–208.

ICSE-2000-Dawson

Twenty dirty tricks to train software engineers (RD), pp. 209–218.

ICSE-2000-BertolinoCIM #architecture #testing

Deriving test plans from architectural descriptions (AB, FC, PI, HM), pp. 220–229.

ICSE-2000-RothermelCBSGR #empirical #evaluation #paradigm #spreadsheet #testing

WYSIWYT testing in the spreadsheet paradigm: an empirical evaluation (KJR, CRC, MMB, JS, TRGG, GR), pp. 230–239.

ICSE-2000-KohlerNNZ #diagrams #uml

Integrating UML diagrams for production control systems (HJK, UN, JN, AZ), pp. 241–251.

ICSE-2000-AndersonGW #architecture #concept #implementation #interactive #multi #named

Dragonfly: linking conceptual and implementation architectures of multiuser interactive systems (GEA, TCNG, TNW), pp. 252–261.

ICSE-2000-MockusFH #case study #development #open source

A case study of open source software development: the Apache server (AM, RTF, JDH), pp. 263–272.

ICSE-2000-CoppitS #component #multi

Multiple mass-market applications as components (DC, KJS), pp. 273–282.

ICSE-2000-Adroin #adaptation #education #framework #re-engineering

Developing and deploying software engineering courseware in an adaptable curriculum framework (WRA), pp. 284–292.

ICSE-2000-Faulk #industrial #lessons learnt #re-engineering

Achieving industrial relevance with academic excellence: lessons from the Oregon Master of Software engineering (SRF), pp. 293–302.

ICSE-2000-AlurEY #sequence chart

Inference of message sequence charts (RA, KE, MY), pp. 304–313.

ICSE-2000-WhittleS #design #generative #statechart

Generating statechart designs from scenarios (JW, JS), pp. 314–323.

ICSE-2000-Subramaniam #maintenance #object-oriented #process

Object model resurrection — an object oriented maintenance activity (GVS), pp. 324–333.

ICSE-2000-Bultan #model checking #specification

Action Language: a specification language for model checking reactive systems (TB), pp. 335–344.

ICSE-2000-DangK #approximate #infinity #model checking #realtime

Three approximation techniques for ASTRAL symbolic model checking of infinite state real-time systems (ZD, RAK), pp. 345–354.

ICSE-2000-HayesGM #component #design #program analysis #reuse #tool support

Component design of retargetable program analysis tools that reuse intermediate representations (JH, WGG, SM), pp. 356–365.

ICSE-2000-LiangH #analysis #performance

Light-weight context recovery for efficient and accurate program analyses (DL, MJH), pp. 366–375.

ICSE-2000-BriandLW #assessment #comparison #cost analysis #modelling

A replicated assessment and comparison of common software cost modeling techniques (LCB, TL, IW), pp. 377–386.

ICSE-2000-MizunoKTS #evaluation #risk management

Characterization of risky projects based on project managers’ evaluation (OM, TK, YT, KS), pp. 387–395.

ICSE-2000-EmmerichMF #implementation #incremental #migration #xml

Implementing incremental code migration with XML (WE, CM, AF), pp. 397–406.

ICSE-2000-FieldingT #architecture #design #web

Principled design of the modern Web architecture (RTF, RNT), pp. 407–416.

ICSE-2000-LippertL #aspect-oriented #case study #detection #exception #programming #using

A study on exception detecton and handling using aspect-oriented programming (ML, CVL), pp. 418–427.

ICSE-2000-LeszakPS #analysis #case study #fault

A case study in root cause defect analysis (ML, DEP, DS), pp. 428–437.

ICSE-2000-CorbettDHLPRZ #finite #java #modelling #named #source code

Bandera: extracting finite-state models from Java source code (JCC, MBD, JH, SL, CSP, R, HZ), pp. 439–448.

ICSE-2000-ErnstCGN #detection #invariant

Quickly detecting relevant program invariants (MDE, AC, WGG, DN), pp. 449–458.

ICSE-2000-dAstousR #overview

Characterizing implicit information during peer review meetings (Pd, PNR), pp. 460–466.

ICSE-2000-DunsmoreRW #object-oriented

Object-oriented inspection in the face of delocalisation (AD, MR, MW), pp. 467–476.

ICSE-2000-KeidarKLS #incremental #proving #simulation

An inheritance-based technique for building simulation proofs incrementally (IK, RK, NAL, AAS), pp. 478–487.

ICSE-2000-PenixVELW #clustering #kernel #verification

Verification of time partitioning in the DEOS scheduler kernel (JP, WV, EE, AL, NW), pp. 488–497.

ICSE-2000-MageePGK #animation #behaviour #modelling #visual notation

Graphical animation of behavior models (JM, NP, DG, JK), pp. 499–508.

ICSE-2000-GurrT #design #diagrams #re-engineering #towards

Towards the principled design of software engineering diagrams (CAG, KT), pp. 509–518.

ICSE-2000-Curtis

From MCC and CMM: technology transfers bright and dim (BC), pp. 521–530.

ICSE-2000-Rombach #named #research

Fraunhofer: the German model for applied research and technology transfer (HDR), pp. 531–537.

ICSE-2000-Orsted #development

Software development engineer in Microsoft: a subjective view of soft skills required (MO), pp. 539–540.

ICSE-2000-GrimsonK

Software needs engineering: a position paper (JG, HJK), pp. 541–544.

ICSE-2000-Morrogh #education

Is software education narrow-minded? A position paper (PM), pp. 545–546.

ICSE-2000-GannodL #analysis #approach #architecture #product line

An approach to architectural analysis of product lines (GCG, RRL), pp. 548–557.

ICSE-2000-SchmidBKB #concept #modelling

Introducng a software modeling concept in a medium-sized company (KS, UBK, PK, FB), pp. 558–567.

ICSE-2000-Colyer #challenge #research

From research to reward: challenges in technology transfer (AMC), pp. 569–576.

ICSE-2000-NishiyamaIN #effectiveness

Technology transfer macro-process: a practical guide for the effective introduction of technology (TN, KI, TN), pp. 577–586.

ICSE-2000-Rifkin #diagrams #precedence

When the project absolutely must get done: marrying the organization chart with the precedence diagram (SR), pp. 588–596.

ICSE-2000-Miranda #evaluation

An evaluation of the paired comparisons method for software sizing (EM), pp. 597–604.

ICSE-2000-Murphy #how #industrial #performance

Grow fast, grow global: how the Irish software industry evolved to this business model (BM), pp. 606–607.

ICSE-2000-Baker

The making of Orbix and the iPortal suite (SB), pp. 609–616.

ICSE-2000-Titze #configuration management

Improvement of a configuration management system (FT), pp. 618–625.

ICSE-2000-KautzHT #enterprise #process #using

Applying and adjusting a software process improvement model in practice: the use of the IDEAL model in a small software enterprise (KK, HWH, KT), pp. 626–633.

ICSE-2000-OHara #case study #experience #process

European experiences with software process improvement (FO), pp. 635–640.

ICSE-2000-CalioAB #process

Software process improvement by object technology (ESSI PIE 27785 — SPOT) (AC, MA, GB), pp. 641–647.

ICSE-2000-KarlssonAL #development #distributed #scalability

Daily build and feature development in large distributed projects (EAK, LGA, PL), pp. 649–658.

ICSE-2000-OsterweilBEGKM #re-engineering #research #why

Why don’t we get more (self?) respect: the positive impact of software engineering research upon practice (LJO, BWB, ME, VG, JK, EFM), p. 660.

ICSE-2000-HeinemanCFMSS #component #re-engineering #trust

Component-based software engineering and the issue of trust (GTH, WTC, JSF, AM, JRS, MS), pp. 661–664.

ICSE-2000-Moore #education #lessons learnt #re-engineering #tool support #using

Lessons learned from teaching reflective software engineering using the Leap toolkit (CAM), pp. 672–675.

ICSE-2000-Edwards #online #quality #question #re-engineering

Can quality graduate software engineering courses really be delivered asynchronously on-line? (SE), pp. 676–679.

ICSE-2000-PoerwantoroEKS #multi #testing

Multibook’s test environment (NP, AES, BJK, RS), pp. 680–683.

ICSE-2000-BirbilisKKTV #architecture #named #programming

E-Slate: a software architectural style for end-user programming (GB, MK, KK, GT, GV), pp. 684–687.

ICSE-2000-SharpH #interactive #multi #simulation

An interactive multimedia software house simulation for postgraduate software engineers (HS, PH), pp. 688–691.

ICSE-2000-Ramakrishnan #interactive #internet #learning #named #object-oriented #testing #visual notation

LIGHTVIEWS — visual interactive Internet environment for learning OO software testing (SR), pp. 692–695.

ICSE-2000-Dong #composition #design #framework #logic

A logical framework for design composition (JD), pp. 698–700.

ICSE-2000-Ramil #algorithm #estimation #evolution

Algorithmic cost estimation for software evolution (JFR), pp. 701–703.

ICSE-2000-Denaro #process #testing

Estimating software fault-proneness for tuning testing activities (GD), pp. 704–706.

ICSE-2000-Iosif #concurrent #java #verification

Formal verification applied to Java concurrent software (RI), pp. 707–709.

ICSE-2000-Kammer #approach #component #distributed #process

Supporting dynamic distributed work processes with a component and event based approach (PJK), pp. 710–712.

ICSE-2000-Liu #automation #independence #platform #testing

Platform-independent and tool-neutral test descriptions for automated software testing (CL), pp. 713–715.

ICSE-2000-Paralic #mobile #programming

Contribution to simplifying the mobile agent programming (MP), pp. 716–718.

ICSE-2000-Silveira #paradigm

Spontaneous software: a Web-based, object computing paradigm (GEdS), pp. 719–721.

ICSE-2000-Cinneide #automation #design pattern #refactoring

Automated refactoring to introduce design patterns (MÓC), pp. 722–724.

ICSE-2000-Whalen #code generation

High-integrity code generation for state-based formalisms (MWW), pp. 725–727.

ICSE-2000-JacksonSS #alloy #constraints #named

Alcoa: the alloy constraint analyzer (DJ, IS, IS), pp. 730–733.

ICSE-2000-OssherT #java #multi #named

Hyper/J: multi-dimensional separation of concerns for Java (HO, PLT), pp. 734–737.

ICSE-2000-MarcaP #approach #internet #re-engineering #set

A software engineering approach and tool set for developing Internet applications (DAM, BAP), pp. 738–741.

ICSE-2000-NickelNZ

The FUJABA environment (UN, JN, AZ), pp. 742–745.

ICSE-2000-CattaneoNFLV #web

Managing software artifacts on the Web with Labyrinth (FC, EDN, AF, LL, GV), pp. 746–749.

ICSE-2000-CoppitS00a #named

Galileo: a tool built from mass-market applications (DC, KJS), pp. 750–753.

ICSE-2000-CassLSMWO #interpreter #named #process

Little-JIL/Juliette: a process definition language and interpreter (AGC, BSL, SMSJ, EKM, AEW, LJO), pp. 754–757.

ICSE-2000-VieiraDR #architecture

Analyzing software architectures with Argus-I (MERV, MSD, DJR), pp. 758–761.

ICSE-2000-CorbettDHR #interface #java #model checking #named #source code

Bandera: a source-level interface for model checking Java programs (JCC, MBD, JH, R), pp. 762–765.

ICSE-2000-PiccoMR #mobile

Developing mobile computing applications with LIME (GPP, ALM, GCR), pp. 766–769.

ICSE-2000-MiliCGZ00a #automation #predict #reuse

Tracking, predicting and assessing software reuse costs: an automated tool (AM, SFC, RG, LZ), p. 785.

ICSE-2000-SucciYLP #named #product line

Holmes: a system to support software product lines (GS, JY, EL, WP), p. 786.

ICSE-2000-SucciWLS #component #composition

Supporting dynamic composition of components (GS, RW, EL, MRS), p. 787.

ICSE-2000-OConnorCM #named

Prompter — a project planning assistant (RO, RC, TM), p. 788.

ICSE-2000-Riva #3d #visualisation

Visualizing software release histories with 3DSoftVis (CR), p. 789.

ICSE-2000-StrouliaESP #legacy #migration

Legacy systems migration in CelLEST (ES, MER, PGS, RP), p. 790.

ICSE-2000-Becker-KornstaedtSZ #process

Process engineering with Spearmint^TM/EPG (UBK, LS, JZ), p. 791.

ICSE-2000-Bevan #quality #specification

Specifying and measuring quality in use (NB), p. 819.

ICSE-2000-KazmanK #architecture #design #using

Designing and analyzing software architectures using ABASs (RK, MK), p. 820.

ICSE-2000-LieberherrLM #composition #object-oriented #reuse

Building modular object-oriented systems with reusable collaborations (KJL, DHL, MM), p. 821.

ICSE-2000-Vinoski #corba

Introduction to CORBA (SV), p. 822.

ICSE-2000-Jalote

Moving from ISO9000 to higher levels of the CMM (PJ), p. 823.

ICSE-2000-NordPS #architecture #using

Planning realistic schedules using software architecture (RLN, DJP, DS), p. 824.

ICSE-2000-LopesK #aspectj #composition #design #source code #using

Improving design and source code modularity using AspectJ (CVL, GK), p. 825.

ICSE-2000-Vinoski00a #corba #scalability

Scalability issues in CORBA-based systems (SV), p. 826.

ICSE-2000-KirschS #tutorial

Intellectual property protection for software in the United States and Europe (tutorial session): the changing roles of patents and copyrights (GJK, YS), p. 827.

ICSE-2000-Curtis00a #lessons learnt #process #tutorial

Software process improvement (tutorial session): best practices and lessons learned (BC), p. 828.

ICSE-2000-Gomaa #design #distributed #realtime #uml

Designing real-time and distributed applications with the UML (HG), p. 829.

ICSE-2000-TakahashiEFG #development #using

System development using application services over the Net (KT, WE, AF, SG), p. 830.

ICSE-2000-LittlewoodS #assessment #concept #reliability #tutorial

Software reliability (tutorial session): basic concepts and assessment methods (BL, LS), p. 831.

ICSE-2000-Batory #architecture #aspect-oriented #product line #reuse

Product-line architectures, aspects, and reuse (DSB), p. 832.

ICSE-2000-GilHK #modelling #tutorial #uml #visual notation

Advanced visual modeling (tutorial session): beyond UML (JYG, JH, SK), p. 833.

ICSE-2000-Picco #comprehension

Understanding code mobility (GPP), p. 834.

ICSE-2000-LittlewoodS00a #assessment #design #fault #fault tolerance #reliability #tutorial

Fault tolerance via diversity against design faults (tutorial session): design principles and reliability assessment (BL, LS), p. 835.

ICSE-2000-BasiliLSR #using

Improving software inspections by using reading techniques (VRB, OL, FS, IR), p. 836.