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

[1989] Proceedings of the Thirteenth Annual International Computer Software & Applications Conference最新文献

筛选
英文 中文
Hyper-geometric distribution model to estimate the number of residual software faults 基于超几何分布模型的软件剩余故障估计
[1989] Proceedings of the Thirteenth Annual International Computer Software & Applications Conference Pub Date : 1989-09-20 DOI: 10.1109/CMPSAC.1989.65155
Y. Tohma, R. Jacoby, Y. Murata, Moriki Yamamoto
{"title":"Hyper-geometric distribution model to estimate the number of residual software faults","authors":"Y. Tohma, R. Jacoby, Y. Murata, Moriki Yamamoto","doi":"10.1109/CMPSAC.1989.65155","DOIUrl":"https://doi.org/10.1109/CMPSAC.1989.65155","url":null,"abstract":"It is shown that the hyper-geometric distribution model can be applied to different types of test-and-debug data to estimate the number of initial software faults. Examples show that the fitness of the estimated growth curves of the model to real data is satisfactory. The relationship of the model to those proposed earlier is clarified. Some of them can be expressed as a special case of the proposed model. The S-shaped characteristic of the growth curve can also be introduced using this model.<<ETX>>","PeriodicalId":339677,"journal":{"name":"[1989] Proceedings of the Thirteenth Annual International Computer Software & Applications Conference","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-09-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123804103","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}
引用次数: 72
An integrated framework for software prototyping 用于软件原型的集成框架
[1989] Proceedings of the Thirteenth Annual International Computer Software & Applications Conference Pub Date : 1989-09-20 DOI: 10.1109/CMPSAC.1989.65126
Jijun Chen, Jun-yi Wang, Jeremy H. C. Kuo
{"title":"An integrated framework for software prototyping","authors":"Jijun Chen, Jun-yi Wang, Jeremy H. C. Kuo","doi":"10.1109/CMPSAC.1989.65126","DOIUrl":"https://doi.org/10.1109/CMPSAC.1989.65126","url":null,"abstract":"An integrated framework for software prototyping is presented. The theme of the work is the integration of an object-oriented semantics data model (OSDM) and a statechart-based operational model (SBOM). The executability of SBOM renders a working prototype, and the expressiveness of both models enables the developer to specify a prototype rapidly. It is claimed that the combined strength of both models makes it possible to develop prototypes for a wide range of applications that include both information management systems and reactive systems. A methodology for software prototyping in this framework and an effort to build an integrated prototyping environment are also discussed.<<ETX>>","PeriodicalId":339677,"journal":{"name":"[1989] Proceedings of the Thirteenth Annual International Computer Software & Applications Conference","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-09-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125291101","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
An object-oriented methodology for end-user logical database design: the structured entity model approach 用于最终用户逻辑数据库设计的面向对象方法:结构化实体模型方法
[1989] Proceedings of the Thirteenth Annual International Computer Software & Applications Conference Pub Date : 1989-09-20 DOI: 10.1109/CMPSAC.1989.65109
K. Higa, O. Sheng
{"title":"An object-oriented methodology for end-user logical database design: the structured entity model approach","authors":"K. Higa, O. Sheng","doi":"10.1109/CMPSAC.1989.65109","DOIUrl":"https://doi.org/10.1109/CMPSAC.1989.65109","url":null,"abstract":"A well-designed database that contains relevant, nonredundant, and consistent data is rarely achieved in practice. One major reason for this is seen to be the lack of effective support for logical database design. In view of this, the structured entity model (SEM) method, an object-oriented method which facilitates the logical design phases of database system development was developed. Because, unlike most methods, SEM does not require designers to understand normalization theory in order to design a logical database, an end user (or a novice designer) can successfully complete logical database design using the method.<<ETX>>","PeriodicalId":339677,"journal":{"name":"[1989] Proceedings of the Thirteenth Annual International Computer Software & Applications Conference","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-09-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122236844","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}
引用次数: 18
Interactive control of prototyping process 原型制作过程的交互控制
[1989] Proceedings of the Thirteenth Annual International Computer Software & Applications Conference Pub Date : 1989-09-20 DOI: 10.1109/CMPSAC.1989.65124
Luqi, Yuh-jeng Lee
{"title":"Interactive control of prototyping process","authors":"Luqi, Yuh-jeng Lee","doi":"10.1109/CMPSAC.1989.65124","DOIUrl":"https://doi.org/10.1109/CMPSAC.1989.65124","url":null,"abstract":"The use of CAPS (computer-aided prototyping system) for the interactive construction, execution, debugging, modification, and control of software prototypes is presented. The current version of CAPS is discussed, its user interface for monitoring and coordinating the prototype development process is explicated, and the functioning of each of the integrated software tools is shown. CAPS has demonstrated the potential as a significant time- and cost-saving tool in the development of software systems. The primary benefit of incorporating the user interface as part of CAPS is that it helps CAPS develop into a more powerful and advanced form.<<ETX>>","PeriodicalId":339677,"journal":{"name":"[1989] Proceedings of the Thirteenth Annual International Computer Software & Applications Conference","volume":"52 3","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-09-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120904152","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
Deterministic execution debugging of concurrent Ada programs 并发Ada程序的确定性执行调试
[1989] Proceedings of the Thirteenth Annual International Computer Software & Applications Conference Pub Date : 1989-09-20 DOI: 10.1109/CMPSAC.1989.65064
K. Tai, R. Carver, Evelyn E. Obaid
{"title":"Deterministic execution debugging of concurrent Ada programs","authors":"K. Tai, R. Carver, Evelyn E. Obaid","doi":"10.1109/CMPSAC.1989.65064","DOIUrl":"https://doi.org/10.1109/CMPSAC.1989.65064","url":null,"abstract":"The authors show how to accomplish deterministic execution debugging of a concurrent Ada program according to a given synchronization (SYN) sequence. They first define the format of a SYN sequence of a concurrent Ada program in order to provide sufficient information for deterministic execution. They show how to transform a concurrent Ada program P into a slightly different Ada program P' so that any execution of P' with (X,S) as input, where S is the SYN sequence of a previous execution of P with input X, definitely repeats S. Tools for transforming concurrent Ada programs for deterministic execution debugging are described.<<ETX>>","PeriodicalId":339677,"journal":{"name":"[1989] Proceedings of the Thirteenth Annual International Computer Software & Applications Conference","volume":"117 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-09-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130007279","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
Statistically-based program size estimation 基于统计的程序大小估计
[1989] Proceedings of the Thirteenth Annual International Computer Software & Applications Conference Pub Date : 1989-09-20 DOI: 10.1109/CMPSAC.1989.65150
Muneo Takahashi, Takeshi Miyake, S. Hanata
{"title":"Statistically-based program size estimation","authors":"Muneo Takahashi, Takeshi Miyake, S. Hanata","doi":"10.1109/CMPSAC.1989.65150","DOIUrl":"https://doi.org/10.1109/CMPSAC.1989.65150","url":null,"abstract":"A model for estimating program size, before coding of the program begins, on the basis of the complexity of the software is presented. The complexity of the software is computed from program logic charts with the Halstead metrics. The relationships between the complexity of the software and program size are then statistically analyzed by taking hypothesized environmental factors, such as program categories, into consideration. Results of an experiment show that, of the Halstead metrics, N/sub 1/ is the most significant and reasonable as a metric for computing the complexity of the software from program logic charts. The results also show that the model based on this metric is more reliable than the conventional size estimation method.<<ETX>>","PeriodicalId":339677,"journal":{"name":"[1989] Proceedings of the Thirteenth Annual International Computer Software & Applications Conference","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-09-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132628688","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
SEWB: distributed software development environment on workstations SEWB:工作站上的分布式软件开发环境
[1989] Proceedings of the Thirteenth Annual International Computer Software & Applications Conference Pub Date : 1989-09-20 DOI: 10.1109/CMPSAC.1989.65118
H. Mimura, H. Maezawa
{"title":"SEWB: distributed software development environment on workstations","authors":"H. Mimura, H. Maezawa","doi":"10.1109/CMPSAC.1989.65118","DOIUrl":"https://doi.org/10.1109/CMPSAC.1989.65118","url":null,"abstract":"A description is given of the software engineering workbench (SEWB). SEWB integrates the workstation's development tools for the entire software prototyping and lifecycle. Software development activities at design, coding, testing, and maintenance phases are supported seamlessly by this tool integration. The purposes of SEWB are to offer easy-to-use development tools based on a consistent plan and to construct a visual programming system using diagrams. The background and objectives of SEWB development are described, basic concepts and significant features of SEWB are examined, and an overview of design and programming support tools included in SEWB is given.<<ETX>>","PeriodicalId":339677,"journal":{"name":"[1989] Proceedings of the Thirteenth Annual International Computer Software & Applications Conference","volume":"32 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-09-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115145786","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
'Entropy production rate' and 'entropy' for neural networks 神经网络的“熵产率”和“熵”
[1989] Proceedings of the Thirteenth Annual International Computer Software & Applications Conference Pub Date : 1989-09-20 DOI: 10.1109/CMPSAC.1989.65162
Hung-Jen Chang, Kung-Shiuh Huang, Kuan-Tsao Huang
{"title":"'Entropy production rate' and 'entropy' for neural networks","authors":"Hung-Jen Chang, Kung-Shiuh Huang, Kuan-Tsao Huang","doi":"10.1109/CMPSAC.1989.65162","DOIUrl":"https://doi.org/10.1109/CMPSAC.1989.65162","url":null,"abstract":"Two new quantities for neural networks, entropy production rate and entropy, are derived. In the Hopfield neural model, Hopfield introduced a quantity, energy, and the energy minimum corresponds to a possible good solution to a problem. It is shown that the energy function does not match the physical meaning of energy in physics; a better physical interpretation can go through entropy production rate and entropy in physics. These new quantities can be further extended to general nonequilibrium open systems for neural networks.<<ETX>>","PeriodicalId":339677,"journal":{"name":"[1989] Proceedings of the Thirteenth Annual International Computer Software & Applications Conference","volume":"205 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-09-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116386715","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}
引用次数: 1
A structured bipartite inheritance network representation for object-oriented software design 面向对象软件设计的结构化二部继承网络表示
[1989] Proceedings of the Thirteenth Annual International Computer Software & Applications Conference Pub Date : 1989-09-20 DOI: 10.1109/CMPSAC.1989.65107
S. Yau, Chung-Shyan Liu
{"title":"A structured bipartite inheritance network representation for object-oriented software design","authors":"S. Yau, Chung-Shyan Liu","doi":"10.1109/CMPSAC.1989.65107","DOIUrl":"https://doi.org/10.1109/CMPSAC.1989.65107","url":null,"abstract":"A representation for any object-oriented software design is presented. The representation is based on a structured bipartite inheritance network, which is a network with two kinds of basic nodes-data entity nodes and action nodes-and an encapsulation mechanism-substructure. Data entity nodes and action nodes are independent of each other and structured into the inheritance hierarchy. The advantage of this representation is that all object-oriented software design can be represented in a uniform way, thereby making the software system more understandable and more maintainable.<<ETX>>","PeriodicalId":339677,"journal":{"name":"[1989] Proceedings of the Thirteenth Annual International Computer Software & Applications Conference","volume":"46 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-09-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114572457","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
Generating displays for specifications using attribute grammars 使用属性语法为规范生成显示
[1989] Proceedings of the Thirteenth Annual International Computer Software & Applications Conference Pub Date : 1989-09-20 DOI: 10.1109/CMPSAC.1989.65153
V. Berzins, Yuh-jeng Lee
{"title":"Generating displays for specifications using attribute grammars","authors":"V. Berzins, Yuh-jeng Lee","doi":"10.1109/CMPSAC.1989.65153","DOIUrl":"https://doi.org/10.1109/CMPSAC.1989.65153","url":null,"abstract":"The authors report their experiences using attribute grammars to generate pretty printers automatically for a formal specification language. This technology enables such tools to be created with a relatively small amount of effort. The resulting tools are easy to modify and are fast enough for practical use. The extension of this technique to other notations is discussed.<<ETX>>","PeriodicalId":339677,"journal":{"name":"[1989] Proceedings of the Thirteenth Annual International Computer Software & Applications Conference","volume":"55 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-09-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127461510","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学术官方微信