Abstract is missing.
- On the Decline of Classical ProgrammingJ. N. Buxton. 1-9
- Computers are not Omnipotent (Abstract)David Harel. 10
- Real-Time Systems: A Survey of Approaches to Formal Specification and VerificationCarlo Ghezzi, Miguel Felder, Carlo Bellettini. 11-36
- Software Engineering in Business and Academia: How Wide is the Gap?Ernst Denert. 37-47
- Software Faults in Evolving a Large, Real-Time System: a Case StudyDewayne E. Perry, Carol S. Stieg. 48-67
- The Experience Factory and its Relationship to Other Improvement ParadigmsVictor R. Basili. 68-83
- Inconsistency Handling in Multi-Perspective SpecificationsAnthony Finkelstein, Dov M. Gabbay, Anthony Hunter, Jeff Kramer, Bashar Nuseibeh. 84-99
- Requirements Engineering: An Integrated View of Representation, Process, and DomainMatthias Jarke, Klaus Pohl, Stephan Jacobs, Janis A. Bubenko Jr., Petia Assenova, Peter Holm, Benkt Wangler, Colette Rolland, Véronique Plihon, Jean-Roch Schmitt, Alistair G. Sutcliffe, Sara Jones, Neil A. M. Maiden, David Till, Yannis Vassiliou, Panos Constantopoulos, George Spanoudakis. 100-114
- Making Changes to Formal Specifications: Requirements and an ExampleDavid W. Bustard, Adam C. Winstanley. 115-126
- Formal Requirements Made PracticalJacques Hagelstein, Dominique Roelants, Pierre Wodon. 127-144
- Databases for Software Engineering Environments - The Goal has not yet been attainedWolfgang Emmerich, Wilhelm Schäfer, Jim Welsh. 145-162
- A Regression Testing Database ModelLulu Liu, David J. Robson, Rod Ellis. 163-174
- Experiences with a Federated Environment TestbedAlan W. Brown, Edwin J. Morris, Paul F. Zarrella. 175-196
- Observations on Object Management Systems and Process Support in EnvironmentsIan Thomas. 197-212
- Software Technology for a Distributed Telecommunication SystemHarald Eggers. 213-225
- Industrial Software Development - A Case StudyUlf Cederling. 226-237
- Quantitative Approach to Software Management: the ami MethodAnnie Kuntzmann-Combelles. 238-250
- Preventative Software EngineeringJohannes Reichardt. 251-262
- Distributed Information Systems: An Advanced MethologyAlfred Aue, Michael Breu. 263-282
- Tractable Flow Analysis for Anomaly Detection in Distributed ProgramsShing-Chi Cheung, Jeff Kramer. 283-300
- A Pragmatic Task Design Approach Based on a Ward/Mellor Real-Time Structured SpecificationJavier Tuya, Luciano Sánchez, R. Zurita, José A. Corrales. 301-312
- Integration of Structured Analysis and Timed Statecharts for Real-Time and Concurrency SpecificationMichael von der Beeck. 313-328
- Language Constructs for Cooperative Systems DesignFlavio De Paoli, Francesco Tisato. 329-343
- Scrutiny: A Collaborative Inspection and Review SystemJohn Gintell, John Arnold, Michael Houde, Jacek Kruszelnicki, Roland McKenney, Gérard Memmi. 344-360
- COO: A Transaction Model to Support COOperating Software Developers COOrdinationClaude Godart. 361-379
- An Experiment in Software RetrievalRolf Adams. 380-396
- Using Formal Methods to Construct a Software Component LibraryJun-Jang Jeng, Betty H. C. Cheng. 397-417
- Capsule Oriented Reverse Engineering for Software ReuseHarald Gall, René Klösch. 418-433
- Automatic Replanning of Task Networks for Process Model Evolution in EPOSChunnian Liu, Reidar Conradi. 434-450
- Provence: A Process Visualisation and Enactment EnvironmentBalachander Krishnamurthy, Naser S. Barghouti. 451-465
- Process Programming with Active and Passive ComponentsChristian Breiteneder, Thomas A. Mück. 466-482
- A Formal Framework for ASTRAL Intra-Level Proof ObligationsAlberto Coen-Porisini, Dino Mandrioli. 483-500
- Assertion-based Debugging of Imperative Programs by Abstract InterpretationFrançois Bourdoncle. 501-516