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

Proceedings of 20th International Computer Software and Applications Conference: COMPSAC '96最新文献

筛选
英文 中文
Software industry in Taiwan 台湾的软件业
Proceedings of 20th International Computer Software and Applications Conference: COMPSAC '96 Pub Date : 1996-08-19 DOI: 10.1109/CMPSAC.1996.544157
J. Ke
{"title":"Software industry in Taiwan","authors":"J. Ke","doi":"10.1109/CMPSAC.1996.544157","DOIUrl":"https://doi.org/10.1109/CMPSAC.1996.544157","url":null,"abstract":"Taiwan is ranked the third largest IT product manufacturing country worldwide. Although the software production value is only 10% of the production value, the average compound growth rate has reached 20% in the past five years. The main factors behind the growth of the Taiwan software industry are: 1. The promotion of Internet and NII (National Information Infrastructure) projects generated big demand for PCs and its related application. 2. The deployment of large-scale mission-critical information systems has stimulated large investment in system integration and application development. 3. The promotion of IPR awareness and computer literacy has brought increased prosperity to the computer-related market. 4. The Five-year Software Development Plan sponsored by the Ministry of Economic Affairs has built a stronger software industry structure and accelerated the industry development. 5. The software technology R&D funding provided by the Ministry of Economic Affairs motivated both the research institutes and the private sector to create innovative software products. The rate of the Taiwan software industry growth is forecast at over 20% in 1996. This can be attributed to the expectation of continued economic growth, increased demands from the distribution and financial sectors, rapid advances in multimedia and educational software, as well as the growing popularity of information and network applications and services.","PeriodicalId":306601,"journal":{"name":"Proceedings of 20th International Computer Software and Applications Conference: COMPSAC '96","volume":"131 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-08-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123207955","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
Software Cost Option Strategy Tool (S-COST) 软件成本选择策略工具(S-COST)
Proceedings of 20th International Computer Software and Applications Conference: COMPSAC '96 Pub Date : 1996-08-19 DOI: 10.1109/CMPSAC.1996.542289
Barry W. Boehm, H. In
{"title":"Software Cost Option Strategy Tool (S-COST)","authors":"Barry W. Boehm, H. In","doi":"10.1109/CMPSAC.1996.542289","DOIUrl":"https://doi.org/10.1109/CMPSAC.1996.542289","url":null,"abstract":"The process of resolving cost-requirements conflicts is difficult because of incompatibilities among stakeholders' interests and priorities, complex cost requirements dependencies, and an exponentially increasing option space for larger systems. The paper describes an exploratory knowledge-based tool,the Software Cost Option Strategy Tool (S-COST), for assisting stakeholders to surface appropriate cost resolution options, to visualize the options, and to negotiate a mutually satisfactory balance of requirements and cost. S-COST operates in the context of the USC-CSE WinWin system (a groupware support system for determining software and system requirements as negotiated win conditions), QARCC (a support system for identifying conflicts in quality requirements), and COCOMO (constructive cost estimation model). Initial analyses of its capabilities indicate that its semiautomated approach provides users with improved capabilities for addressing cost-requirements issues.","PeriodicalId":306601,"journal":{"name":"Proceedings of 20th International Computer Software and Applications Conference: COMPSAC '96","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-08-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128494229","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}
引用次数: 15
A task-based approach to verifying conceptual models 验证概念模型的基于任务的方法
Proceedings of 20th International Computer Software and Applications Conference: COMPSAC '96 Pub Date : 1996-08-19 DOI: 10.1109/CMPSAC.1996.544148
Jonathan Lee, L. F. Lai, Wei T. Huang
{"title":"A task-based approach to verifying conceptual models","authors":"Jonathan Lee, L. F. Lai, Wei T. Huang","doi":"10.1109/CMPSAC.1996.544148","DOIUrl":"https://doi.org/10.1109/CMPSAC.1996.544148","url":null,"abstract":"We propose the use of task based specifications in conceptual graphs to construct and verify a conceptual model. Task based specification methodology is used to serve as the mechanism to structure the knowledge captured in the conceptual model; whereas, conceptual graphs are adopted as the formalism to express task based specifications. Verifying a conceptual model is performed on model specifications of a task through constraint satisfaction and relaxation techniques, and on process specifications of the task based on the resolution algorithm and the notion of specificity.","PeriodicalId":306601,"journal":{"name":"Proceedings of 20th International Computer Software and Applications Conference: COMPSAC '96","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-08-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129370971","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
Optimal linear hashing files for orthogonal range retrieval 正交范围检索的最佳线性哈希文件
Proceedings of 20th International Computer Software and Applications Conference: COMPSAC '96 Pub Date : 1996-08-19 DOI: 10.1109/CMPSAC.1996.544601
C. Y. Chen, Chinchen Chang, Richard C. T. Lee, D. Lin
{"title":"Optimal linear hashing files for orthogonal range retrieval","authors":"C. Y. Chen, Chinchen Chang, Richard C. T. Lee, D. Lin","doi":"10.1109/CMPSAC.1996.544601","DOIUrl":"https://doi.org/10.1109/CMPSAC.1996.544601","url":null,"abstract":"We are concerned with the problem of designing optimal linear hashing files for orthogonal range retrieval. Through the study of performance expressions, we show that optimal basic linear hashing files and optimal recursive linear hashing files for orthogonal range retrieval can be produced, in certain cases, by a greedy method called the MMI (minimum marginal increase) method; and it is pointed out that optimal linear hashing files for partial match retrieval need not be optimal for orthogonal range retrieval.","PeriodicalId":306601,"journal":{"name":"Proceedings of 20th International Computer Software and Applications Conference: COMPSAC '96","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-08-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130851676","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
Extending statecharts with duration 使用持续时间扩展状态图
Proceedings of 20th International Computer Software and Applications Conference: COMPSAC '96 Pub Date : 1996-08-19 DOI: 10.1109/CMPSAC.1996.544173
Karl R. P. H. Leung, Daniel K. C. Chan
{"title":"Extending statecharts with duration","authors":"Karl R. P. H. Leung, Daniel K. C. Chan","doi":"10.1109/CMPSAC.1996.544173","DOIUrl":"https://doi.org/10.1109/CMPSAC.1996.544173","url":null,"abstract":"Statecharts has been widely accepted as a successful graphical language for specifying reactive systems. However, some anomalies do exist when the durations of activities are subject to different interpretations such as with or without delay. A number of proposals have been put forward to address these anomalies but in a rather ad hoc fashion. The paper re-addresses these anomalies using a more uniform approach based on duration calculus. First, many anomalies are corrected by introducing new notations for specifying duration in statecharts. Second, the meanings of these notations are given in terms of duration calculus. Third, statecharts with duration can be subject to formal reasoning and hence verification. This framework delivers a more uniform extension to the graphical language as well as enables correctness with respect to duration to be studied formally using an established foundation.","PeriodicalId":306601,"journal":{"name":"Proceedings of 20th International Computer Software and Applications Conference: COMPSAC '96","volume":"67 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-08-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130441031","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}
引用次数: 4
Classification of weak correctness criteria for real-time database applications 实时数据库应用的弱正确性标准分类
Proceedings of 20th International Computer Software and Applications Conference: COMPSAC '96 Pub Date : 1996-08-19 DOI: 10.1109/CMPSAC.1996.544163
Kyuwoong Lee, Seog Park
{"title":"Classification of weak correctness criteria for real-time database applications","authors":"Kyuwoong Lee, Seog Park","doi":"10.1109/CMPSAC.1996.544163","DOIUrl":"https://doi.org/10.1109/CMPSAC.1996.544163","url":null,"abstract":"For real-time database systems, transaction processing must satisfy not only logical consistency constraints but also timing constraints. Conflict serializability is too restrictive to achieve the acceptable throughput and predictable response time. Moreover, serializability may not be necessary for concurrent execution and different correctness criteria may be applied to different applications depending on the semantics and the requirements of transactions. We classify the consistency into six forms and propose a relaxed serializability, called statewise serializability, as the weakest form of consistency in our classification. Statewise serializability alleviates the strictness of serializability by allowing for a controlled inconsistent read operation. It can be properly used as a correctness criterion in real-time database applications. We also present the algorithm that determines whether the schedules are statewise serializable, and compare it to other correctness criteria.","PeriodicalId":306601,"journal":{"name":"Proceedings of 20th International Computer Software and Applications Conference: COMPSAC '96","volume":"9 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-08-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126378023","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}
引用次数: 4
A fuzzy association algebra based on a fuzzy object oriented data model 基于模糊面向对象数据模型的模糊关联代数
Proceedings of 20th International Computer Software and Applications Conference: COMPSAC '96 Pub Date : 1996-08-19 DOI: 10.1109/CMPSAC.1996.544177
Selee Na, Seog Park
{"title":"A fuzzy association algebra based on a fuzzy object oriented data model","authors":"Selee Na, Seog Park","doi":"10.1109/CMPSAC.1996.544177","DOIUrl":"https://doi.org/10.1109/CMPSAC.1996.544177","url":null,"abstract":"The complexity of real applications in the field of intelligent information systems has required fuzzy data models for the expression and processing of uncertain and imprecise data. We propose a fuzzy association algebra (FA-algebra) as a query algebra for a new fuzzy object oriented data model (F-model). The F-model is investigated as fuzzy extensions of an object oriented data model, in which fuzzy objects and their fuzzy associations are represented. In FA-algebra, fuzzy objects and fuzzy associations are uniformly represented by fuzzy association patterns. As the results of operations by the operators defined in the FA-algebra, the returned fuzzy association patterns contain the truth values which mean the degrees of suitability of patterns as answers for the queries. The completeness of the FA-algebra is shown.","PeriodicalId":306601,"journal":{"name":"Proceedings of 20th International Computer Software and Applications Conference: COMPSAC '96","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-08-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133751761","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}
引用次数: 15
Measuring the structural complexity of OPS5 rule-based programs 测量基于OPS5规则的程序的结构复杂性
Proceedings of 20th International Computer Software and Applications Conference: COMPSAC '96 Pub Date : 1996-08-19 DOI: 10.1109/CMPSAC.1996.544623
A. Cheng
{"title":"Measuring the structural complexity of OPS5 rule-based programs","authors":"A. Cheng","doi":"10.1109/CMPSAC.1996.544623","DOIUrl":"https://doi.org/10.1109/CMPSAC.1996.544623","url":null,"abstract":"Complexity metrics, such as McCabe's cyclomatic number of a program control graph and Halstead's number of operator/operand occurrences have been used extensively to measure the structural complexity of procedural programs. However, few suitable complexity metrics have been developed for rule-based programs written in OPS5 and OPS5-like rule-based languages. With the increasingly common use of rule-based languages in knowledge-based systems, this paper describes new complexity metrics to more accurately measure the complexity of OPS5 rule-based programs. The practicality of these metrics is empirically demonstrated by applying them to measure the complexity of a suite of benchmark: OPS5 expert systems.","PeriodicalId":306601,"journal":{"name":"Proceedings of 20th International Computer Software and Applications Conference: COMPSAC '96","volume":"36 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-08-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123471382","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
Revolutionizing Software Development 革命性的软件开发
Proceedings of 20th International Computer Software and Applications Conference: COMPSAC '96 Pub Date : 1996-08-19 DOI: 10.1109/CMPSAC.1996.544606
Robert L. Martin
{"title":"Revolutionizing Software Development","authors":"Robert L. Martin","doi":"10.1109/CMPSAC.1996.544606","DOIUrl":"https://doi.org/10.1109/CMPSAC.1996.544606","url":null,"abstract":"Abstract: Starting with the NATO 1968 Software Engineering Conference, answers to the following key questions continue to elude professionals around the world:1. Why is software hard? 2. What has changed in the last 25 years to make it easier? 3. What could improve quality and productivity by:a) Up to a factor of 2 b) Between a factor of 2 to a factor of 10 c) Greater than a factor of 10","PeriodicalId":306601,"journal":{"name":"Proceedings of 20th International Computer Software and Applications Conference: COMPSAC '96","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-08-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124508617","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
Recovery technique based on fuzzy checkpoint in a client/server database system 基于模糊检查点的客户/服务器数据库系统恢复技术
Proceedings of 20th International Computer Software and Applications Conference: COMPSAC '96 Pub Date : 1996-08-19 DOI: 10.1109/CMPSAC.1996.545881
Eui-In Choi, Hae-Chull Lim
{"title":"Recovery technique based on fuzzy checkpoint in a client/server database system","authors":"Eui-In Choi, Hae-Chull Lim","doi":"10.1109/CMPSAC.1996.545881","DOIUrl":"https://doi.org/10.1109/CMPSAC.1996.545881","url":null,"abstract":"We propose improved techniques for logging, checkpointing, and recovery in a client-server database environment. The key features of our scheme are (1) the server only contains main-memory databases and a battery backup device log. (2) The clients perform checkpoint; this makes the server acknowledge the page dirtied by the client. (3) Restart processing is simple and made quicker by using the redo reduction technique. Finally, (4) database consistency is guaranteed even during checkpointing by improving fuzzy checkpointing.","PeriodicalId":306601,"journal":{"name":"Proceedings of 20th International Computer Software and Applications Conference: COMPSAC '96","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1996-08-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122948234","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
首页 上一页 下一页 尾页
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学术官方微信