![](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
8th IWSSD 1996: USA
- Proceedings of the 8th International Workshop on Software Specification and Design, IWSSD 1996, USA, March 22-23, 1996. IEEE Computer Society 1996, ISBN 978-0-8186-7361-0
- Anthony Finkelstein, John Dowell:
A comedy of errors: the London Ambulance Service case study. 2-5 - Robert Allen, David Garlan:
A Case Study in Architectural Modelling: The AEGIS System. 6 - Message from the Chairs. 7-8
- Message from the Chairs. 9-15
- Paul C. Clements:
A Survey of Architecture Description Languages. 16-25 - Wolfgang Emmerich:
Tool Specification with GTSL. 26-35 - Mark Feblowitz, Sol J. Greenspan, Howard B. Reubenstein, Robert Walford:
ACME/PRIME: Requirements Acquisition for Process-Driven Systems. 36-45 - José Luiz Fiadeiro, Tom Maibaum:
A Mathematical Toolbox for the Software Architec. 46-55 - Michael Goedicke, Bettina Eva Sucrow:
Towards a formal specification method for graphical user interfaces using modularized graph grammars. 56-65 - Paola Inverardi, Daniel Yankelevich:
Relating CHAM Descriptions of Software Architectures. 66-74 - Abderrahmane Lakas, Gordon S. Blair, Amanda G. Chetwynd:
Specification and Verification of Real-Time Properties Using LOTOS and SQTL. 75-84 - Julio César Sampaio do Prado Leite, Ana Paula Pinho Gilvaz:
Requirements Elicitation Driven by Interviews: The Use of Viewpoints. 85-94 - Matthias Radestock, Susan Eisenbach:
Formalizing System Structure. 95-104 - António Rito Silva, João Pereira, Pedro Sousa:
A Framework for Heterogeneous Concurrency Control Policies in Distributed Applications. 105-114 - Gruia-Catalin Roman, Delbert Hart, Charles Calkins:
Visual Presentation of Software Specifications and Designs. 115-124 - Tetsuo Tamai:
How Modeling Methods Affect the Process of Architectural Design Decisions: A Comparative Study. 125-135 - Steve Easterbrook:
Learning from Inconsistency. 136-140 - Anthony Finkelsteiin, George Spanoudakis, Mark Ryan:
Software Package Requirements and Procurement. 141-145 - Joachim Karlsson, Kevin Ryan:
Supporting the Selection of Software Requirements. 146-149 - Wojtek Kozaczynski, Jim Q. Ning:
Concern-driven design for a specification language supporting component-based software engineerin. 150-154 - Nicole Lévy, Jeanine Souquières:
A "Coming and Going" Approach to Specification Construction: A Scenario. 155-158 - Neil A. M. Maiden, Alistair G. Sutcliffe:
A computational mechanism for parallel problem decomposition during requirements engineering. 159-163 - Bashar Nuseibeh:
To Be and Not to Be: On Managing Inconsistency in Software Development. 164-169 - Leon J. Osterweil, Xiping Song:
Assuring Accuracy and Impartiality in Software Design Methodology Comparison. 170-171 - Alexander Ran, Juha Kuusela:
Design Decision Trees. 172-175 - Robert W. Schwanke, Veronika A. Strack, Thomas Werthmann-Auzinger:
Industrial software architecture with Gestalt. 176-180 - Mary Shaw:
Truth vs Knowledge: The Difference Between What a Component Does and What We Know It Does. 181-185 - Stanley M. Sutton Jr., Leon J. Osterweil:
PDP: Programming A Programmable Design Process. 186-190
![](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.