发布求助
文献互助 智能选刊 最新文献

[1989] Proceedings. The Fourth Israel Conference on Computer Systems and Software Engineering最新文献

筛选
英文 中文
A decision support model for database design 数据库设计决策支持模型
[1989] Proceedings. The Fourth Israel Conference on Computer Systems and Software Engineering Pub Date : 1989-06-05 DOI: 10.1109/ICCSSE.1989.72713
I. Spiegler, D. Widder
{"title":"A decision support model for database design","authors":"I. Spiegler, D. Widder","doi":"10.1109/ICCSSE.1989.72713","DOIUrl":"https://doi.org/10.1109/ICCSSE.1989.72713","url":null,"abstract":"A model is proposed that is aimed at supporting the database designer at the latter stages of system design. Tools exist for helping the system effort at the analysis or logical design stage, but once the system has been defined the designer is left with many decisions which will affect system construction and the maintenance stage. Therefore, this effort is analogous to the CASE methodology which encompasses all system development stages of an information system that is based on a database.<<ETX>>","PeriodicalId":448488,"journal":{"name":"[1989] Proceedings. The Fourth Israel Conference on Computer Systems and Software Engineering","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-06-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126866350","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}
引用次数: 0
Hypertext-a new challenge 超文本是一个新的挑战
[1989] Proceedings. The Fourth Israel Conference on Computer Systems and Software Engineering Pub Date : 1989-06-05 DOI: 10.1109/ICCSSE.1989.72730
Y. Cohen
{"title":"Hypertext-a new challenge","authors":"Y. Cohen","doi":"10.1109/ICCSSE.1989.72730","DOIUrl":"https://doi.org/10.1109/ICCSSE.1989.72730","url":null,"abstract":"The author discusses the hypertext concept, which is of interest as an electronic writing, reading, thinking, and communication tool that uses the power of computers for more than display and editing. The hypertext features fit a wide range of applications, the most challenging of which is analysis and design activities, including CASE tools. The design of a practical, specific-domain, hypertextlike system for a group of collaborating information analysts that is based on successful past experience with building and using such a tool is discussed.<<ETX>>","PeriodicalId":448488,"journal":{"name":"[1989] Proceedings. The Fourth Israel Conference on Computer Systems and Software Engineering","volume":"98 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-06-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122729191","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}
引用次数: 0
Software quality and reliability prediction: a time-dependent model with controllable testing coverage and repair intensity 软件质量和可靠性预测:一个具有可控测试覆盖率和修复强度的时间依赖模型
[1989] Proceedings. The Fourth Israel Conference on Computer Systems and Software Engineering Pub Date : 1989-06-05 DOI: 10.1109/ICCSSE.1989.72736
Y. Levendel
{"title":"Software quality and reliability prediction: a time-dependent model with controllable testing coverage and repair intensity","authors":"Y. Levendel","doi":"10.1109/ICCSSE.1989.72736","DOIUrl":"https://doi.org/10.1109/ICCSSE.1989.72736","url":null,"abstract":"In a previous paper, the defect detection and removal rates in a given project were mathematically modeled by the author (Proc. COMPSAC 87, p.340-6, Oct. 1987). Contrary to other models, the author's model was a comprehensive birth-death model that was triggered by faults introduced through code submission. The repair process removed the detected defects while reintroducing new defects at a certain rate. Homogeneous statistical distributions were used to produce the model. In the present study, two important improvements are introduced, namely, the concepts of time-varying test coverage and of time-varying defect repair intensity. The test coverage and the repair intensity are increasing functions of the software coverage by the test program and the resource availability for defect repairs, respectively. The modeling of these two concepts provides a better tie of the model to reality. Nonhomogeneous distributions provide the necessary mathematical tool.<<ETX>>","PeriodicalId":448488,"journal":{"name":"[1989] Proceedings. The Fourth Israel Conference on Computer Systems and Software Engineering","volume":"172 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-06-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133105597","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}
引用次数: 3
The MARUTI hard real-time operating system MARUTI硬实时操作系统
[1989] Proceedings. The Fourth Israel Conference on Computer Systems and Software Engineering Pub Date : 1989-06-05 DOI: 10.1109/ICCSSE.1989.72710
S. Levi, S. Tripathi, S. Carson, A. Agrawala
{"title":"The MARUTI hard real-time operating system","authors":"S. Levi, S. Tripathi, S. Carson, A. Agrawala","doi":"10.1109/ICCSSE.1989.72710","DOIUrl":"https://doi.org/10.1109/ICCSSE.1989.72710","url":null,"abstract":"A description is given of the MARUTI operating system, which is designed to support real-time applications on a variety of hardware systems. The kernel supports objects as primitive entities and provides a communication mechanism that allows transparent distribution in networked systems. Fault tolerance is provided through replication and consistency-control mechanisms. MARUTI supports guaranteed-service scheduling, in which jobs that are accepted by the system are verified to satisfy general time constraints. These time constraints include those that govern interrupt processing, which allows the MARUTI approach to succeed where more rigorous approaches do not. The result is that MARUTI applications can be executed in a predictable, deterministic fashion.<<ETX>>","PeriodicalId":448488,"journal":{"name":"[1989] Proceedings. The Fourth Israel Conference on Computer Systems and Software Engineering","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-06-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124875266","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}
引用次数: 19
Information systems engineering: a case study 信息系统工程:一个案例研究
[1989] Proceedings. The Fourth Israel Conference on Computer Systems and Software Engineering Pub Date : 1989-06-05 DOI: 10.1109/ICCSSE.1989.72724
J. Steif
{"title":"Information systems engineering: a case study","authors":"J. Steif","doi":"10.1109/ICCSSE.1989.72724","DOIUrl":"https://doi.org/10.1109/ICCSSE.1989.72724","url":null,"abstract":"The author presents an example of an organization, a hospital, comprising a wide spectrum of simple-to-complex interrelated subsystems. The experience gained from developing a large hospital information system over a period of ten years is used to demonstrate some of the problems concerning information system technology and some possible engineering solutions.<<ETX>>","PeriodicalId":448488,"journal":{"name":"[1989] Proceedings. The Fourth Israel Conference on Computer Systems and Software Engineering","volume":"95 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-06-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125026647","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}
引用次数: 0
The assistant approach to automatic programming 自动编程的辅助方法
[1989] Proceedings. The Fourth Israel Conference on Computer Systems and Software Engineering Pub Date : 1989-06-05 DOI: 10.1109/ICCSSE.1989.72725
Y. Feldman
{"title":"The assistant approach to automatic programming","authors":"Y. Feldman","doi":"10.1109/ICCSSE.1989.72725","DOIUrl":"https://doi.org/10.1109/ICCSSE.1989.72725","url":null,"abstract":"Summary form only given. Current research efforts in automatic and semiautomatic program synthesis, including transformational approaches, deductive synthesis, very-high-level languages, and programming by example, are surveyed. The assistant approach to the problem is covered. Whereas other approaches aim for full automation of the programming process and usually end up with a system which requires some manual guidance, the aim of this approach is to create an intelligent programming environment which should carry some of the burden of the software development process. The assistant takes care of the more mundane and tedious parts of the design, which should be the easiest to automate. This allows the designer to concentrate on the global design decisions. Ongoing research at the Massachusetts Institute of Technology and the Weizmann Institute of Science is examined.<<ETX>>","PeriodicalId":448488,"journal":{"name":"[1989] Proceedings. The Fourth Israel Conference on Computer Systems and Software Engineering","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-06-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124448311","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}
引用次数: 0
Algebraic specifications: state of the art and open perspectives 代数规范:艺术的状态和开放的观点
[1989] Proceedings. The Fourth Israel Conference on Computer Systems and Software Engineering Pub Date : 1989-06-05 DOI: 10.1109/ICCSSE.1989.72728
S. Kaplan
{"title":"Algebraic specifications: state of the art and open perspectives","authors":"S. Kaplan","doi":"10.1109/ICCSSE.1989.72728","DOIUrl":"https://doi.org/10.1109/ICCSSE.1989.72728","url":null,"abstract":"The advantages of formal specifications are many: they avoid ambiguities, inconsistencies, and incompleteness, allow the introduction of automated or semiautomated tools (for verification, prototyping, and systematic development), etc. Among different approaches to formal specifications, algebraic specifications have had a particular success. The purpose of this study is to examine the state of the art for this approach, its main achievements, and the principal problems still to be solved and to outline future perspectives in the field.<<ETX>>","PeriodicalId":448488,"journal":{"name":"[1989] Proceedings. The Fourth Israel Conference on Computer Systems and Software Engineering","volume":"117 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-06-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129126137","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}
引用次数: 0
Configuration management of changes and corrections processing for a software project 软件项目变更和更正处理的配置管理
[1989] Proceedings. The Fourth Israel Conference on Computer Systems and Software Engineering Pub Date : 1900-01-01 DOI: 10.1109/ICCSSE.1989.72719
D. Akiva, D. Mass
{"title":"Configuration management of changes and corrections processing for a software project","authors":"D. Akiva, D. Mass","doi":"10.1109/ICCSSE.1989.72719","DOIUrl":"https://doi.org/10.1109/ICCSSE.1989.72719","url":null,"abstract":"The authors discuss the methods used for problem identification, marking, and their documentation during the integration and maintenance phases of a project. They show the actual forms used to report the problems and their solutions and examples of the management reports used for follow-up and analysis. Interactive screen-oriented tools used to support the methodology are outlined.<<ETX>>","PeriodicalId":448488,"journal":{"name":"[1989] Proceedings. The Fourth Israel Conference on Computer Systems and Software Engineering","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131555187","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}
引用次数: 0
The PCTE CASE standard PCTE CASE标准
[1989] Proceedings. The Fourth Israel Conference on Computer Systems and Software Engineering Pub Date : 1900-01-01 DOI: 10.1109/ICCSSE.1989.72734
M. W. Morron
{"title":"The PCTE CASE standard","authors":"M. W. Morron","doi":"10.1109/ICCSSE.1989.72734","DOIUrl":"https://doi.org/10.1109/ICCSSE.1989.72734","url":null,"abstract":"The emerging importance of standard interfaces to system development environments is outlined. The activity currently underway to standardise PCTE (portable common tool environment) is discussed. The relevance of this work and its future industrial importance for both users and tool writers are highlighted.<<ETX>>","PeriodicalId":448488,"journal":{"name":"[1989] Proceedings. The Fourth Israel Conference on Computer Systems and Software Engineering","volume":"140 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133647095","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}
引用次数: 0
Holistic displays 整体显示
[1989] Proceedings. The Fourth Israel Conference on Computer Systems and Software Engineering Pub Date : 1900-01-01 DOI: 10.1109/ICCSSE.1989.72717
D. Zernik, L. Rudolph, R. V. Rubin
{"title":"Holistic displays","authors":"D. Zernik, L. Rudolph, R. V. Rubin","doi":"10.1109/ICCSSE.1989.72717","DOIUrl":"https://doi.org/10.1109/ICCSSE.1989.72717","url":null,"abstract":"The authors outline a system that transforms the visual display into an interactive tableaux of the information structures under examination. Users interact with the tableaux to construct and confirm hypotheses about the model underlying the information structures. The authors formalize the display as an abstract graph and define a general algebra for its manipulation. Applications in neural networks and parallel computation are described.<<ETX>>","PeriodicalId":448488,"journal":{"name":"[1989] Proceedings. The Fourth Israel Conference on Computer Systems and Software Engineering","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125406903","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}
引用次数: 2
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信