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

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

SE
DBLP
Scholar
Full names Links ISxN
@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 (CM3): 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/JTM: Multi-Dimensional Separation of Concerns for JavaTM (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/JTM: Multi-Dimensional Separation of Concerns for JavaTM (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.

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.