![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
6th IWSSD 1991: Como, Italy
- Jean-Pierre Finance, Carlo Ghezzi, Gruia-Catalin Roman:
Proceedings of the 6th International Workshop on Software Specification and Design, IWSSD 1991, Como, Italy, October 25-26, 1991. IEEE Computer Society 1991, ISBN 978-0-8186-2320-2
Opening address
- Manfred Broy:
Declarative specification and declarative programming. 2-11
Requirements
- Anne Dardenne, Stephen Fickas, Axel van Lamsweerde:
Goal-directed concept acquisition in requirements elicitation. 14-21 - Keith L. Downing, Stephen Fickas:
Specification criticism via goal-directed envisionment. 22-30 - Nancy G. Leveson, Mats P. E. Heimdahl, Holly Hildreth, Jon Damon Reese, R. Ortega:
Experiences using statecharts for a system requirements specification. 31-41
Concurrency and distribution
- Paolo Ciancarini:
PoliS: a programming model for multiple tuple spaces. 44-51 - Joseph P. Loyall, Simon M. Kaplan, Steven K. Goering:
Abstraction and composition in Δ-specifications of concurrent systems. 52-59 - Bernd J. Krämer:
Prototyping and formal analysis of concurrent and distributed systems. 60-66 - Sylvie Damy, Guy-René Perrin:
Techniques for the design of communicating processes. 67-74 - Robert G. Babb II:
Issues in the specification and design of parallel programs. 75-82
Real-time systems
- Reino Kurki-Suonio, Kari Systä, Jüri Vain:
Real-time specification and modeling with joint actions. 84-91 - Edoardo Corsetti, Ernani Crivelli, Dino Mandrioli, Angelo Montanari, Angelo Morzenti, Pierluigi San Pietro, Elena Ratto:
Dealing with different time scales in formal specifications. 92-101 - Shinichi Honiden, Akihiko Ohsuga, Naoshi Uchihira:
An integration environment to put formal specifications into practical use in real-time systems. 102-109 - Jozef Hooman, Ruurd Kuiper, Ping Zhou:
A compositional proof system for real-time systems based on explicit clock temporal logic. 110-117
Formal methods
- Jeannette M. Wing, Amy Moormann Zaremski:
A formal specification of a visual language editor. 120-129 - Yves Ledru:
Developing reactive systems in a VDM framework. 130-139 - Y. Hirakawa, T. Takenaka:
Telecommunication service description using state transition rules. 140-147 - Rocco De Nicola, Paola Inverardi, Monica Nesi:
Equational reasoning about LOTOS specifications: a rewriting approach. 148-155
Design methods and software processes
- Mary Shaw:
Heterogeneous design idioms for software architecture. 158-165 - Michael Goedicke, Harald Schumann, Joachim Cramer:
On the specification of software components. 166-174 - Wolfgang Emmerich, Volker Gruhn:
FUNSOFT nets: a Petri-net based software process modeling language. 175-184 - Pierre-Yves Schobbens:
On the meaning of "but". 185-192 - Franca Garzotto, Paolo Paolini, Daniel Schwabe:
Authoring-in-the-large: software engineering techniques for hypertext application design. 193-201 - Scott Meyers, Steven P. Reiss:
A system for multiparadigm development of software systems. 202-209
Position papers
- Sol J. Greenspan, Mark Feblowitz, M. Chandra Shekaran, James F. Tremlett:
Addressing requirements issues within a conceptual modeling environment. 212-215 - Eckehard Doerry, Stephen Fickas, B. Robert Helm, Martin S. Feather:
A model for composite system design. 216-219 - Neil A. M. Maiden, Alistair G. Sutcliffe:
Reuse of analogous specifications during requirements analysis. 220-223 - David A. Marca:
Specifying groupware requirements from direct experience. 224-232 - H. Conrad Cunningham:
Swarming over the software barrier. 233-236 - Marie-Claude Gaudel:
Advantages and limits of formal approaches for ultra-high dependability. 237-241 - David Garlan:
Preconditions for understanding. 242-245 - Hing-Yan Lee, Mehdi T. Harandi:
Overcoming shortcomings in schema-based software design systems. 246-249 - David R. Barstow, Guillermo Arango:
Designing software for customization and evolution. 250-255 - Colin Potts:
Seven (plus or minus two) challenges for requirements research. 256-259
![](https://dblp1.uni-trier.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.