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

Hausi A. Müller, Mary Jean Harrold, Wilhelm Schäfer
Proceedings of the 23rd International Conference on Software Engineering
ICSE, 2001.

@proceedings{ICSE-2001,
	acmid         = "381473",
	address       = "Toronto, Ontario, Canada",
	editor        = "Hausi A. Müller and Mary Jean Harrold and Wilhelm Schäfer",
	isbn          = "0-7695-1050-7",
	publisher     = "{IEEE Computer Society}",
	title         = "{Proceedings of the 23rd International Conference on Software Engineering}",
	year          = 2001,
}

Contents (116 items)

ICSE-2001-ClarkeW #approach #aspect-oriented #composition #design #reuse: Composition Patterns: An Approach to Designing Reusable Aspects (SC, RJW), pp. 5–14.
ICSE-2001-MakinenS #behaviour #interactive #modelling #named #uml: MAS — An Interactive Synthesizer to Support Behavioral Modeling in UML (EM, TS), pp. 15–24.
ICSE-2001-RiccaT #analysis #testing #web: Analysis and Testing of Web Applications (FR, PT), pp. 25–34.
ICSE-2001-CobleighCO #algorithm #analysis #data flow #finite #verification: The Right Algorithm at the Right Time: Comparing Data Flow Analysis Algorithms for Finite State Verification (JMC, LAC, LJO), pp. 37–46.
ICSE-2001-BrylowDP #static analysis: Static Checking of Interrupt-Driven Software (DB, ND, JP), pp. 47–56.
ICSE-2001-DillonS #analysis #graph #specification #using: Leightweight Analysis of Operational Specifications Using Inference Graphs (LKD, KS), pp. 57–67.
ICSE-2001-Abrahamsson #concept #development #process: Commitment Development in Software Process Improvement: Critical Misconceptions (PA), pp. 71–80.
ICSE-2001-HerbslebMFG #development #distance #empirical: An Empirical Study of Global Software Development: Distance and Speed (JDH, AM, TAF, REG), pp. 81–90.
ICSE-2001-Bosch #product line: Software Product Lines: Organizational Alternatives (JB), pp. 91–100.
ICSE-2001-MaleticM #comprehension #semantics #using: Supporting Program Comprehension Using Semantic and Structural Information (JIM, AM), pp. 103–112.
ICSE-2001-RaysideK #object-oriented #on the #programming: On the Syllogistic Structure of Object-Oriented Programming (DR, KK), pp. 113–122.
ICSE-2001-Egyed #approach #traceability: A Scenario-Driven Approach to Traceability (AE), pp. 123–132.
ICSE-2001-DunsmoreRW #object-oriented: Systematic Object-Oriented Inspection — An Emprirical Study (AD, MR, MW), pp. 135–144.
ICSE-2001-BifflG #estimation #fault #modelling: Evaluating the Accuracy of Defect Estimation Models Based on Inspection Data from Two Inspection Cycles (SB, WG), pp. 145–154.
ICSE-2001-BifflFL #development #effectiveness: Investigating the Cost-Effectiveness of Reinspections in Software Development (SB, BGF, OL), pp. 155–164.
ICSE-2001-StirewaltD #analysis #approach #component #formal method #tool support: A Component-Based Approach to Building Formal Analysis Tools (KS, LKD), pp. 167–176.
ICSE-2001-DwyerHJLPRZV #abstraction #finite #verification: Tool-Supported Program Abstraction for Finite-State Verification (MBD, JH, RJ, SL, CSP, R, HZ, WV), pp. 177–187.
ICSE-2001-UchitelK #behaviour #modelling: A Workbench for Synthesising Behaviour Models from Scenarios (SU, JK), pp. 188–197.
ICSE-2001-KrishnamurthyS #distributed #quantifier #specification #testing: The Specification and Testing of Quantified Progress Properties in Distributed Systems (PK, PAGS), pp. 201–210.
ICSE-2001-BertolinoIM #architecture #execution #testing: An Explorative Journey from Architectural Tests Definition downto Code Tests Execution (AB, PI, HM), pp. 211–220.
ICSE-2001-ReissR #encoding: Encoding Program Executions (SPR, MR), pp. 221–230.
ICSE-2001-TruyenVJVJ #component: Dynamic and Selective Combination of Extensions in Component-Based Applications (ET, BV, WJ, PV, BNJ), pp. 233–242.
ICSE-2001-WohlstadterJD #generative #source code: Generating Wrappers for Command Line Programs: The Cal-Aggie Wrap-O-Matic Project (EW, SJ, PTD), pp. 243–252.
ICSE-2001-LorenzV #approach #component #design: Designing Components Versus Objects: A Transformational Approach (DHL, JMV), pp. 253–224.
ICSE-2001-GriswoldYK #evolution: Exploiting the Map Metaphor in a Tool for Software Evolution (WGG, JJY, YK), pp. 265–274.
ICSE-2001-MurphyLWR #case study #source code: Separating Features in Source Code: An Exploratory Study (GCM, AL, RJW, MPR), pp. 275–284.
ICSE-2001-CardoneL #framework #refinement: Comparing Frameworks and Layered Refinement (RC, CL), pp. 285–294.
ICSE-2001-KazmanAK #architecture #cost analysis: Quantifying the Costs and Benefits of Architectural Decisions (RK, JA, MK), pp. 297–306.
ICSE-2001-JhaW #analysis #network: Survivability Analysis of Network Systems (SJ, JMW), pp. 307–317.
ICSE-2001-FeilerW #adaptation #feedback #incremental #scheduling: Adaptive Feedback Scheduling of Incremental and Design-to-Time Tasks (PHF, JJW), pp. 318–326.
ICSE-2001-ElbaumMR #fault #testing: Incorporating Varying Test Costs and Fault Severities into Test Case Prioritization (SGE, AGM, GR), pp. 329–338.
ICSE-2001-DickinsonLP #analysis #clustering #execution: Finding Failures by Cluster Analysis of Execution Profiles (WD, DL, AP), pp. 339–348.
ICSE-2001-ZelkowitzR #comprehension #safety: Understanding IV & V in a Safety Critical and Complex Evolutionary Environment: The NASA Space Shuttle Program (MVZ, IR), pp. 349–357.
ICSE-2001-HamletMW #component #reliability: Theory of Software Reliability Based on Components (RGH, DVM, DMW), pp. 361–370.
ICSE-2001-CabriLZ #coordination: Engineering Mobile-Agent Applications via Context-Dependent Coordination (GC, LL, FZ), pp. 371–380.
ICSE-2001-RomanHH #ad hoc #consistency #network: Consistent Group Membership in Ad Hoc Networks (GCR, QH, AH), pp. 381–388.
ICSE-2001-MenziesPH #analysis #diagrams #formal method #performance #requirements: Fast Formal Analysis of Requirements via “Topoi Diagrams” (TM, JDP, MEH), pp. 391–400.
ICSE-2001-OvermyerLR #analysis #concept #modelling #using: Conceptual Modeling through Linguistic Analysis Using LIDA (SPO, BL, OR), pp. 401–410.
ICSE-2001-EasterbrookC #consistency #framework #multi #reasoning: A Framework for Multi-Valued Reasoning over Inconsistent Viewpoints (SME, MC), pp. 411–420.
ICSE-2001-AntonP #evolution #functional: Functional Paleontology: System Evolution as the User Sees It (AIA, CP), pp. 421–430.
ICSE-2001-McUmberC #formal method #framework #uml: A General Framework for Formalizing UML with Formal Languages (WEM, BHCC), pp. 433–442.
ICSE-2001-CampaillaCCJV #performance #using: Efficient Filtering in Publish-Subscribe Systems Using Binary Decision (AC, SC, EMC, SJ, HV), pp. 443–452.
ICSE-2001-BerstelCRP #automation #design #formal method #scalability #user interface: A Scalable Formal Method for Design and Automatic Checking of User Interfaces (JB, SCR, GR, PSP), pp. 453–462.
ICSE-2001-HaebererM #framework #re-engineering: Scientific Rigour, an Answer to a Pragmatic Question: A Linguistic Framework for Software Engineering (AMH, TSEM), pp. 463–472.
ICSE-2001-Marsic #architecture: An Architecture for Heterogeneous Groupware Applications (IM), pp. 475–484.
ICSE-2001-SullivanS #architecture: A Web-Oriented Architectural Aspect for the Emerging Computational Tapestry (KJS, AS), pp. 485–492.
ICSE-2001-LoCPC #component #documentation #named #xml: XAS: A System for Accessing Componentized, Virtual XML Documents (MLL, SKC, SP, JYC), pp. 493–502.
ICSE-2001-HuntR #documentation #implementation #using #version control #web: Using the Web for Document Versioning: An Implementation Report for Delta V (JJH, JR), pp. 507–513.
ICSE-2001-TilleyH #case study #comprehension #reverse engineering #tool support #web: Evaluating the Reverse Engineering Capabilities of Web Tools for Understanding Site Content and Structure: A Case Study (SRT, SH), pp. 514–523.
ICSE-2001-AokiHKNNRTY #3d #case study #evolution #library #multi #object-oriented #open source: A Case Study of the Evolution of Jun: An Object-Oriented Open-Source 3D Multimedia Library (AA, KH, KK, KN, YN, BR, AT, YY), pp. 524–533.
ICSE-2001-MullerT #case study #programming: Case Study: Extreme Programming in a University Environment (MMM, WFT), pp. 537–544.
ICSE-2001-EbertPSK #development #process #validation: Improving Validation Activities in a Global Software Development (CE, CHP, RS, HK), pp. 545–554.
ICSE-2001-InBRD #case study #quality #requirements: Applying WinWin to Quality Requirements: A Case Study (HI, BWB, TLR, MD), pp. 555–564.
ICSE-2001-EmmerichEF #architecture #enterprise #integration #named: TIGRA — An Architectural Style for Enterprise Application Integration (WE, EE, HF), pp. 567–576.
ICSE-2001-FioravantiMN #analysis #object-oriented #re-engineering: Reengineering Analysis of Object-Oriented Systems via Duplication (FF, GM, PN), pp. 577–586.
ICSE-2001-BoehmP #re-engineering #student: Educating Software Engineering Students to Manage Risk (BWB, DP), pp. 591–600.
ICSE-2001-SitaramanLWHW #approach #component #education #evaluation #formal method #re-engineering: A Formal Approach to Component-Based Software Engineering: Education and Evaluation (MS, TJL, BWW, EJH, LW), pp. 601–609.
ICSE-2001-Kajko-MattssonFO #education #maintenance #maturity: Corrective Maintenance Maturity Model (CM³): Maintainer’s Education and Training (MKM, SF, UHO), pp. 610–619.
ICSE-2001-Shepard #performance #set #source code: An Efficient Set of Software Degree Programs for One Domain (TS), pp. 623–632.
ICSE-2001-TvedtTG #education #re-engineering: The Software Factory: Combining Undergraduate Computer Science and Software Engineering Education (JDT, RT, KAG), pp. 633–642.
ICSE-2001-ModesittBW #overview #re-engineering #source code #what: Academic Software Engineering: What Is and What Could Be? Results of the First Annual Survey for International SE Programs (KLM, DJB, LHW), pp. 643–652.
ICSE-2001-Sabbah #internet #re-engineering: Software Engineering and the Internet (DS), p. 655.
ICSE-2001-Shaw #architecture #research: The Coming-of-Age of Software Architecture Research (MMS), pp. 656–664.
ICSE-2001-Balzer01a #consistency #nondeterminism #revisited: “Tolerating Inconsistency” Revisited (RB), p. 665.
ICSE-2001-Voigt #challenge #perspective #re-engineering: Software Engineering Challenges: A CIO’s Perspective (BV), p. 666.
ICSE-2001-Northrop #reuse: Reuse That Pays (LMN), p. 667.
ICSE-2001-BalzerG #industrial #re-engineering: Process-Centered Software Engineering Environments: Academic and Industrial Perspectives (RB, VG), pp. 671–672.
ICSE-2001-Broy #modelling #perspective #specification: Specification and Modeling: An Academic Perspective (MB), pp. 673–675.
ICSE-2001-Selic #industrial #modelling #perspective #specification: Specification and Modeling: An Industrial Perspective (BS), pp. 676–677.
ICSE-2001-FreemanBSSDT #re-engineering: Software Engineering Body of Knowledge (SWEBOK) (PF, DJB, HS, MS, RD, JBT), pp. 693–696.
ICSE-2001-FranceK #uml: UML for Software Engineers (RBF, CK), pp. 705–706.
ICSE-2001-Fruhauf #project management: The Intertwining Between Risk and Project Management (KF), pp. 707–708.
ICSE-2001-Wallnau #component #concept #experience #re-engineering: Methods of Component-Based Software Engineering: Essential Concepts and Classroom Experience (KCW), pp. 709–710.
ICSE-2001-Zundorf #case study #development #uml: From Use Cases to Code — Rigorous Software Development with UML (AZ), pp. 711–712.
ICSE-2001-YounessiH #development #flexibility #named #object-oriented #process #uml: OPEN: A Flexible OO/CBD Process for Software-Intensive Systems Development, a UML Exposition (HY, BHS), pp. 713–714.
ICSE-2001-SelicK #architecture #uml: Describing Software Architecture with UML (PK, BS, WK), pp. 715–716.
ICSE-2001-Bosch01a #architecture #design #product line: Software Product Lines and Software Architecture Design (JB), p. 717.
ICSE-2001-ShepardK #how: How to Do Inspections When There is No Time (TS, DK), pp. 718–719.
ICSE-2001-BoehmGB #named #requirements: EasyWinWin: A Groupware-Supported Nethodology for Requirements Negotiation (BWB, PG, ROB), pp. 720–721.
ICSE-2001-Ran #architecture #concept #tutorial: Tutorial on Fundamental Concepts for Practical Software Architecture (AR), pp. 722–723.
ICSE-2001-White #java: An Introduction to Java 2 Micro Edition (J2ME); Java in Small Things (JW), pp. 724–725.
ICSE-2001-ShullRB #using: Improving Software Inspections by Using Reading Techniques (FS, IR, VRB), pp. 726–727.
ICSE-2001-SmithOB #analysis #architecture #component #mining #product line #re-engineering: Mining Components for a Software Architecture and a Product Line: the Options Analysis for Reengineering (OAR) Method (DBS, LO, JB), p. 728.
ICSE-2001-TarrO #java #multi #named: Hyper/J^TM: Multi-Dimensional Separation of Concerns for Java^TM (PLT, HO), pp. 729–730.
ICSE-2001-White01a #architecture #design #enterprise: Enterprise JavaBean Architecture and Design Issues (JW), pp. 731–732.
ICSE-2001-Dong #diagrams #modelling: State, Event, Time and Diagram in System Modeling (JSD), pp. 733–734.
ICSE-2001-Korson #architecture #case study #java #uml: From UML to Java, Building a 3-Tier Architecture: Case Study (TDK), pp. 735–736.
ICSE-2001-Gomaa01a #concurrent #design #distributed #realtime #uml: Designing Concurrent, Distributed, and Real-Time Applications with UML (HG), pp. 737–738.
ICSE-2001-Baxter #maintenance #re-engineering #using: Using Transformation Systems for Software Maintenance and Reengineering (IDB), pp. 739–740.
ICSE-2001-NordPSH #analysis #architecture #design #effectiveness #uml: Effective Software Architecture Design: From Global Analysis to UML Descriptions (RLN, DJP, DS, CH), pp. 741–742.
ICSE-2001-AmyotM #case study #design #requirements: Bridging the Requirements/Design Gap in Dynamic Systems with Use Case Maps (UCMs) (DA, GM), pp. 743–744.
ICSE-2001-BachmannB #design: Introduction to the Attribute Driven Design Method (FB, LJB), pp. 745–746.
ICSE-2001-ButlerBCE #generative #product line: Generative Techniques for Product Lines (GB, DSB, KC, UWE), pp. 760–761.
ICSE-2001-HarmanJ #algorithm #metaheuristic #named #re-engineering #using: SEMINAL: Software Engineering Using Metaheuristic INnovative Algorithms (MH, BFJ), pp. 762–763.
ICSE-2001-CastroK #architecture #requirements: From Software Requirements to Architectures (JC, JK), pp. 764–765.
ICSE-2001-MascoloEF #re-engineering #xml: XML Technologies and Software Engineering (CM, WE, AF), pp. 775–776.
ICSE-2001-SelicKLB #architecture #uml: Describing Software Architecture with UML (PK, BS, WK, GL, AWB), p. 777.
ICSE-2001-Campbell #analysis #diagrams #uml #visualisation: Visualizaiton an Interpretation of Analysis Results within the Context of Formalized UML Diagrams (LAC), pp. 785–786.
ICSE-2001-Cangussu #modelling #process #testing: Modeling and Controlling the Software Test Process (JWC), pp. 787–788.
ICSE-2001-Gray #component #framework #generative #using: Using Software Component Generators to Contstruct a Meta-Weaver Framework (JG), pp. 789–790.
ICSE-2001-Hou #deployment #framework #object-oriented: Supporting the Deployment of Object-Oriented Frameworks (DH), pp. 791–792.
ICSE-2001-Kaveh #design #model checking: Model Checking Distributd Objects Design (NK), pp. 793–794.
ICSE-2001-Kirda #independence #web #web service: Web Engineering Device Independent Web Services (EK), pp. 795–796.
ICSE-2001-Mehta #evolution #legacy #re-engineering #using: Evolving Legacy Systems Using Feature Engineering and CBSE (AM), pp. 797–798.
ICSE-2001-Smolko #architecture #consistency #design #distributed #evaluation #mobile: Design and Evaluation of the Mobile Agent Architecture for Distributed Consistency Management (DS), pp. 799–800.
ICSE-2001-RedondoA #incremental #process #reuse #specification #using: Reuse of Verificatino Efforts and Incomplete Specifications in a Formalized, Iterative and Incremental Software Process (RPDR, JJPA), pp. 801–802.
ICSE-2001-Streitferdt #product line #traceability: Traceability for System Families (DS), pp. 803–804.
ICSE-2001-KoskinenPSSK #tool support #uml: Model Processing Tools in UML (JK, JP, PS, TS, KK), pp. 819–820.
ICSE-2001-OssherT #java #multi #named: Hyper/J^TM: Multi-Dimensional Separation of Concerns for Java^TM (HO, PLT), pp. 821–822.
ICSE-2001-HakalaHKPVV #architecture #programming #using: Architecture-Oriented Programming Using FRED (MH, JH, KK, JP, AV, JV), pp. 823–824.
ICSE-2001-Michail #data mining #library #mining #named #reuse: CodeWeb: Data Mining Library Reuse Patterns (AM), pp. 827–828.
ICSE-2001-SucciYP #development #named #product line: Holmes: An Intelligent System to Support Software Product Line Development (GS, JY, WP), pp. 829–830.
ICSE-2001-ZhangS #integration #named #representation #xml: Babel: Representing Business Rules in XML for Application Integration (HZ, ES), pp. 831–832.
ICSE-2001-AlurAGHKKMMW #design #model checking #named: JMOCHA: A Model Checking Tool that Exploits Design Structure (RA, LdA, RG, TAH, MK, CMK, RM, FYCM, BYW), pp. 835–836.
ICSE-2001-KamiyaOKKI #java #maintenance #source code #tool support: Maintenance Support Tools for JAVA Programs: CCFinder and JAAT (TK, FO, KK, SK, KI), pp. 837–838.
ICSE-2001-HobatrM #c++ #debugging #using: Using OCL-Queries for Debugging C++ (CH, BAM), pp. 839–840.

Hausi A. Müller, Mary Jean Harrold, Wilhelm SchäferProceedings of the 23rd International Conference on Software EngineeringICSE, 2001.

Contents (116 items)

Hausi A. Müller, Mary Jean Harrold, Wilhelm Schäfer
Proceedings of the 23rd International Conference on Software Engineering
ICSE, 2001.