![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
5th IWSSD 1989: Pittsburgh, PA, USA
- Sol J. Greenspan:
Proceedings of the 5th International Workshop on Software Specification and Design, IWSSD 1989, Pittsburgh, Pennsylvania, USA, 1989. ACM 1989, ISBN 978-0-89791-305-8 - Ira R. Forman:
Design by decomposition of multiparty interactions in Raddle87. 2-10 - Rob Gerth, Amir Pnueli:
Rooting UNITY. 11-19 - Simon M. Kaplan, Steven K. Goering, Roy H. Campbell:
Specifying concurrent systems with Δ-grammars. 20-27 - Jeff Kramer, Jeff Magee, Morris Sloman:
Configuration support for system description, construction and evolution. 28-33 - Reino Kurki-Suonio, H.-M. Järvinen:
Action system approach to the specification and design of distributed systems. 34-40 - Gruia-Catalin Roman, Kenneth C. Cox:
Implementing a shared dataspace language on a message-based multiprocessor. 41-48 - Thomas Bräunl:
A specification language for parallel architectures and algorithms. 49-51 - Hermann von Issendorff:
On the algebraic representation and treatment of processing structures. 52-55 - Takuo Watanabe, Akinori Yonezawa:
Reflective computation in object-oriented concurrent systems and its applications. 56-58 - Carlo Ghezzi, Dino Mandrioli, Sandro Morasca, Mauro Pezzè
:
A general way to put time in Petri nets. 60-67 - Limei Gilham, Allen Goldberg, Tie-Cheng Wang:
Toward reliable reactive systems. 68-74 - Leo Yuhsiang Liu, R. K. Shyamasundar:
An operational semantics of real time design language RT-CDL. 75-82 - Lawrence Peters:
Timing extensions to structured analysis for real time systems. 83-90 - Rudrapatna K. Shyamasundar, Jozef Hooman, Rob Gerth:
Reasoning of real-time distributed programming languages. 91-99 - Bonnie E. Melhart, Nancy G. Leveson, Matthew S. Jaffe:
Analysis capabilities for requirements specified in statecharts. 100-103 - Martin Kooij:
Interface specification with temporal logic. 104-110 - Julio César Sampaio P. Leite:
Viewpoint analysis: a case study. 111-119 - Ralph L. London, Kathleen Milsted:
Specifying reusable components using Z: realistic sets and dictionaries. 120-127 - Celso Niskier, Tom Maibaum, Daniel Schwabe:
A look through PRISMA: towards pluralistic knowledge-based environments for software specification acquisition. 128-136 - Harpal S. Dhama, Victor Shtern:
A net method for specification of reusable software. 137-139 - Richard D'Ippolito, Charles Plinta:
Software development using models. 140-142 - Mary Shaw:
Larger scale systems require higher-level abstractions. 143-146 - Robert W. Schwanke, Rita Z. Altucher, Michael A. Platoff:
Discovering, visualizing, and controlling software structure. 147-154 - Guillermo Arango:
Domain analysis: from art form to engineering discipline. 152-159 - Eric Dubois:
A logic of action for supporting goal-oriented elaborations of requirements. 160-168 - Martin S. Feather:
Detecting interference when merging specification evolutions. 169-176 - John S. Anderson, Stephen Fickas:
A proposed perspective shift: viewing specification design as a planning problem. 177-184 - Anthony Finkelstein, Hugo Fuks:
Multiparty specification. 185-195 - Yoëlle S. Maarek, Daniel M. Berry:
The use of lexical affinities in requirements extraction. 196-202 - Kanth Miriyala, Mehdi T. Harandi:
Analogical approach to specification derivation. 203-210 - Howard B. Reubenstein, Richard C. Waters:
The requirements apprentice: an initial scenario. 211-218 - William N. Robinson:
Integrating multiple specifications using domain goals. 219-226 - Robert Summersgill, Dermot P. Browne:
Human factors: its place in system development methods. 227-234 - David A. Marca:
Specifying coordinators: guidelines for groupware developers. 235-237 - Gerald B. Williams, Chunka Mui, Vairam Alagappan, Bruce B. Johnson:
Software design issues: a very large information systems perspective. 238-240 - Norman M. Delisle, David Garlan:
Formally specifying electronic instruments. 242-248 - Fuyau Lin, Frances E. Hunt:
LCD-reification: a formal method for developing Prolog programs. 249-256 - Norman Ramsey:
Developing formally verified Ada programs. 257-265 - Robert B. Terwilliger, Mark J. Maybee, Leon J. Osterweil:
An example of formal specification as an aid to design and development. 266-272 - D. G. Weber:
Formal specification of fault-tolerance and its relation to computer security. 273-277 - Sergio Antoy:
Systematic design of algebraic specifications. 278-280 - Susan Eisenbach, Lee McLoughlin, Chris Sadler:
Data-flow design as a visual programming language. 281-283 - M. M. Pett, Michael D. Rice, Stephen B. Seidman:
A formal framework for the design of development environments. 284-286 - Simon Thompson:
Functional programming: executable specifications and program transformations. 287-290 - Kaizhi Yue:
Representing first order logic-based specifications in Petri-net-like graphs. 291-293
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.