W. Richards Adrion, Alfonso Fuggetta, Richard N. Taylor, Anthony I. Wasserman
Proceedings of the 19th International Conference on Software Engineering
ICSE, 1997.
@proceedings{ICSE-1997,
acmid = "253228",
address = "Boston, Massachusetts, USA",
editor = "W. Richards Adrion and Alfonso Fuggetta and Richard N. Taylor and Anthony I. Wasserman",
isbn = "0-89791-914-9",
publisher = "{ACM}",
title = "{Proceedings of the 19th International Conference on Software Engineering}",
year = 1997,
}
Contents (112 items)
- ICSE-1997-KaiserDJY #architecture
- An Architecture for WWW-based Hypercode Environments (GEK, SED, WJ, JJY), pp. 3–13.
- ICSE-1997-PerpichPPVW #development #scalability #using #web
- Anywhere, Anytime Code Inspections: Using the Web to Remove Inspection Bottlenecks in Large-Scale Software Development (JP, DEP, AAP, LGV, MWW), pp. 14–21.
- ICSE-1997-CarzanigaPV #design #distributed #mobile #paradigm
- Designing Distributed Applications with Mobile Code Paradigms (AC, GPP, GV), pp. 22–32.
- ICSE-1997-NakajimaF #algebra #modelling #object-oriented #specification
- An Object-Oriented Modeling Method for Algebraic Specifications in CafeOBJ (SN, KF), pp. 34–44.
- ICSE-1997-WangRC #formal method
- Formalizing and Integrating the Dynamic Model within OMT (EYW, HAR, BHCC), pp. 45–55.
- ICSE-1997-BaresiOP #industrial #specification
- Introducing Formal Specification Methods in Industrial Practice (LB, AO, MP), pp. 56–66.
- ICSE-1997-FranklHLS #delivery #reliability #testing
- Choosing a Testing Method to Deliver Reliability (PGF, RGH, BL, LS), pp. 68–78.
- ICSE-1997-PodgurskiW #maintenance #reliability
- Re-estimation of Software Reliability After Maintenance (AP, EJW), pp. 79–85.
- ICSE-1997-ShimaTMT #case study #fault
- A Study on the Failure Intensity of Different Software Faults (KS, ST, KiM, KT), pp. 86–94.
- ICSE-1997-SeamanB #communication #empirical
- An Empirical Study of Communication in Code Inspections (CBS, VRB), pp. 96–106.
- ICSE-1997-SteinRHM #case study #distributed
- A Case Study of Distributed, Asynchronous Software Inspection (MS, JR, SJH, VM), pp. 107–117.
- ICSE-1997-JohnsonT #case study #overview #using
- Assessing Software Review Meetings: A Controlled Experimental Study Using CSRS (PMJ, DT), pp. 118–127.
- ICSE-1997-PorterSV #comprehension #developer #process
- Understanding the Effects of Developer Activities on Inspection Interval (AAP, HPS, LGV), pp. 128–138.
- ICSE-1997-RobinsonV #metamodelling #requirements
- A Meta-Model for Restructuring Stakeholder Requirements (WNR, VV), pp. 140–149.
- ICSE-1997-JacquotQ #approach #formal method #interface #specification #towards
- Early Specification of User-Interfaces: Toward a Formal Approach (JPJ, DQ), pp. 150–160.
- ICSE-1997-WilsonRH #analysis #automation #specification
- Automated Analysis of Requirement Specifications (WMW, LHR, LEH), pp. 161–171.
- ICSE-1997-GrahamU #architecture #user interface #visual notation
- Integrating Support for Temporal Media into an Architecture for Graphical User Interfaces (TCNG, TU), pp. 172–182.
- ICSE-1997-YehHC #architecture
- Manipulating Recovered Software Architecture Views (ASY, DRH, MPC), pp. 184–194.
- ICSE-1997-DeLineZS #interactive #lessons learnt
- Lessons on Converting Batch Systems to Support Interaction (RD, GZ, MS), pp. 195–204.
- ICSE-1997-DunietzESMI #design #testing
- Applying Design of Experiments to Software Testing (ISD, WKE, BDS, CLM, AI), pp. 205–215.
- ICSE-1997-BernotBG #formal method #functional #probability #testing
- A Theory of Probabilistic Functional Testing (GB, LB, PLG), pp. 216–226.
- ICSE-1997-AvruninCD #realtime
- Analyzing Partially-Implemented Real-Time Systems (GSA, JCC, LKD), pp. 228–238.
- ICSE-1997-PezzeY #analysis #modelling #multi #semantics #tool support #using
- Constructing Multi-Formalism State-Space Analysis Tools: Using Rules to Specify Dynamic Semantics of Models (MP, MY), pp. 239–249.
- ICSE-1997-ReeseL #analysis
- Software Deviation Analysis (JDR, NGL), pp. 250–260.
- ICSE-1997-PighinZ #analysis #metric #predict #statistics
- A Predictive Metric Based on Discriminant Statistical Analysis (MP, RZ), pp. 262–270.
- ICSE-1997-BrueggeD #communication #development #metric
- Communication Metrics for Software Development (BB, AHD), pp. 271–281.
- ICSE-1997-BasiliCEHM #component #cost analysis #library #modelling #reuse
- Characterizing and Modeling the Cost of Rework in a Library of Reusable Software Components (VRB, SEC, KEE, RBH, WLM), pp. 282–291.
- ICSE-1997-KusumotoMKHTS #petri net #probability
- A New Software Project Simulator Based on Generalized Stochastic Petri-net (SK, OM, TK, YH, YT, KS), pp. 293–302.
- ICSE-1997-PodorizhnyO #case study #comparison #design #experience #modelling
- The Criticality of Modeling Formalisms in Software Design Method Comparison: Experience Report (RMP, LJO), pp. 303–313.
- ICSE-1997-FriesenJW #specification
- Specification of Software Controlling a Discrete-Continuous Environment (VF, SJ, MW), pp. 315–325.
- ICSE-1997-FernandezR #automation #specification
- Automatic Checking of Instruction Specifications (MFF, NR), pp. 326–336.
- ICSE-1997-OCallahanJ #comprehension #named #type inference
- Lackwit: A Program Understanding Tool Based on Type Inference (RO, DJ), pp. 338–348.
- ICSE-1997-LindigS #composition #concept analysis #legacy
- Assessing Modular Structure of Legacy Code Based on Mathematical Concept Analysis (CL, GS), pp. 349–359.
- ICSE-1997-JerdingSB #interactive #visualisation
- Visualizing Interactions in Program Executions (DFJ, JTS, TB), pp. 360–370.
- ICSE-1997-HammerRHH #requirements #testing
- Measuring Requirements Testing (TH, LHR, LH, LEH), pp. 372–379.
- ICSE-1997-LaneZ #approach #metric
- Intergrating Measurement with Improvement: An Action-Oriented Approach (JAL, DZ), pp. 380–389.
- ICSE-1997-NguyenWC #evolution #process
- Total Software Process Model Evolution in EPOS (MNN, AIW, RC), pp. 390–399.
- ICSE-1997-BonfattiGM #development #process
- An Improved Process for the Development of PLC Software (FB, GG, PDM), pp. 400–410.
- ICSE-1997-BriandDM #c++ #metric
- An Investigation into Coupling Measures for C++ (LCB, PTD, WLM), pp. 412–421.
- ICSE-1997-YurRLS #analysis #c #incremental
- Incremental Analysis of Side Effects for C Software System (JSY, BGR, WL, PS), pp. 422–432.
- ICSE-1997-TonellaAFM #analysis #c++ #morphism #pointer #polymorphism #slicing
- Flow Insensitive C++ Pointers and Polymorphism Analysis and its Application to Slicing (PT, GA, RF, EM), pp. 433–443.
- ICSE-1997-VernerC #developer #prototype
- The Effect of Department Size on Developer Attitudes to Prototyping (JMV, NC), pp. 445–455.
- ICSE-1997-CifuentesF #distributed #internet
- Copyright in Shareware Software Distributed on the Internet — The Trumpet Winsock Case (CC, AF), pp. 456–464.
- ICSE-1997-Botting #on the
- On the Economics of Mass-Marketed Software (RJB), pp. 465–470.
- ICSE-1997-Wile #syntax
- Abstract Syntax from Concrete Syntax (DSW), pp. 472–480.
- ICSE-1997-KiczalesLLMMM #design #guidelines #implementation
- Open Implementation Design Guidelines (GK, JL, CVL, CM, AM, GCM), pp. 481–490.
- ICSE-1997-FroehlichHLS #framework #object-oriented
- Hooking into Object-Oriented Application Frameworks (GF, HJH, LL, PGS), pp. 491–501.
- ICSE-1997-SullivanSM #architecture #formal method #standard #using
- Using Formal Methods to Reason about Architectural Standards (KJS, JS, MM), pp. 503–513.
- ICSE-1997-AlurJKO #model checking #realtime
- Model-Checking of Real-Time Systems: A Telecommunications Application (RA, LJJ, JJK, JVO), pp. 514–524.
- ICSE-1997-JagadeesanPPRV #testing #tool support
- Specification-based Testing of Reactive Software: Tools and Experiments (LJJ, AAP, CP, JCR, LGV), pp. 525–535.
- ICSE-1997-Steele #evolution #java #web
- Java and the Evolution of Web Software (GLSJ), p. 538.
- ICSE-1997-Weiser #matter #people #re-engineering
- Software Engineering That Matters to People (MW), p. 538.
- ICSE-1997-Yourdon #developer #re-engineering
- Beyond Software Engineering: Ten Imperatives for the Successful Software Developer at the End of the Decade (EY), p. 538.
- ICSE-1997-Osterweil #process
- Software Processes Are Software Too, Revisited: An Invited Talk on the Most Influential Paper of ICSE 9 (LJO), pp. 540–548.
- ICSE-1997-Lehman #modelling #process
- Process Modelling — Where Next (MML), pp. 549–552.
- ICSE-1997-KarbachNK #scalability
- Leveraging a Large Banking Organization to Object Technology (WK, JN, HBK), pp. 554–555.
- ICSE-1997-MelansonNS #industrial
- Tailoring OMT for an Industry Software Project (JM, RLN, DS), pp. 556–557.
- ICSE-1997-EixelsbergerWKG #architecture #embedded
- Software Architecture Recovery of Embedded Software (WE, LW, RK, HG), pp. 558–559.
- ICSE-1997-WelschSK #object-oriented #re-engineering
- Integrating Forward and Reverse Object-Oriented Software Engineering (CW, AS, SK), pp. 560–561.
- ICSE-1997-Sullivan #design #problem #user interface
- The Windows 95 User Interface: Iterative Design and Problem Tracking in Action (KS), pp. 562–563.
- ICSE-1997-RyanK #industrial #requirements
- Prioritizing Software Requirements in an Industrial Setting (KR, JK), pp. 564–565.
- ICSE-1997-Hefner #lessons learnt #maturity #security
- Lessons Learned with the Systems Security Engineering Capability Maturity Model (RH), pp. 566–567.
- ICSE-1997-EngelmannSL #assessment #experience #named
- BOOTSTRAP: Four Years of Assessment Experience (FE, HS, EL), pp. 568–569.
- ICSE-1997-Baker #code review #quality
- Code Reviews Enhance Software Quality (RABJ), pp. 570–571.
- ICSE-1997-OshanaC #implementation #maturity #re-engineering
- Implementing Cleanroom Software Engineering into a Mature CMM-Based Software Organization (RO, FPC), pp. 572–573.
- ICSE-1997-BondR #development #process
- Redesigning the Systems Development Process (DB, PR), pp. 574–575.
- ICSE-1997-RamKH #architecture #product line
- Architecting Families of Software-Intensive Products (AR, HK, PH), p. 580.
- ICSE-1997-Royce #development #metric
- Pragmatic Software Metrics for Iterative Development (Presentation) (WR), p. 585.
- ICSE-1997-Perry #architecture #overview #state of the art
- An Overview of the State of the Art in Software Architecture (DEP), pp. 590–591.
- ICSE-1997-Ackerman #collaboration
- Everything you Need To Know About Collaboration and Collaboration Software (MSA), p. 592.
- ICSE-1997-NaumovichCOD #concurrent #verification
- Verification of Concurrent Software with FLAVERS (GN, LAC, LJO, MBD), pp. 594–595.
- ICSE-1997-Damon #analysis #design #interactive #named
- Nitpick: A Tool for Interactive Design Analysis (CD), pp. 596–597.
- ICSE-1997-HitomiBT #framework #named #process
- Endeavors: A Process System Infrastructure (ASH, GAB, RNT), pp. 598–599.
- ICSE-1997-RobbinsHR #architecture #design #evolution #named
- Argo: A Design Environment for Evolving Software Architectures (JER, DMH, DFR), pp. 600–601.
- ICSE-1997-CohenFNF #automation #monitoring #requirements
- Automatic Monitoring of Software Requirements (DC, MSF, KN, SF), pp. 602–603.
- ICSE-1997-LieberherrO #java #maintenance
- Preventive Program Maintenance in Demeter/Java (KJL, DO), pp. 604–605.
- ICSE-1997-StoreyWM #named #reverse engineering #visualisation
- Rigi: A Visualization Environment for Reverse Engineering (MADS, KW, HAM), pp. 606–607.
- ICSE-1997-HsiaK #maintenance #object-oriented #testing
- An Object-Oriented Testing and Maintenance Environment (PH, DCK), pp. 608–609.
- ICSE-1997-HeitmeyerKL #requirements #specification #tool support #validation #verification
- The SCR Method for Formally Specifying, Verifying, and Validating Requirements: Tool Support (CLH, JK, BGL), pp. 610–611.
- ICSE-1997-DarimontDML #named #requirements
- GRAIL/KAOS: An Environment for Goal-Driven Requirements Engineering (RD, ED, PM, AvL), pp. 612–613.
- ICSE-1997-Ning #architecture #component #design #named #re-engineering
- ADE — An Architecture Design Environment for Component-Based Software Engineering (JQN), pp. 614–615.
- ICSE-1997-SullivanCZC #programming #tool support
- Package-Oriented Programming of Engineering Tools (KJS, JC, SZ, DC), pp. 616–617.
- ICSE-1997-Schurr #re-engineering #tool support #visual notation
- Developing Graphical (Software Engineering) Tools with PROGRES (AS), pp. 618–619.
- ICSE-1997-BoscoMM #generative #specification
- TINA ACE: An Environment for Specifying, Developing and Generating TINA Services (PGB, GM, CM), pp. 620–621.
- ICSE-1997-Curtis #lessons learnt #process
- Software Process Improvement: Methods and Lessons Learned (BC), pp. 624–625.
- ICSE-1997-Korson #development #object-oriented #process #robust
- A Realistic, Commercially Robust Process for the Development of Object-Oriented Software Systems (TDK), pp. 626–627.
- ICSE-1997-Musa #testing
- Software-Reliability-Engineered Testing Practice (JDM), pp. 628–629.
- ICSE-1997-Waldo #java #named #re-engineering
- Java: A Language for Software Engineering (JW), p. 630.
- ICSE-1997-WiledenK
- Software Interoperability: Principles and Practice (JCW, AK), pp. 631–632.
- ICSE-1997-KramerM #architecture #distributed
- Distributed Software Architectures (JK, JM), pp. 633–634.
- ICSE-1997-Gentleman #component #effectiveness #off the shelf #using
- Effective Use of COTS (Commercial-off-the-Shelf) Software Components in Long Lived Systems (WMG), pp. 635–636.
- ICSE-1997-FaulkH #evolution #realtime #requirements
- Rigorous Requirements for Real-Time Systems: Evolution and Application of the SCR Method (SRF, CLH), pp. 637–638.
- ICSE-1997-GruhnS #process
- Software and Business Process Technology (VG, WS), pp. 639–640.
- ICSE-1997-Emmerich #corba
- An Introduction to OMG/CORBA (WE), pp. 641–642.
- ICSE-1997-BasiliM #experience #how
- The Experience Factory: How to Build and Run One (VRB, FEM), pp. 643–644.
- ICSE-1997-HumphreyO #process #tutorial
- The Personal Software Process (PSP): A Full-Day Tutorial (WSH, JWO), pp. 645–646.
- ICSE-1997-NuseibehR #requirements
- Making Requirements Measurable (BN, SR), pp. 647–648.
- ICSE-1997-ArdisW #analysis #product line
- Defining Families: The Commonality Analysis (MAA, DMW), pp. 649–650.
- ICSE-1997-Pfleeger
- Evaluating Software Technology (SLP), pp. 651–652.
- ICSE-1997-Fowler #analysis #design #object-oriented #overview
- A Survey of Object Oriented Analysis and Design Methods (MF), pp. 653–654.
- ICSE-1997-SeiterLO #evolution #java #source code
- Simplifying the Evolution of Java Programs (LMS, KJL, DO), pp. 655–656.
- ICSE-1997-PerryPV #empirical
- A Primer on Empirical Studies (DEP, AAP, LGV), pp. 657–658.
- ICSE-1997-Muller #migration #reverse engineering
- Reverse Engineering Strategies for Software Migration (HAM), pp. 659–660.
- ICSE-1997-BrodmanJ #approach #process
- A Software Process Improvement Approach Tailored for Small Organizations and Small Projects (JGB, DLJ), pp. 661–662.
- ICSE-1997-PreeS #design pattern #development #object-oriented
- Design Patterns for Object-Oriented Software Development (WP, HS), pp. 663–664.
- ICSE-1997-FischerL #formal method #multi
- Formal Methods for Broadband and Multimedia Systems (SF, SL), pp. 665–666.
- ICSE-1997-GoelS #data analysis #re-engineering
- Software Engineering Data Analysis Techniques (ALG, MS), pp. 667–668.
- ICSE-1997-Rajlich #comprehension #evolution #legacy
- Comprehension and Evolution of Legacy Software (VR), pp. 669–670.
- ICSE-1997-Bush #maturity #modelling #process
- European and American Software Process Maturity Models and Assessments (MWB), pp. 671–672.
- ICSE-1997-BrowneM #library #reuse #web
- Reuse Library Interoperability and the World Wide Web (SB, JWM), pp. 684–691.
- ICSE-1997-MedvidovicOT #architecture #component #off the shelf #reuse #using
- Reuse of Off-the-Shelf Components in C2-Style Architectures (NM, PO, RNT), pp. 692–700.
- ICSE-1997-KarhinenRT #configuration management #design #reuse
- Configuring Designs for Reuse (AK, AR, TT), pp. 701–710.
25 ×#tutorial
13 ×#process
11 ×#architecture
11 ×#case study
10 ×#design
10 ×#experience
9 ×#analysis
9 ×#named
8 ×#re-engineering
8 ×#requirements
13 ×#process
11 ×#architecture
11 ×#case study
10 ×#design
10 ×#experience
9 ×#analysis
9 ×#named
8 ×#re-engineering
8 ×#requirements