Proceedings of the 8th International Workshop on Software Specification and Design最新文献

Supporting the selection of software requirements 支持软件需求的选择

Proceedings of the 8th International Workshop on Software Specification and Design Pub Date : 1996-03-22 DOI: 10.1109/IWSSD.1996.501157

Joachim Karlsson, K. Ryan

引用次数: 54

Design decision trees 设计决策树

Proceedings of the 8th International Workshop on Software Specification and Design Pub Date : 1996-03-22 DOI: 10.1109/IWSSD.1996.501163

A. Ran, Juha Kuusela

引用次数: 70

A mathematical toolbox for the software architect 软件架构师的数学工具箱

Proceedings of the 8th International Workshop on Software Specification and Design Pub Date : 1996-03-22 DOI: 10.1109/IWSSD.1996.501146

J. Fiadeiro, T. Maibaum

引用次数: 50

Software package requirements and procurement 软件包要求和采购

Proceedings of the 8th International Workshop on Software Specification and Design Pub Date : 1996-03-22 DOI: 10.1109/IWSSD.1996.501156

Anthony Finkelsteiin, G. Spanoudakis, M. Ryan

引用次数: 95

A comedy of errors: the London Ambulance Service case study 错误的喜剧:伦敦救护车服务案例研究

Proceedings of the 8th International Workshop on Software Specification and Design Pub Date : 1996-03-22 DOI: 10.1109/IWSSD.1996.501141

A. Finkelstein, J. Dowell

引用次数: 227

To be and not to be: on managing inconsistency in software development 生存与毁灭:关于管理软件开发中的不一致性

Proceedings of the 8th International Workshop on Software Specification and Design Pub Date : 1996-03-22 DOI: 10.1109/IWSSD.1996.501161

B. Nuseibeh

引用次数: 87

Industrial software architecture with Gestalt 用格式塔的工业软件架构

Proceedings of the 8th International Workshop on Software Specification and Design Pub Date : 1996-03-22 DOI: 10.1109/IWSSD.1996.501164

R. Schwanke, Veronika A. Strack, Thomas Werthmann-Auzinger

引用次数: 15

Towards a formal specification method for graphical user interfaces using modularized graph grammars 采用模块化图形语法实现图形用户界面的形式化规范方法

Proceedings of the 8th International Workshop on Software Specification and Design Pub Date : 1996-03-22 DOI: 10.1109/IWSSD.1996.501147

M. Goedicke, B. Sucrow

{"title":"Towards a formal specification method for graphical user interfaces using modularized graph grammars","authors":"M. Goedicke, B. Sucrow","doi":"10.1109/IWSSD.1996.501147","DOIUrl":"https://doi.org/10.1109/IWSSD.1996.501147","url":null,"abstract":"Well designed graphical user interfaces offer a high potential to increase the productivity of human users. The necessary condition for such a good performance is that the user interface represents the semantics of the underlying application in a clear and comprehensible way. This means, especially, that not only syntactical layout but also semantic consistency conditions between the various interaction objects have to be presented in a graphical user interface appropriately. This is usually termed semantic feedback. Many representation schemes have been proposed to express the properties of graphical man machine interfaces. However, many of them concentrate on control flow design and do not easily scale up to realistic problems. We propose a graph and graph grammar based approach which addresses the problem of semantic consistency of dialogs in graphical user interfaces. The main emphasis lies on an appropriate specification of the consistency conditions between the various graphical interaction objects of a man machine interface. We also propose a modularization technique in order to cope with large systems. We show the expressiveness and modularization features of our approach which is based on an analysis of the relationships between the various graphical interaction objects and conclude with remarks on future work.","PeriodicalId":244084,"journal":{"name":"Proceedings of the 8th International Workshop on Software Specification and Design","volume":"388 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-03-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126741444","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 16

PDP: programming a programmable design process PDP:编程一个可编程的设计过程

Proceedings of the 8th International Workshop on Software Specification and Design Pub Date : 1996-03-22 DOI: 10.1109/IWSSD.1996.501166

S. Sutton, L. Osterweil

{"title":"PDP: programming a programmable design process","authors":"S. Sutton, L. Osterweil","doi":"10.1109/IWSSD.1996.501166","DOIUrl":"https://doi.org/10.1109/IWSSD.1996.501166","url":null,"abstract":"We have been developing PDP, a system for programming the process of designing software that is based on G. Booch (1994) object oriented design. Process programming can help in capturing and managing the inherent complexities of design processes and products, while programmability is necessary to accommodate the dynamic and creative aspects of design. PDP views the design process as comprising process steps, product artifacts, and execution resources. The process is multi user and multi role. The control model includes both proactive and reactive elements. Explicit consistency conditions interrelate product state and process control. Issues that arise in the programming of PDP include the integration of proactive and reactive control, the capturing of interrelations among steps, artifacts, and constraints, the identification of consistency conditions for design products and their implications for process control, and the accommodation of inconsistency and indeterminacy in evaluating design product state. Programmability is intended to provide organizations, managers, and developers with degrees of structured flexibility that are appropriate for their roles in the design process. A number of issues arise with the introduction of programmability, eg., what distinguishes different design processes and their variants? What is a legal design process or product and to what extent can it be varied? What controls should be available to process managers and to design engineers?.","PeriodicalId":244084,"journal":{"name":"Proceedings of the 8th International Workshop on Software Specification and Design","volume":"83 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-03-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126179583","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 7

A survey of architecture description languages 架构描述语言综述

Proceedings of the 8th International Workshop on Software Specification and Design Pub Date : 1996-03-22 DOI: 10.1109/IWSSD.1996.501143

P. Clements

引用次数: 347