Abstract is missing.
- Design by decomposition of multiparty interactions in Raddle87Ira R. Forman. 2-10 [doi]
- Rooting UNITYRob Gerth, Amir Pnueli. 11-19 [doi]
- Specifying concurrent systems with Δ-grammarsSimon M. Kaplan, Steven K. Goering, Roy H. Campbell. 20-27 [doi]
- Configuration support for system description, construction and evolutionJeff Kramer, Jeff Magee, Morris Sloman. 28-33 [doi]
- Action system approach to the specification and design of distributed systemsReino Kurki-Suonio, H.-M. Järvinen. 34-40 [doi]
- Implementing a shared dataspace language on a message-based multiprocessorGruia-Catalin Roman, Kenneth C. Cox. 41-48 [doi]
- A specification language for parallel architectures and algorithmsThomas Bräunl. 49-51 [doi]
- On the algebraic representation and treatment of processing structuresHermann von Issendorff. 52-55 [doi]
- Reflective computation in object-oriented concurrent systems and its applicationsTakuo Watanabe, Akinori Yonezawa. 56-58 [doi]
- A general way to put time in Petri netsCarlo Ghezzi, Dino Mandrioli, Sandro Morasca, Mauro Pezzè. 60-67 [doi]
- Toward reliable reactive systemsLimei Gilham, Allen Goldberg, Tie-Cheng Wang. 68-74 [doi]
- An operational semantics of real time design language RT-CDLLeo Yuhsiang Liu, R. K. Shyamasundar. 75-82 [doi]
- Timing extensions to structured analysis for real time systemsLawrence Peters. 83-90 [doi]
- Reasoning of real-time distributed programming languagesRudrapatna K. Shyamasundar, Jozef Hooman, Rob Gerth. 91-99 [doi]
- Analysis capabilities for requirements specified in statechartsBonnie E. Melhart, Nancy G. Leveson, Matthew S. Jaffe. 100-103 [doi]
- Interface specification with temporal logicMartin Kooij. 104-110 [doi]
- Viewpoint analysis: a case studyJulio Cesar Sampaio P. Leite. 111-119 [doi]
- Specifying reusable components using Z: realistic sets and dictionariesRalph L. London, Kathleen Milsted. 120-127 [doi]
- A look through PRISMA: towards pluralistic knowledge-based environments for software specification acquisitionCelso Niskier, Tom Maibaum, Daniel Schwabe. 128-136 [doi]
- A net method for specification of reusable softwareHarpal S. Dhama, Victor Shtern. 137-139 [doi]
- Software development using modelsRichard D'Ippolito, Charles Plinta. 140-142 [doi]
- Larger scale systems require higher-level abstractionsMary Shaw. 143-146 [doi]
- Discovering, visualizing, and controlling software structureRobert W. Schwanke, Rita Z. Altucher, Michael A. Platoff. 147-154 [doi]
- Domain analysis: from art form to engineering disciplineGuillermo Arango. 152-159 [doi]
- A logic of action for supporting goal-oriented elaborations of requirementsEric Dubois 0005. 160-168 [doi]
- Detecting interference when merging specification evolutionsMartin S. Feather. 169-176 [doi]
- A proposed perspective shift: viewing specification design as a planning problemJohn S. Anderson, Stephen Fickas. 177-184 [doi]
- Multiparty specificationAnthony Finkelstein, Hugo Fuks. 185-195 [doi]
- The use of lexical affinities in requirements extractionYoëlle S. Maarek, Daniel M. Berry. 196-202 [doi]
- Analogical approach to specification derivationKanth Miriyala, Mehdi T. Harandi. 203-210 [doi]
- The requirements apprentice: an initial scenarioHoward B. Reubenstein, Richard C. Waters. 211-218 [doi]
- Integrating multiple specifications using domain goalsWilliam N. Robinson. 219-226 [doi]
- Human factors: its place in system development methodsRobert Summersgill, Dermot P. Browne. 227-234 [doi]
- Specifying coordinators: guidelines for groupware developersDavid A. Marca. 235-237 [doi]
- Software design issues: a very large information systems perspectiveGerald B. Williams, Chunka Mui, Vairam Alagappan, Bruce B. Johnson. 238-240 [doi]
- Formally specifying electronic instrumentsNorman M. Delisle, David Garlan. 242-248 [doi]
- LCD-reification: a formal method for developing Prolog programsFuyau Lin, Frances E. Hunt. 249-256 [doi]
- Developing formally verified Ada programsNorman Ramsey. 257-265 [doi]
- An example of formal specification as an aid to design and developmentRobert B. Terwilliger, Mark J. Maybee, Leon J. Osterweil. 266-272 [doi]
- Formal specification of fault-tolerance and its relation to computer securityD. G. Weber. 273-277 [doi]
- Systematic design of algebraic specificationsSergio Antoy. 278-280 [doi]
- Data-flow design as a visual programming languageSusan Eisenbach, Lee McLoughlin, Chris Sadler. 281-283 [doi]
- A formal framework for the design of development environmentsM. M. Pett, Michael D. Rice, Stephen B. Seidman. 284-286 [doi]
- Functional programming: executable specifications and program transformationsSimon Thompson. 287-290 [doi]
- Representing first order logic-based specifications in Petri-net-like graphsKaizhi Yue. 291-293 [doi]