Proceedings of the Eighth Israeli Conference on Computer Systems and Software Engineering最新文献

An RPC-based methodology for client/server application development in C++ 基于rpc的c++客户机/服务器应用程序开发方法

Proceedings of the Eighth Israeli Conference on Computer Systems and Software Engineering Pub Date : 1997-06-18 DOI: 10.1109/ICCSSE.1997.599874

Y. Gidron, Lev Kozakov, U. Shani

引用次数: 2

Prioritized dispersal: a scheme for selective exploitation of redundancy in distributed systems 优先分散:一种在分布式系统中选择性利用冗余的方案

Proceedings of the Eighth Israeli Conference on Computer Systems and Software Engineering Pub Date : 1997-06-18 DOI: 10.1109/ICCSSE.1997.599878

Y. Birk, N. Bloch

引用次数: 2

Fractal blackboard framework 分形黑板框架

Proceedings of the Eighth Israeli Conference on Computer Systems and Software Engineering Pub Date : 1997-06-18 DOI: 10.1109/ICCSSE.1997.599872

M. Naaman, A. Zaks

引用次数: 2

Extension mechanisms in Montana 蒙大拿州的延伸机制

Proceedings of the Eighth Israeli Conference on Computer Systems and Software Engineering Pub Date : 1997-06-18 DOI: 10.1109/ICCSSE.1997.599883

D. Soroker, M. Karasick, J. Barton, D. Streeter

引用次数: 26

Partial redundancy elimination driven by a cost-benefit analysis 由成本效益分析驱动的部分冗余消除

Proceedings of the Eighth Israeli Conference on Computer Systems and Software Engineering Pub Date : 1997-06-18 DOI: 10.1109/ICCSSE.1997.599882

R. Horspool, H. C. Ho

引用次数: 35

Architecting software with interface objects 用接口对象架构软件

Proceedings of the Eighth Israeli Conference on Computer Systems and Software Engineering Pub Date : 1997-06-18 DOI: 10.1109/ICCSSE.1997.599873

A. Ran, Jianli Xu

{"title":"Architecting software with interface objects","authors":"A. Ran, Jianli Xu","doi":"10.1109/ICCSSE.1997.599873","DOIUrl":"https://doi.org/10.1109/ICCSSE.1997.599873","url":null,"abstract":"One of the main concerns of software architects is managing the complexity that is inherent in the development and evolution of large software by minimising and isolating dependencies between different parts into concise descriptions of their interfaces. Possible grouping, ordering or other relations and constraints between the interface elements themselves or with the intended user appear as informal comments or are left unspecified. We have developed a model for structuring and describing interfaces that is suitable for complex software components. In each interaction domain, we use interface objects for hierarchical groupings of interface elements related to the specific function or role played by the component in its interactions with other components. When components are aggregated into composite components, their interface objects may be aggregated in a similar way into composite interface objects. The state of an interface object allows one to specify the conditional availability of its interface elements. Nonuniform visibility of interface elements to different collaborators may be achieved by alternative groupings of interface elements and by selective visibility of interface objects. Interface objects isolate and open a part of the component implementation that is relevant for understanding the interactions of the component, and they thus serve as precise descriptions of its interfaces. An important principle of our approach was to address these problems without introducing new tools or languages, in order to make the approach immediately useful for software engineers working on product development.","PeriodicalId":430125,"journal":{"name":"Proceedings of the Eighth Israeli Conference on Computer Systems and Software Engineering","volume":"36 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-06-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116974222","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}

引用次数: 14

A quality methodology based on statistical analysis of software structure 一种基于软件结构统计分析的质量方法论

Proceedings of the Eighth Israeli Conference on Computer Systems and Software Engineering Pub Date : 1997-06-18 DOI: 10.1109/ICCSSE.1997.599870

M. Pighin

引用次数: 0

Visual data flow language based on iterative constructs 基于迭代构造的可视化数据流语言

Proceedings of the Eighth Israeli Conference on Computer Systems and Software Engineering Pub Date : 1997-06-18 DOI: 10.1109/ICCSSE.1997.599880

M. Auguston

引用次数: 3

Formal development of static program analysers 静态程序分析器的正式开发

Proceedings of the Eighth Israeli Conference on Computer Systems and Software Engineering Pub Date : 1997-06-18 DOI: 10.1109/ICCSSE.1997.599881

V. Gouranton, D. Le Métayer

引用次数: 2

The 'Logic Assurance (LA)' system-a tool for testing and controlling real-time systems “逻辑保证(LA)”系统——用于测试和控制实时系统的工具

Proceedings of the Eighth Israeli Conference on Computer Systems and Software Engineering Pub Date : 1997-06-18 DOI: 10.1109/ICCSSE.1997.599875

O. Shtrichman, R. Goldring

{"title":"The 'Logic Assurance (LA)' system-a tool for testing and controlling real-time systems","authors":"O. Shtrichman, R. Goldring","doi":"10.1109/ICCSSE.1997.599875","DOIUrl":"https://doi.org/10.1109/ICCSSE.1997.599875","url":null,"abstract":"The LA system combines the testing, debugging, monitoring and control of real-time systems. It is capable of improving a system's reliability and development productivity. This is achieved by enabling the developer to describe parts of the specification with logic and temporal logic assertions. The assertions are automatically compared to the actual behavior of the system under development (SUD), and its environment information about the SUD's behavior is represented by informative events and states. This information is transferred to LA from different resources by using special directives inserted inside the code (an approach we call 'informative box'). When an assertion is violated, an informative message is given so that bugs can be detected and focused on. In addition to the message, a user function can be called. This can be used for real-time control and monitoring, either while testing the system or after it has already been launched. The informative box method enables one to perform smart, pin-pointed tests and temporal tests, neither of which can be performed by using standard black-box techniques. This is why LA can assist in the testing and integration of real-time embedded systems, reactive systems, and particularly in the testing of multiprocessor systems running cooperative processes. Considerable time and effort can be saved by using LA throughout the development process. Moreover, it has the capability to detect erroneous situations that otherwise would be more difficult to notice, as was proven when it was used to handle several communication protocol simulations.","PeriodicalId":430125,"journal":{"name":"Proceedings of the Eighth Israeli Conference on Computer Systems and Software Engineering","volume":"46 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1997-06-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117030702","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