Pub Date : 1989-06-05DOI: 10.1109/ICCSSE.1989.72713
I. Spiegler, D. Widder
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.<>
{"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}
Pub Date : 1989-06-05DOI: 10.1109/ICCSSE.1989.72730
Y. Cohen
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.<>
{"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}
Pub Date : 1989-06-05DOI: 10.1109/ICCSSE.1989.72736
Y. Levendel
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.<>
在之前的一篇论文中，作者对给定项目中的缺陷检测和去除率进行了数学建模(Proc. COMPSAC 87, p.340-6, october 1987)。与其他模型相反，提交人的模型是一个全面的出生-死亡模型，由通过提交代码引入的错误触发。修复过程去除检测到的缺陷，同时以一定的速率重新引入新的缺陷。采用均匀统计分布来建立模型。在本研究中，引入了时变测试覆盖率和时变缺陷修复强度两个重要的改进概念。测试覆盖率和修复强度分别是通过测试程序和缺陷修复的资源可用性来增加软件覆盖率的功能。这两个概念的建模可以更好地将模型与现实联系起来。非齐次分布提供了必要的数学工具
{"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}
Pub Date : 1989-06-05DOI: 10.1109/ICCSSE.1989.72710
S. Levi, S. Tripathi, S. Carson, A. Agrawala
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.<>
{"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}
Pub Date : 1989-06-05DOI: 10.1109/ICCSSE.1989.72724
J. Steif
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.<>
{"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}
Pub Date : 1989-06-05DOI: 10.1109/ICCSSE.1989.72725
Y. Feldman
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.<>
{"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}
Pub Date : 1989-06-05DOI: 10.1109/ICCSSE.1989.72728
S. Kaplan
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.<>
{"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}
Pub Date : 1900-01-01DOI: 10.1109/ICCSSE.1989.72719
D. Akiva, D. Mass
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.<>
{"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}
Pub Date : 1900-01-01DOI: 10.1109/ICCSSE.1989.72734
M. W. Morron
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.<>
{"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}
Pub Date : 1900-01-01DOI: 10.1109/ICCSSE.1989.72717
D. Zernik, L. Rudolph, R. V. Rubin
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.<>
{"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}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：