Proceedings of the 22nd International Conference on Software Engineering
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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

SE
DBLP
Scholar
Full names Links ISxN
@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)

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 SpearmintTM/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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.