Abstract is missing.
- Software Configuration Management: Past Uses and Future ChallengesStuart I. Feldman. 1-6
- Architectural Design for User InterfacesJoëlle Coutaz. 7-22
- The Eureka Software Factory: Concepts and AccomplishmentsChrister Fernström. 23-36
- Integrating Structured and Formal Methods: A Visual Approach to VDMJeremy Dick, Jérôme Loubersac. 37-59
- Rational Design of Distributed ApplicationsThierry Cattel. 60-79
- Test Data Selection From Algebraic Specifications: Application to an Automatic Subway ModulePierre Dauchy, Bruno Marre. 80-100
- Specification in COLD-1 of a CAD-Package for Drawing Shadow MasksFrank van der Linden. 101-121
- ASTRAL: An Assertion Language for Specifying Realtime SystemsCarlo Ghezzi, Richard A. Kemmerer. 122-146
- Execution Environment for ELECTRE ApplicationsDenis Creusot, Philippe Lemoine, Olivier Roux, Yvon Trinquet, Antonio Kung, Olivier Marbach, Carlos Serrano-Morales. 147-165
- An Engineering Approach to Hard Real-Time System DesignHermann Kopetz, R. Zainlinger, Gerhard Fohler, Heinz Kantz, Peter P. Puschner, Werner Schütz. 166-188
- An Application of Artifical Intelligence to Prototyping Process in Performance Design for Real-time SystemsShinichi Honiden, Naoshi Uchihira, Kiyoshi Itoh. 189-209
- Dynamically Replaceable Software: A Design MethodJorge Amador, Belén de Vincente, Alejandro Alonso. 210-228
- Software Merge: Models and Methods for Combining Changes to ProgramsValdis Berzins. 229-250
- A Theory for Software Design ExtractionBen A. Sijtsma, Joseph W. L. J. Mager. 251-265
- SESADA: An Environment Supporting Software SpecializationAlberto Coen-Porisini, Flavio De Paoli. 266-289
- Metric-Driven Classification AnalysisRichard W. Selby, R. Kent Madsen. 290-307
- A Dynamic Failure Model for Predicting the Impact that a Program Location has on the ProgramJeffrey M. Voas. 308-331
- Relation Between Source Code Metrics and Structure Analysis MetricsIvan Rozman, József Györkös, Tomaz Dogsa. 332-342
- Algebraic Validation of software MetricsMartin J. Shepperd, Darrel C. Ince. 343-363
- An Algebraic View of Inheritance and Subtyping in Object Oriented ProgrammingFrancesco Parisi-Presicce, Alfonso Pierantonio. 364-379
- Scaling Up Rule-Based Software Development EnvironmentsNaser S. Barghouti, Gail E. Kaiser. 380-395
- Inference-Based Support for Programming in the LargeGregor Snelting, Franz-Josef Grosch, Ulrik Schroeder. 396-408
- Tickle: Object-Oriented Description and Composition Services for Software Engineering EnvironmentsTim Collins, Kevin Ewert, Colin Gerety, Jon Gustafson, Ian Thomas. 409-423
- Integrated Project Support Environments, Text Generation and Technical WritingColin Tattersall. 424-442
- The Arcs ExperienceDick Schefström. 443-464
- Panel PresentationAlfonso Fuggetta. 465-467
- The Production of Software in the FINSIEL GroupValente Frasca. 468-471
- The Impact of Software Engineering Researches on Industrial Practice - a Personal ViewCharles Jackson. 472-479
- Impact of Methods on Productivity and QualityRobert Troy. 480-484
- Requirements Engineering - Getting Right from WrongMartin S. Feather. 485-488
- A (Neat) Alphabet of Requirements Engineering IssuesAnthony Finkelstein. 489-491
- The Scruffy Side of Requirements EngineeringSol J. Greenspan. 492-494
- Expediency and Appropriate Technology: An Agenda for Requirements Engineering Research in the 1990sColin Potts. 495-496
- CASE Support for the Software ProcessPeter Hruschka. 497-498
- CASE Support for the Software Process: A Research ViewpointJeff Kramer. 499-503
- CASE Support for Large SystemsDave Robinson. 504-508
- CASE Seen From Both Sides of the FenceWolf E. Fischer. 509-511
- CASE Support for the Software Process: Advances and ProblemsBernard Lang. 512-515