Table of Contents

• The Role of Software Development Methodologies: Past, Present, and FutureTom DeMarco. 2-4 [doi]
• The Program Understanding Problem: Analysis and a Heuristic ApproachSteven G. Woods, Qiang Yang. 6-15 [doi]
• The Design of Whole-Program Analysis ToolsDarren C. Atkinson, William G. Griswold. 16-27 [doi]
• How to Identify Binary Relations for Domain ModelsHermann Kaindl. 28-36 [doi]
• OPSIS: A View Mechanism for Software Processes Which Supports Their Evolution and ReuseDenis Avrilionis, Pierre-Yves Cunin, Christer Fernström. 38-47 [doi]
• GRIDS - GRaph-based, Integrated Development of Software: Integrating Different Perspectives of Software EngineeringAndreas Zamperoni. 48-59 [doi]
• An Analytic Framework for Specifying and Analyzing Imprecise RequirementsXiaoqing Frank Liu, John Yen. 60-69 [doi]
• Assertion-Oriented Automated Test Data GenerationBogdan Korel, Ali M. Al-Yami. 71-80 [doi]
• A Specification-Based Adaptive Test Case Generation Strategy for Open Operating System StandardsAki Watanabe, Ken Sakamura. 81-89 [doi]
• An Empirical Study of Static Call Graph ExtractorsGail C. Murphy, David Notkin, Erica S.-C. Lan. 90-99 [doi]
• Industrial Experience with Design PatternsKent Beck, James Coplien, Ron Crocker, Lutz Dominick, Gerard Meszaros, Frances Paulisch, John M. Vlissides. 103-114 [doi]
• Engineering an Open Client/Server-Platform for a Distributed Austrian Alpine Road-Pricing System in 240 Days: Case Study and Experience ReportStefan Biffl, Thomas Grechenig, Stephan Oberpfalzer. 115-124 [doi]
• An Object-Oriented Implementation of B-ISDN Signalling - Part 2: Extendability Stands the TestAlexander W. van der Vekens. 125-132 [doi]
• Independent On-Line Monitoring of Evolving SystemsNaftaly H. Minsky. 134-143 [doi]
• Checking Subsystem Safety Properties in Compositional Reachability AnalysisShing-Chi Cheung, Jeff Kramer. 144-154 [doi]
• Assertional Reasoning about Pairwise Transient Interactions in Mobile ComputingGruia-Catalin Roman, Peter J. McCann, Jerome Y. Plun. 155-164 [doi]
• Machine Support for Software Development (Abstract)Douglas R. Smith. 167-168 [doi]
• Effort Estimation Using AnalogyMartin J. Shepperd, Chris Schofield, Barbara A. Kitchenham. 170-178 [doi]
• Experiences of Software Quality Management Using Metrics through the Life-CycleHideto Ogasawara, Atsushi Yamada, Michiko Kojo. 179-188 [doi]
• Analytical and Empirical Evaluation of Software Reuse MetricsPremkumar T. Devanbu, Sakke Karstu, Walcélio L. Melo, William Thomas. 189-199 [doi]
• A Case Study in Applying a Systematic Method for COTS SelectionJyrki Kontio. 201-209 [doi]
• System Acquisition Based on Software Product AssessmentJean Mayrand, François Coallier. 210-219 [doi]
• Experience Assessing an Architectural Approach to Large-Scale Systematic ReuseKevin J. Sullivan, John C. Knight. 220-229 [doi]
• The Role of Formal Techniques: Past, Current and Future or How Did Software Get so Reliable without Proof? (Extended Abstract)C. A. R. Hoare. 233-234 [doi]
• Using KIDS as a Tool Support for VDMYves Ledru. 236-245 [doi]
• Executable Object Modeling with StatechartsDavid Harel, Eran Gery. 246-257 [doi]
• Forcing Behavioral Subtyping through Specification InheritanceKrishna Kishore Dhara, Gary T. Leavens. 258-267 [doi]
• Beyond Structured ProgrammingSi Pan, R. Geoff Dromey. 268-277 [doi]
• Supporting the Construction and Evolution of Component RepositoriesScott Henninger. 279-288 [doi]
• A New Approach to Consistency Control in Software EngineeringGeorg Heidenreich, Mark Minas, Detlef Kips. 289-297 [doi]
• Configuration Management with Logical StructuresYi-Jing Lin, Steven P. Reiss. 298-307 [doi]
• A Generic, Peer-to-Peer Repository for Distributed Configuration ManagementAndré van der Hoek, Dennis Heimbigner, Alexander L. Wolf. 308-317 [doi]
• A Systematic Survey of CMM Experience and ResultsJames D. Herbsleb, Dennis Goldenson. 323-330 [doi]
• DYNAMITE: Dynamic Task Nets for Software Process ManagementPeter Heimann, Gregor Joeris, Carl-Arndt Krapp, Bernhard Westfechtel. 331-341 [doi]
• Designing and Implementing ::::COO::::: Design Process, Architectural Style, Lessons LearnedClaude Godart, Gérôme Canals, François Charoy, Pascal Molli, Hala Skaf. 342-352 [doi]
• An Evaluation of Software Test Environment Architectures353-364 [doi]
• Scene: Using Scenario Diagrams and Active Text for Illustrating Object-Oriented ProgramsKai Koskimies, Hanspeter Mössenböck. 366-375 [doi]
• System Dynamics Modeling of an Inspection-Based ProcessRaymond J. Madachy. 376-386 [doi]
• Monitoring Compliance of a Software System with Its High-Level Design ModelsMohlalefi Sefika, Aamod Sane, Roy H. Campbell. 387-396 [doi]
• Simplifying Data Integration: The Design of the Desert Software Development EnvironmentSteven P. Reiss. 398-407 [doi]
• Requirements for a Layered Software Architecture Supporting Cooperative Multi-User InteractionFlavio De Paoli, Andrea Sosio. 408-417 [doi]
• Linguistic Support for the Evolutionary Design of Software ArchitecturesT. C. Nicholas Graham, Tore Urnes. 418-427 [doi]
• Cooperating Evolving Components: A Rigorous Approach to Evolving Large Software SystemsR. Mark Greenwood, Brian Warboys, Jin Sa. 428-437 [doi]
• Large, Multimedia Programming - Concepts and Challenges (Abstract)Simon J. Gibbs, Christian Breiteneder. 439-440 [doi]
• The Role of Experimentation in Software Engineering: Past, Current, and FutureVictor R. Basili. 442-449 [doi]
• Multilanguage Interoperability in Distributed SystemsMark J. Maybee, Dennis Heimbigner, Leon J. Osterweil. 451-463 [doi]
• Understanding and Predicting the Process of Software Maintenance ReleaseVictor R. Basili, Lionel C. Briand, Steven E. Condon, Yong-Mi Kim, Walcélio L. Melo, Jon D. Valett. 464-474 [doi]
• A Scalable, Automated Process for Year 2000 System CorrectionJohnson M. Hart, Antonio Pizzarello. 475-484 [doi]
• Reducing and Estimating the Cost of Test Coverage CriteriaMartina Marré, Antonia Bertolino. 486-494 [doi]
• Slicing Object-Oriented SoftwareLoren Larsen, Mary Jean Harrold. 495-505 [doi]
• A Reliability Model Combining Representative and Directed TestingBrian Mitchell, Steven J. Zeil. 506-514 [doi]
• Domain-Oriented Design Environments (Extended Abstract)Gerhard Fischer. 517-520 [doi]
• Prototypes as Assets, not Toys: Why and How to Extract Knowledge from PrototypesKurt Schneider. 522-531 [doi]
• User Interface Prototyping - Concepts, Tools, and ExperienceDirk Bäumer, Walter R. Bischofberger, Horst Lichter, Heinz Züllighoven. 532-541 [doi]
• A Software Engineering Experiment in Software Component GenerationRichard B. Kieburtz, Laura McKinney, Jeffrey M. Bell, James Hook, Alex Kotov, Jeffrey Lewis, Dino Oliva, Tim Sheard, Ira Smith, Lisa Walton. 542-552 [doi]
• A Flexible Architecture for Building Data Flow AnalyzersMatthew B. Dwyer, Lori A. Clarke. 554-564 [doi]
• An Exact Array Reference Analysis for Data Flow TestingIstván Forgács. 565-574 [doi]
• A Demand-Driven Analyzer for Data Flow Testing at the Integration LevelEvelyn Duesterwald, Rajiv Gupta, Mary Lou Soffa. 575-584 [doi]