Abstract is missing.
- Declarative specification and declarative programmingManfred Broy. 2-11 [doi]
- Goal-directed concept acquisition in requirements elicitationAnne Dardenne, Stephen Fickas, Axel van Lamsweerde. 14-21 [doi]
- Specification criticism via goal-directed envisionmentKeith L. Downing, Stephen Fickas. 22-30 [doi]
- Experiences using statecharts for a system requirements specificationNancy G. Leveson, Mats P. E. Heimdahl, Holly Hildreth, Jon Damon Reese, R. Ortega. 31-41 [doi]
- PoliS: a programming model for multiple tuple spacesPaolo Ciancarini. 44-51 [doi]
- Abstraction and composition in Δ-specifications of concurrent systemsJoseph P. Loyall, Simon M. Kaplan, Steven K. Goering. 52-59 [doi]
- Prototyping and formal analysis of concurrent and distributed systemsBernd J. Krämer. 60-66 [doi]
- Techniques for the design of communicating processesSylvie Damy, Guy-René Perrin. 67-74 [doi]
- Issues in the specification and design of parallel programsRobert G. Babb II. 75-82 [doi]
- Real-time specification and modeling with joint actionsReino Kurki-Suonio, Kari Systä, Jüri Vain. 84-91 [doi]
- Dealing with different time scales in formal specificationsEdoardo Corsetti, Ernani Crivelli, Dino Mandrioli, Angelo Montanari, Angelo Morzenti, Pierluigi San Pietro, Elena Ratto. 92-101 [doi]
- An integration environment to put formal specifications into practical use in real-time systemsShinichi Honiden, Akihiko Ohsuga, Naoshi Uchihira. 102-109 [doi]
- A compositional proof system for real-time systems based on explicit clock temporal logicJozef Hooman, Ruurd Kuiper, Ping Zhou. 110-117 [doi]
- A formal specification of a visual language editorJeannette M. Wing, Amy Moormann Zaremski. 120-129 [doi]
- Developing reactive systems in a VDM frameworkYves Ledru. 130-139 [doi]
- Telecommunication service description using state transition rulesY. Hirakawa, T. Takenaka. 140-147 [doi]
- Equational reasoning about LOTOS specifications: a rewriting approachRocco De Nicola, Paola Inverardi, Monica Nesi. 148-155 [doi]
- Heterogeneous design idioms for software architectureMary Shaw. 158-165 [doi]
- On the specification of software componentsMichael Goedicke, Harald Schumann, Joachim Cramer. 166-174 [doi]
- FUNSOFT nets: a Petri-net based software process modeling languageWolfgang Emmerich, Volker Gruhn. 175-184 [doi]
- On the meaning of "but"Pierre-Yves Schobbens. 185-192 [doi]
- Authoring-in-the-large: software engineering techniques for hypertext application designFranca Garzotto, Paolo Paolini, Daniel Schwabe. 193-201 [doi]
- A system for multiparadigm development of software systemsScott Meyers, Steven P. Reiss. 202-209 [doi]
- Addressing requirements issues within a conceptual modeling environmentSol J. Greenspan, Mark Feblowitz, M. Chandra Shekaran, James F. Tremlett. 212-215 [doi]
- A model for composite system designEckehard Doerry, Stephen Fickas, B. Robert Helm, Martin S. Feather. 216-219 [doi]
- Reuse of analogous specifications during requirements analysisNeil A. M. Maiden, Alistair G. Sutcliffe. 220-223 [doi]
- Specifying groupware requirements from direct experienceDavid A. Marca. 224-232 [doi]
- Swarming over the software barrierH. Conrad Cunningham. 233-236 [doi]
- Advantages and limits of formal approaches for ultra-high dependabilityMarie-Claude Gaudel. 237-241 [doi]
- Preconditions for understandingDavid Garlan. 242-245 [doi]
- Overcoming shortcomings in schema-based software design systemsHing-Yan Lee, Mehdi T. Harandi. 246-249 [doi]
- Designing software for customization and evolutionDavid R. Barstow, Guillermo Arango. 250-255 [doi]
- Seven (plus or minus two) challenges for requirements researchColin Potts. 256-259 [doi]