Abstract is missing.
- Software Engineering: An Unconsummated Marriage (Extended Abstract)David Lorge Parnas. 1-3 [doi]
- Subtypes for SpecificationsJohn M. Rushby. 4-19 [doi]
- Developing Multimedia Applications with the WinWin Spiral ModelBarry W. Boehm, Alexander Egyed, Julie Kwan, Raymond J. Madachy. 20-39 [doi]
- What We Teach Software Engineers in the University: Do We Take ::::Engineering:::: Seriously?T. S. E. Maibaum. 40-50 [doi]
- What we Expect from Software Engineers in the Industry (Abstract)Jürgen Uhl. 51 [doi]
- Security Issues in Distributed SoftwareRichard A. Kemmerer. 52-59 [doi]
- A Framework for Classifying and Comparing Architecture Description LanguagesNenad Medvidovic, Richard N. Taylor. 60-76 [doi]
- Applying Static Analysis to Software ArchitecturesGleb Naumovich, George S. Avrunin, Lori A. Clarke, Leon J. Osterweil. 77-93 [doi]
- Making Design Patterns Explicit in FACE: A Frame Work Adaptive Composition EnvironmentTheo Dirk Meijler, Serge Demeyer, Robert Engel. 94-110 [doi]
- TTM15 - A Large Multi-Site Improvement ProjectGraham Allen, Leighton Davies, Göran Lindmark, Even-André Karlsson. 111-124 [doi]
- Change Management Needs Integrated Process and Configuration ManagementGregor Joeris. 125-141 [doi]
- The Design of a Next-Generation Process LanguageStanley M. Sutton Jr., Leon J. Osterweil. 142-158 [doi]
- Software Release ManagementAndré van der Hoek, Richard S. Hall, Dennis Heimbigner, Alexander L. Wolf. 159-175 [doi]
- A Contextual Approach for Process-Integrated ToolsKlaus Pohl, Klaus Weidenhaupt. 176-192 [doi]
- Generic Fuzzy Reasoning Nets as a Basis for Reverse Engineering Relational Database ApplicationsJens H. Jahnke, Wilhelm Schäfer, Albert Zündorf. 193-210 [doi]
- Providing Automated Support to Deductive Analysis of Time Critical SystemsAndrea Alborghetti, Angelo Gargantini, Angelo Morzenti. 211-226 [doi]
- Verification of Liveness Properties Using Compositional Reachability AnalysisShing-Chi Cheung, Dimitra Giannakopoulou, Jeff Kramer. 227-243 [doi]
- Model Checking Graphical User Interfaces Using AbstractionsMatthew B. Dwyer, Vicki Carr, Laura Hines. 244-261 [doi]
- Comparing and Combining Software Defect Detection Techniques: A Replicated Empirical StudyMurray Wood, Marc Roper, Andrew Brooks, James Miller. 262-277 [doi]
- Experiences with Criticality Predictions in Software DevelopmentChristof Ebert. 278-293 [doi]
- Validating the Defect Detection Performance Advantage of Group Designs for Software Reviews: Report of a Laboratory Experiment Using Program CodeLesley Pek Wee Land, Chris Sauer, D. Ross Jeffery. 294-309 [doi]
- Integration of Sequential ScenariosJules Desharnais, Marc Frappier, Ridha Khédri, Ali Mili. 310-326 [doi]
- A View-Oriented Approach to System Modelling Based on Graph TransformationGregor Engels, Reiko Heckel, Gabriele Taentzer, Hartmut Ehrig. 327-343 [doi]
- A Design Framework for Internet-Scale Event Observation and NotificationDavid S. Rosenblum, Alexander L. Wolf. 344-360 [doi]
- Refining Data Flow Information Using Infeasible PathsRastislav Bodík, Rajiv Gupta, Mary Lou Soffa. 361-377 [doi]
- Feasible Test Path Selection by Principal SlicingIstván Forgács, Antonia Bertolino. 378-394 [doi]
- Cryptographic Verification of Test Coverage ClaimsPremkumar T. Devanbu, Stuart G. Stubblebine. 395-413 [doi]
- A C++ Data Model Supporting Reachability Analysis and Dead Code DetectionYih-Farn Chen, Emden R. Gansner, Eleftherios Koutsofios. 414-431 [doi]
- The Use of Program Profiling for Software Maintenance with Applications to the Year 2000 ProblemThomas W. Reps, Thomas Ball, Manuvir Das, James R. Larus. 432-449 [doi]
- Reduction and Slicing of Hierarchical State MachinesMats Per Erik Heimdahl, Michael W. Whalen. 450-467 [doi]
- A Pattern-Based Application Generator for Building SimulationMartin Schütze, Jan Peter Riegel, Gerhard Zimmermann. 468-482 [doi]
- Executable Connectors: Towards Reusable Design ElementsStéphane Ducasse, Tamar Richner. 483-499 [doi]
- Expressing Code Mobility in Mobile UNITYGian Pietro Picco, Gruia-Catalin Roman, Peter J. McCann. 500-518 [doi]
- Incremental Development for AXE 10Even-André Karlsson, Lars Taxén. 519-520 [doi]
- The Tale of Two Projects - AbstractDewayne E. Perry, Lawrence G. Votta. 521-522 [doi]
- Analysis of Software Architectures in High and Low Volume Electronic Systems, Industrial Experience ReportJ. Henk Obbink. 523-524
- Towards an Adaptation of the COCOMO Cost Model to the Software Measurement TheoryA. Idri, B. Griech, A. El Iraki. 525-526 [doi]
- Formalizing Software Architectures: An Industrial ExperiencePetre Dini, Amina Belkhelladi, Walcélio L. Melo. 527-529 [doi]
- Software Engineering - Old Problems, New Problems, and Unsolved Problems (Panel)Mehdi Jazayeri. 530