Proceedings of the 22rd 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

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

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

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.