Abstract is missing.
- Completeness and Consistency Analysis of State-Based RequirementsMats Per Erik Heimdahl, Nancy G. Leveson. 3-14 [doi]
- Deriving Specifications from Requirements: An ExampleMichael Jackson, Pamela Zave. 15-24 [doi]
- Dealing with Non-Functional Requirements: Three Experimental Studies of a Process-Oriented ApproachLawrence Chung, Brian A. Nixon. 25-37 [doi]
- Effect of Test Set Minimization on Fault Detection EffectivenessW. Eric Wong, Joseph Robert Horgan, Saul London, Aditya P. Mathur. 41-50 [doi]
- Testing Real-Time Constraints in a Process Algebraic SettingDuncan Clarke, Insup Lee. 51-60 [doi]
- Using Testability Measures for Dependability AssessmentAntonia Bertolino, Lorenzo Strigini. 61-70 [doi]
- Automating Process Discovery Through Event-Data AnalysisJonathan E. Cook, Alexander L. Wolf. 73-82 [doi]
- Using Event Contexts and Matching Constraints to Monitor Software ProcessesNaser S. Barghouti, Balachander Krishnamurthy. 83-92 [doi]
- An Organizational Learning Approach to Domain AnalysisScott Henninger, Kris Lappala, Anand Raghavendran. 95-104 [doi]
- Managing Software Reuse - An Experience ReportSusan Rosenbaum, Bertrand du Castel. 105-111 [doi]
- An Experience in Process AssessmentFabiano Cattaneo, Alfonso Fuggetta, Luigi Lavazza. 115-121 [doi]
- Improvement of Software Process by Process Description and Benefit EstimationToshifumi Tanaka, Keishi Sakamoto, Shinji Kusumoto, Ken-ichi Matsumoto, Tohru Kikuno. 123-132 [doi]
- Characterizing and Assessing a Large-Scale Software Maintenance OrganizationLionel C. Briand, Walcélio L. Melo, Carolyn B. Seaman, Victor R. Basili. 133-143 [doi]
- A Compact Petri Net Representation for Concurrent ProgramsMatthew B. Dwyer, Lori A. Clarke, Kari A. Nies. 147-157 [doi]
- A Framework for Evaluating Specification Methods for Reactive Systems: Experience ReportMark A. Ardis, John A. Chaves, Lalita Jategaonkar Jagadeesan, Peter Mataga, Carlos Puchol, Mark G. Staskauskas, James Von Olnhausen. 159-168 [doi]
- PARTS: A Temporal Logic-Based Real-Time Software Specification and Verification MethodKyo Chul Kang, Kwang-Il Ko. 169-176 [doi]
- Architectural Mismatch or Why It s Hard to Build Systems Out Of Existing Parts179-185 [doi]
- Reverse Engineering to the Architectural LevelDavid R. Harris, Howard B. Reubenstein, Alexander S. Yeh. 186-195 [doi]
- Software Architecture in Industrial ApplicationsDilip Soni, Robert L. Nord, Christine Hofmeister. 196-207 [doi]
- Supporting Evolution and Maintenance by Using a Flexible Automatic Code GeneratorJacqueline Floch. 211-219 [doi]
- A Framework for Selective Recompilation in the Presence of Complex Intermodule DependenciesCraig Chambers, Jeffrey Dean, David Grove. 221-230 [doi]
- Towards a Formal Semantics of Parnas TablesRyszard Janicki. 231-240 [doi]
- Software Requirements Negotiation and Renegotiation Aids: A Theory-W Based Spiral ApproachBarry W. Boehm, Prasanta K. Bose, Ellis Horowitz, Ming June Lee. 243-253 [doi]
- Decentralised Process Enactment in a Multi-Perspective Development EnvironmentUlf Leonhardt, Jeff Kramer, Bashar Nuseibeh. 255-264 [doi]
- How to Deal With Deviations During Process Model EnactmentGianpaolo Cugola, Elisabetta Di Nitto, Carlo Ghezzi, M. Mantione. 265-273 [doi]
- The World and the MachineMichael Jackson. 283-292 [doi]
- A Component- and Message-Based Architectural Style for GUI SoftwareRichard N. Taylor, Nenad Medvidovic, Kenneth M. Anderson, Jim Whitehead, Jason E. Robbins. 295-304 [doi]
- An Architecture for Integrating Concurrency Control into Environment FrameworksGeorge T. Heineman, Gail E. Kaiser. 305-313 [doi]
- Tool Integration: Experiences and DirectionsBob Gautier, Chris W. Loftus, Edel Sherratt, Lynda Thomas. 315-324 [doi]
- Reverse Engineering of Legacy Code ExposedBruce W. Weide, Wayne D. Heym, Joseph E. Hollingsworth. 327-331 [doi]