Abstract is missing.
- Software Process à la Algebra: OBJ for OBJAtaru T. Nakagawa, Kokichi Futatsugi. 12-23
- Evaluation Criteria for Functional SpecificationsSergio Cárdenas-García, Marvin V. Zelkowitz. 26-33
- An Experiment in Formal Software Development: Using the B Theorem Prover on a VDM Case StudyChristine Lafontaine, Yves Ledru, Pierre Yves Schobbens. 34-42
- Recent Advances in Software Measurement (Abstract for Talk)Victor R. Basili. 44-49
- Multi-Level Specification and Verification of Real-Time SoftwareArmen Gabrielian, Matthew K. Franklin. 52-62
- Object-Oriented Specification of Reactive SystemsH.-M. Järvinen, Reino Kurki-Suonio, Markku Sakkinen, Kari Systä. 63-71
- Specification Level InteroperabilityJack C. Wileden, Alexander L. Wolf, William R. Rosenblatt, Peri L. Tarr. 74-85
- Design Decisions for the Incremental Adage FrameworkJean-Louis Giavitto, Guy Rosuel, Agnès Devarenne, Anne Mauboussin. 86-95
- Practice of Quality Modeling and Measurement on Software Life-CycleMasayuki Hirayama, Hiroyuki Sato, Atushi Yamada, Junichiro Tsuda. 98-107
- Application of Software Reliability Modeling to Product Quality and Test ProcessWilla K. Ehrlich, John P. Stampfel, Jar R. Wu. 108-116
- Panel on Software Re-engineeringGilles M. E. Lafue. 118
- The Catch 22 of Re-engineeringWojtek Kozaczynski. 119
- Human-Oriented Conceptual Abstractions in the Re-engineering of SoftwareTed J. Biggerstaff. 120
- CASE & Reengineering: From Archeology to Software PerestroikaElliot J. Chikofsky. 122
- Reengineering: Can a Program Put Intelligence in Stupid Programs?Marco Maiocchi. 123-124
- Use of Video for Program Documentation (Experience Report)Tom DeMarco, Curt Geertgens. 126-128
- Using Object-Oriented Development for Support Prototyping (Experience Report)Lin Zucconi, Gregory Mack, Lloyd G. Williams. 129-132
- Logical AnimationM. C. Costa, Jim Cunningham, J. Booth. 144-149
- System Support for Modular Order-Sorted Horn Clause SpecificationsHarald Ganzinger, Renate Schäfers. 150-159
- An Environment for Specifying and Executing Hierarchical Petri NetsHeinz Oswald, R. Esser, R. Mattmann. 164-172
- Mixing Abstract and Concrete Modules: Specification, Development and PrototypingChristine Choppy, Stéphane Kaplan. 173-184
- SACEM Software Validation (Experience Report)Gérard D. Guiho, Claude Hennebert. 186-191
- Experience Using the Graphite Meta-Tool (Experience Report)Mark Dowson. 192-195
- A Rule-Based Approach to Modular System DesignFrancesco Parisi-Presicce. 202-211
- An Object-Oriented Software Application ArchitectureMurthy Ganti, Pankaj Goyal, Sunil Podar. 212-220
- On the Assessment of Safety-Critical Software SystemsJean-Claude Laprie. 222
- Evaluation of Software SafetyNancy G. Leveson. 223-224
- Some Experiences of Critical Software DevelopmentE. Pilaud. 225-226
- Assessing Failure Probabilities in Safety-Critical Systems Containing SoftwareMartyn Thomas. 227
- ISPW5: Experience with Software Process Models (Workshop Report)Dewayne E. Perry. 230-232
- FM 89: Assessment of Formal Methods for Trustworthy Computer Systems (Workshop Report)Dan Craigen. 233-235
- Building an Evolution Transformation LibraryW. Lewis Johnson, Martin S. Feather. 238-248
- LaSSIE: a Knowledge-based Software Information SystemPremkumar T. Devanbu, Ronald J. Brachman, Peter G. Selfridge, Bruce W. Ballard. 249-261
- Position Statement: ICSE-12 Workshop on Industrial Experience Using Formal MethodsDines Bjørner, Larry E. Druffel. 264-266
- Negotiation Behavior During Requirements SpecificationWilliam N. Robinson. 268-276
- Prism = Methodology + Process-oriented EnvironmentNazim H. Madhavji, Volker Gruhn, Wolfgang Deiters, Wilhelm Schäfer. 277-288
- The Evolution of Technology Transfer at MCC s Software Technology Program: From Didactic to DialecticJames D. Babcock, Laszlo A. Belady, Nancy C. Gore. 290-299
- Towards Systems Engineering: A Personal View of ProgressDavid Talbot. 306-307
- Automatic Maintenance of Routine Programming Tasks Based on a Declarative Description (Experience Report)David B. Bernstein, Rodney Farrow. 310-315
- A Decision-Based Configuration Process ModelThomas Rose, Matthias Jarke. 316-325
- Experience in Using Defined Processes for Technology Transfer (Panel Overview)Kurt F. Fischer. 328
- CEFRIEL: an Innovative Approach to University-Industry Cooperation in Information TechnologiesMaurizio Decina. 330-331
- Technology Transfer as Collaboration: The Receptor GroupPriscilla J. Fowler. 332-333
- Technology Transfer Aspects of Environment ConstructionKouichi Kishida. 336