BibSLEIGH — Proceedings of the 22rd International Conference on Software Engineering

Will Tracz, Michal Young, Jeff Magee
Proceedings of the 22rd International Conference on Software Engineering
ICSE, 2002.

@proceedings{ICSE-2002,
	acmid         = "581339",
	address       = "Orlando, Florida, USA",
	editor        = "Will Tracz and Michal Young and Jeff Magee",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 22rd International Conference on Software Engineering}",
	year          = 2002,
}

Contents (99 items)

ICSE-2002-Feinberg #enterprise: Transforming and extending the enterprise through IT (DF), p. 3.
ICSE-2002-Rhodes: Systems engineering: an essential engineering discipline for the 21st century (DHR), p. 4.
ICSE-2002-Balzer #off the shelf: Living with COTS (RB), p. 5.
ICSE-2002-SmithACO #approach #named: PROPEL: an approach supporting property elucidation (RLS, GSA, LAC, LJO), pp. 11–21.
ICSE-2002-WoodsidePS #specification: Performance-related completions for software specifications (CMW, DBP, KHS), pp. 22–32.
ICSE-2002-ZimmermanLL #readability #requirements #specification: Investigating the readability of state-based formal requirements specification languages (MKZ, KL, NGL), pp. 33–43.
ICSE-2002-DunsmoreRW #development #evaluation #object-oriented: Further investigations into the development and evaluation of reading techniques for object-oriented code inspection (AD, MR, MW), pp. 47–57.
ICSE-2002-Padberg #empirical #fault: Empirical interval estimates for the defect content after an inspection (FP), pp. 58–68.
ICSE-2002-BasiliMPZ #lessons learnt #process #re-engineering: Lessons learned from 25 years of process improvement: the rise and fall of the NASA software engineering laboratory (VRB, FEM, RP, MVZ), pp. 69–79.
ICSE-2002-LetierL #requirements: Agent-based tactics for goal-oriented requirements elaboration (EL, AvL), pp. 83–93.
ICSE-2002-Silva #approach #requirements #specification: Requirements, domain and specifications: a viewpoint-based approach to requirements engineering (AS), pp. 94–104.
ICSE-2002-HausmannHT #approach #case study #detection #functional #graph transformation #requirements #static analysis: Detection of conflicting functional requirements in a use case-driven approach: a static analysis technique based on graph transformation (JHH, RH, GT), pp. 105–115.
ICSE-2002-KimP #testing: A history-based test prioritization technique for regression testing in resource constrained environments (JMK, AAP), pp. 119–129.
ICSE-2002-RothermelEMKD #effectiveness #testing: The impact of test suite granularity on the cost-effectiveness of regression testing (GR, SGE, AGM, PK, BD), pp. 130–140.
ICSE-2002-FisherCRCB #automation #generative #spreadsheet #testing: Automated test case generation for spreadsheets (MFI, MC, GR, CRC, MMB), pp. 141–153.
ICSE-2002-NittoLSTT #execution #process #uml: Deriving executable process descriptions from UML (EDN, LL, MS, ET, MT), pp. 155–165.
ICSE-2002-EshuisW #design #graph #process #uml #verification #workflow: Verification support for workflow design with UML activity graphs (RE, RW), pp. 166–176.
ICSE-2002-DinkelackerGMN #open source: Progressive open source (JD, PKG, RM, DN), pp. 177–184.
ICSE-2002-AldrichCN #architecture #implementation #named: ArchJava: connecting software architecture to implementation (JA, CC, DN), pp. 187–197.
ICSE-2002-Sreedhar #component #mixin: Mixin Up components (VCS), pp. 198–207.
ICSE-2002-EideRRL #design pattern: Static and dynamic structure in design patterns (EE, AR, JR, JL), pp. 208–218.
ICSE-2002-WeissBPTZ #assessment: Goal-oriented software assessment (DMW, DB, JYP, PT, PZ), pp. 221–231.
ICSE-2002-Butler #approach #attribute grammar #security: Security attribute evaluation method: a cost-benefit approach (SAB), pp. 232–240.
ICSE-2002-DenaroP #empirical #evaluation #modelling: An empirical evaluation of fault-proneness models (GD, MP), pp. 241–251.
ICSE-2002-Ommering #component: Building product populations with sofware components (RCvO), pp. 255–265.
ICSE-2002-DashofyHT #agile #architecture #development #framework #xml: An infrastructure for the rapid development of XML-based architecture description languages (EMD, AvdH, RNT), pp. 266–276.
ICSE-2002-GraunkeK #control flow #flexibility #user interface #visual notation: Advanced control flows for flexible graphical user interfaces: or, growing GUIs on trees or, bookmarking GUIs (PTG, SK), pp. 277–287.
ICSE-2002-HangalL #automation #debugging #detection #using: Tracking down software bugs using automatic anomaly detection (SH, MSL), pp. 291–301.
ICSE-2002-RazKS #data flow #detection #online #semantics: Semantic anomaly detection in online data sources (OR, PK, MS), pp. 302–312.
ICSE-2002-DemskyR #object-oriented #source code: Role-based exploration of object-oriented programs (BD, MCR), pp. 313–334.
ICSE-2002-Michail #source code #using: Browsing and searching source code of applications written using a GUIframework (AM), pp. 327–337.
ICSE-2002-NiereSWWW #design #towards: Towards pattern-based design recovery (JN, WS, JPW, LW, JW), pp. 338–348.
ICSE-2002-HassanH #architecture #web: Architecture recovery of web applications (AEH, RCH), pp. 349–359.
ICSE-2002-RomanJH #abstraction #mobile #network: Network abstractions for context-aware mobile computing (GCR, CJ, QH), pp. 363–373.
ICSE-2002-WeinsbergB #programming: A programming model and system for disconnected-aware applications on resource-constrained devices (YW, IBS), pp. 374–384.
ICSE-2002-InoueHHN #architecture #industrial: A dynamic pair-program sending architecture for industrial remote operations (TI, YH, KH, MN), pp. 385–391.
ICSE-2002-GehrkeGNNTWZ #industrial #re-engineering: Reporting about industrial strength software engineering courses for undergraduates (MG, HG, UN, JN, MT, JPW, AZ), pp. 395–405.
ICSE-2002-RobillardM #dependence #graph #using: Concern graphs: finding and describing concerns using structural program dependencies (MPR, GCM), pp. 406–416.
ICSE-2002-MehtaH #component #evolution #fine-grained #legacy: Evolving legacy system features into fine-grained components (AM, GTH), pp. 417–427.
ICSE-2002-ChandraGP #case study #industrial #model checking: Software model checking in practice: an industrial case study (SC, PG, CP), pp. 431–441.
ICSE-2002-DengDHM #concurrent #invariant #source code #specification #synthesis #verification: Invariant-based specification, synthesis, and verification of synchronization in concurrent programs (XD, MBD, JH, MM), pp. 442–452.
ICSE-2002-GreenhouseS #concurrent #evolution #policy #source code: Assuring and evolving concurrent programs: annotations and policy (AG, WLS), pp. 453–463.
ICSE-2002-JonesHS #fault #locality #visualisation: Visualization of test information to assist fault localization (JAJ, MJH, JTS), pp. 467–477.
ICSE-2002-RobschinkS #dependence #graph #performance: Efficient path conditions in dependence graphs (TR, GS), pp. 478–488.
ICSE-2002-RoychoudhuryM #java #parallel #semantics #specification #thread #verification: Specifying multithreaded Java semantics for program verification (AR, TM), pp. 489–499.
ICSE-2002-MockusH #approach #identification: Expertise browser: a quantitative approach to identifying expertise (AM, JDH), pp. 503–512.
ICSE-2002-YeF #delivery #personalisation #reuse: Supporting reuse by delivering task-relevant and personalized information (YY, GF), pp. 513–523.
ICSE-2002-AndersonSL #integration #scalability #towards: Towards large-scale information integration (KMA, SAS, WVL), pp. 524–534.
ICSE-2002-Emmerich #component #distributed #re-engineering: Distributed component technologies and their software engineering implications (WE), pp. 537–546.
ICSE-2002-Knight #challenge #safety: Safety critical systems: challenges and directions (JCK), pp. 547–550.
ICSE-2002-GortonL #assessment #component #quality: Software component quality assessment in practice: successes and practical impediments (IG, AL), pp. 555–558.
ICSE-2002-AugustinBS #collaboration #development: Accelerating software development through collaboration (LA, DB, GS), pp. 559–563.
ICSE-2002-MaysL #approach #realtime #reliability #robust: The cyclefree methodology: a simple approach to building reliable, robust, real-time systems (DM, RJL), pp. 567–575.
ICSE-2002-KusumotoIIMMT #java #metric #source code: Function point measurement from Java programs (SK, MI, KI, SM, KM, MT), pp. 576–582.
ICSE-2002-Maccari #architecture #case study #evolution #experience #product line: Experiences in assessing product family software architecture for evolution (AM), pp. 585–592.
ICSE-2002-Schmid #approach #product line #validation: A comprehensive product line scoping approach and its validation (KS), pp. 593–603.
ICSE-2002-BratthallGHJKMOZA #architecture #industrial: Integrating hundred’s of product through one architecture: the industrial IT architecture (LB, RvdG, HH, EJ, ZK, RM, MO, CZ, JSA), pp. 604–614.
ICSE-2002-ElssamadisyS #programming #smell: Recognizing and responding to “bad smells” in extreme programming (AE, GS), pp. 617–622.
ICSE-2002-Hazra #enterprise: Building enterprise portals: principles to practice (TKH), pp. 623–633.
ICSE-2002-WeberN #quality: Brazilian software quality in 2002 (KCW, CJdN), pp. 634–638.
ICSE-2002-CiolkowskiLRSP: Software inspections, reviews & walkthroughs (MC, OL, HDR, FS, DEP), pp. 641–642.
ICSE-2002-EstublierLCCHTW #community #configuration management #research: Impact of the research community for the field of software configuration management (JE, DBL, GC, RC, AvdH, WFT, DWW), pp. 643–644.
ICSE-2002-AoyamaWMSSL #challenge #web #web service: Web services engineering: promises and challenges (MA, SW, HM, CAS, KJS, DL), pp. 647–648.
ICSE-2002-OsterweilKFS #lightweight #process #question: Lightweight vs. heavyweight processes: is this even the right question? (LJO, PK, MF, WS), p. 649.
ICSE-2002-UchitelSZ #algorithm #modelling #state machine #tool support: Scenarios and state machines: models, algorithms, and tools (SU, TS, AZ), pp. 659–660.
ICSE-2002-HissamSL #component: Building systems from commercial components (SAH, RCS, GAL), pp. 679–680.
ICSE-2002-Bosch #architecture #re-engineering: Architecture-centric software engineering (JB), pp. 681–682.
ICSE-2002-ErdogmusBHRS #re-engineering: Software engineering economics: background, current practices, and future directions (MHE, BWB, WH, DJR, KJS), pp. 683–684.
ICSE-2002-Knight02a #dependence #embedded: Dependability of embedded systems (JCK), pp. 685–686.
ICSE-2002-MurugesanD #approach #challenge #development #web: Meeting the challenges of web application development: the web engineering approach (SM, YD), pp. 687–688.
ICSE-2002-TarrOS #java #multi #named: Hyper/J: multi-dimensional separation of concerns for Java (PLT, HO, SMSJ), pp. 689–690.
ICSE-2002-EmmerichK #component #corba #java: Component technologies: Java beans, COM, CORBA, RMI, EJB and the CORBA component model (WE, NK), pp. 691–692.
ICSE-2002-KruchtenSK #architecture #named #tutorial #uml: Tutorial: describing software architecture with UML (PK, BS, WK), pp. 693–694.
ICSE-2002-Newkirk #agile #process #programming: Introduction to agile processes and extreme programming (JN), pp. 695–696.
ICSE-2002-GilHK #modelling #uml #visual notation: Advanced visual modelling: beyond UML (JYG, JH, SK), pp. 697–698.
ICSE-2002-CysneirosL #elicitation #modelling #non-functional #requirements: Non-functional requirements: from elicitation to modelling languages (LMC, JCSdPL), pp. 699–700.
ICSE-2002-Fowler #refactoring: Refactoring (MF), p. 701.
ICSE-2002-Fowler02a #architecture #information management: Information systems architecture (MF), p. 702.
ICSE-2002-Kruchten #named #tutorial: Tutorial: introduction to the rational unified process® (PK), p. 703.
ICSE-2002-Larman #design pattern #named #tutorial: Tutorial: mastering design patterns (CL), p. 704.
ICSE-2002-BlausteinOB #graph #sequence chart: Observing timed systems by means of message sequence chart graphs (SB, FO, VAB), p. 707.
ICSE-2002-PonsB #correctness #development #process #reasoning: Reasoning about the correctness of software development process (CP, GB), p. 708.
ICSE-2002-LenceviciusMR #using #validation: Software validation using power profiles (RL, EM, AR), p. 709.
ICSE-2002-SchapachnikBO #approach #architecture #automaton #development #distributed #model checking: An architecture-centric approach to the development of a distributed model-checker for timed automata (FS, VAB, AO), p. 710.
ICSE-2002-JandlRSG #corba #enterprise #integration: Enterprise application integration by means of a generic CORBA LDAP gateway (MJ, WR, AS, KMG), p. 711.
ICSE-2002-ZachariadisCME #information management #middleware #mobile #named: XMIDDLE: information sharing middleware for a mobile environment (SZ, LC, CM, WE), p. 712.
ICSE-2002-WermelingerO #community: The community workblench (MW, CO), p. 713.
ICSE-2002-GouveiaKWAF #contract #coordination #java: Coordination contracts for Java applications (JG, GK, MW, LFA, JLF), p. 714.
ICSE-2002-AcunaLQ #process #validation: Human capacities in the software process: empiric validation (STA, CML, VEQ), p. 715.
ICSE-2002-TrilnikPC #approach #aspect-oriented #development #named: Smartweaver: an agent-based approach for aspect-oriented development (FT, JADP, MRC), p. 716.
ICSE-2002-PaceC #architecture #aspect-oriented #framework #object-oriented: An object-oriented bridge among architectural styles, aspects and frameworks (JADP, MRC), p. 717.
ICSE-2002-Robillard #representation #source code: A representation for describing and analyzing concerns in source code (MPR), pp. 721–722.
ICSE-2002-Capra #middleware #mobile: Mobile computing middleware for context-aware applications (LC), pp. 723–724.
ICSE-2002-Wong #using: Use of software inspection inputs in practice (YKW), pp. 725–726.
ICSE-2002-Niere #design #fuzzy #interactive #logic: Fuzzy logic based interactive recovery of software design (JN), pp. 727–728.
ICSE-2002-Puett #development #framework #modelling #tool support: Holistic framework for establishing interoperability of heterogeneous software development tools and models (JP), pp. 729–730.
ICSE-2002-AtiyaK #concurrent #verification: A compliance notation for verifying concurrent systems (DMA, SK), pp. 731–732.
ICSE-2002-Raz #detection #research #semantics #specification: Research abstract for semantic detection in dynamic data feeds with incomplete specifications (OR), pp. 733–734.
ICSE-2002-DHondt #information management: Making software knowledgeable (MD), pp. 735–736.

Will Tracz, Michal Young, Jeff MageeProceedings of the 22rd International Conference on Software EngineeringICSE, 2002.

Contents (99 items)

Will Tracz, Michal Young, Jeff Magee
Proceedings of the 22rd International Conference on Software Engineering
ICSE, 2002.