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

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

筛选
英文 中文
Use case driven structured analysis 用例驱动的结构化分析
Proceedings of 20th International Computer Software and Applications Conference: COMPSAC '96 Pub Date : 1996-08-19 DOI: 10.1109/CMPSAC.1996.544621
Misbah Mirza, Seung Hoon Cha, Jae-il Jung, KiJong Lee, C. Youn
{"title":"Use case driven structured analysis","authors":"Misbah Mirza, Seung Hoon Cha, Jae-il Jung, KiJong Lee, C. Youn","doi":"10.1109/CMPSAC.1996.544621","DOIUrl":"https://doi.org/10.1109/CMPSAC.1996.544621","url":null,"abstract":"Structured analysis is a widely used system modeling technique for understanding real world systems before they are built. It is based on functional decomposition of the problem domain. However, its inherent weakness is in identification and partitioning of a system's functionality. This paper proposes a use case driven approach to structured analysis. This approach makes it easier for model builders to find the functionality of a system and its partitioning it also matches well with structured analysis as it is top-down approach like the structured analysis. The approach is presented along with an example of its application.","PeriodicalId":306601,"journal":{"name":"Proceedings of 20th International Computer Software and Applications Conference: COMPSAC '96","volume":"246 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":"114193606","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
A popularity-based data allocation scheme for a VOD server 基于流行度的VOD服务器数据分配方案
Proceedings of 20th International Computer Software and Applications Conference: COMPSAC '96 Pub Date : 1996-08-19 DOI: 10.1109/CMPSAC.1996.542427
Carl K. Chang, Chiao-Chuan Shih, P. Mongkolwat, Thinh T. Nguyen
{"title":"A popularity-based data allocation scheme for a VOD server","authors":"Carl K. Chang, Chiao-Chuan Shih, P. Mongkolwat, Thinh T. Nguyen","doi":"10.1109/CMPSAC.1996.542427","DOIUrl":"https://doi.org/10.1109/CMPSAC.1996.542427","url":null,"abstract":"In the real world, the popularity of each video is different. We propose a new popularity-based data allocation scheme to allocate data units within a cluster such that the corresponding data units of these popular videos are stored in those cylinders at one end of each cluster. Due to a higher spatial locality within these hot cylinders, some data units requested by the users are stored in the same cylinder such that one seek operation, one rotation, and one transfer operation are required to retrieve these data units. Therefore, the time required to retrieve data for these requests can be reduced, thus reducing the system response time as well. Based on our results, the system response time could be reduced by half or even more.","PeriodicalId":306601,"journal":{"name":"Proceedings of 20th International Computer Software and Applications Conference: COMPSAC '96","volume":"19 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":"114294216","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
Compilation of disjunctive logic programs using an extended WAM 使用扩展WAM的析取逻辑程序的编译
Proceedings of 20th International Computer Software and Applications Conference: COMPSAC '96 Pub Date : 1996-08-19 DOI: 10.1109/CMPSAC.1996.544149
Dongha Shin, M. Hilton
{"title":"Compilation of disjunctive logic programs using an extended WAM","authors":"Dongha Shin, M. Hilton","doi":"10.1109/CMPSAC.1996.544149","DOIUrl":"https://doi.org/10.1109/CMPSAC.1996.544149","url":null,"abstract":"We show that disjunctive logic programs can be efficiently compiled to an extended version of Warren's Abstract Machine (WAM). In this compilation, we use D.A. Plaisted's (1988) Modified Problem Reaction Format (MPRF) as the basic proof procedure. Compilation of disjunctive logic programs is done in two stages: 1) the axioms and proof rules of MPRF are used to convert the disjunctive logic program into an equivalent Prolog program; and 2) this Prolog program is compiled to a WAM that has been modified to support efficient implementation of the axioms and splitting rule of MPRF. The modified WAM's design and some measurements of its performance are presented.","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":"122687439","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 Z with state transition constraints 用状态转换约束扩展Z
Proceedings of 20th International Computer Software and Applications Conference: COMPSAC '96 Pub Date : 1996-08-19 DOI: 10.1109/CMPSAC.1996.544174
K. Taguchi, K. Araki
{"title":"Extending Z with state transition constraints","authors":"K. Taguchi, K. Araki","doi":"10.1109/CMPSAC.1996.544174","DOIUrl":"https://doi.org/10.1109/CMPSAC.1996.544174","url":null,"abstract":"The paper proposes an extended notation of Z by which one can explicitly specify the intended behavior of operation schemas in the form of state transitions. The notation is based on a labeled transition system which is tractable to analyse the operational behavior of Z. We mainly focus on the semantic framework which enables us to express constraints both locally and globally. Simple examples are presented and some research issues on operational interpretation of schemas are discussed with respect to our semantic framework.","PeriodicalId":306601,"journal":{"name":"Proceedings of 20th International Computer Software and Applications Conference: COMPSAC '96","volume":"31 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":"123191241","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
A formal method to software integration in reuse 一种实现软件重用集成的形式化方法
Proceedings of 20th International Computer Software and Applications Conference: COMPSAC '96 Pub Date : 1996-08-19 DOI: 10.1109/CMPSAC.1996.544588
W. Chu, Hongji Yang
{"title":"A formal method to software integration in reuse","authors":"W. Chu, Hongji Yang","doi":"10.1109/CMPSAC.1996.544588","DOIUrl":"https://doi.org/10.1109/CMPSAC.1996.544588","url":null,"abstract":"Software reuse covers the whole process of identification, representation, retrieval, adaptation and integration of reusable software components. The utilization of current library techniques is important in such a software process. However, these approaches tend to be retrieval based and offer no formal assistance to software integration in reuse. We propose a semantic interface Predicate/Transition nets based formal method for reuse. In this method, software components are selected from a reuse library and automatically translated and integrated into the net model. Thus, software integration and adaptation problems are converted into problems in the corresponding net model. With this formal method, software reuse problems such as the detection of inconsistencies in component integration can be automatically revealed.","PeriodicalId":306601,"journal":{"name":"Proceedings of 20th International Computer Software and Applications Conference: COMPSAC '96","volume":"52 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":"128884705","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}
引用次数: 9
The role of architecture in the development of software systems 架构在软件系统开发中的作用
Proceedings of 20th International Computer Software and Applications Conference: COMPSAC '96 Pub Date : 1996-08-19 DOI: 10.1109/CMPSAC.1996.544589
M. Boasson
{"title":"The role of architecture in the development of software systems","authors":"M. Boasson","doi":"10.1109/CMPSAC.1996.544589","DOIUrl":"https://doi.org/10.1109/CMPSAC.1996.544589","url":null,"abstract":"Systems increasingly rely on software as the main technology for implementing the desired behaviour. There is a clear trend of steadily growing sophistication in the behaviour of these systems. The availability of cheap and fast hardware suggests that successive generations of systems should exhibit greatly enhanced behaviour, but this increase in functionality is not observed to an extent that can be related to the progress made in hardware. To the contrary, systems grow in complexity very rapidly (as exemplified by their cost and the required sophistication of the development process), without providing much in terms of added functionality. This complexity, and resulting cost, limits the achievable level of sophistication in systems, unless techniques are found that allow the software complexity to be reduced very significantly. The imbalance between cost and functionality is discussed and arguments are presented suggesting it to be avoidable through a sound software architecture.","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":"128837875","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
VGUIDE: 4GL application platform for large distributed information systems VGUIDE:大型分布式信息系统4GL应用平台
Proceedings of 20th International Computer Software and Applications Conference: COMPSAC '96 Pub Date : 1995-10-17 DOI: 10.1109/CMPSAC.1996.545880
Shuichiro Yamamoto, R. Kawasaki, Mitsuo Nagaoka
{"title":"VGUIDE: 4GL application platform for large distributed information systems","authors":"Shuichiro Yamamoto, R. Kawasaki, Mitsuo Nagaoka","doi":"10.1109/CMPSAC.1996.545880","DOIUrl":"https://doi.org/10.1109/CMPSAC.1996.545880","url":null,"abstract":"The Visual and General User Interface for Database Environments (VGUIDE) is an integrated environment for developing and running distributed information systems based on the client/server model. Its main features are: (1) fourth-generation language (4GL) for developing database applications that reduce system development costs. (2) a real-time control monitor that can be scaled from small systems to heavily loaded large systems, and (3) 4GL application programs that can be ported among multi-vendor machines and operating systems. First, we give a technical overview of VGUIDE for developing distributed information systems. This involves an integrated middleware environment, various client/server models, and flexible application control mechanisms. Next, the performance of VGUIDE is examined. then, actual examples with VGUIDE are explained. Also, the effectiveness of VGUIDE is discussed.","PeriodicalId":306601,"journal":{"name":"Proceedings of 20th International Computer Software and Applications Conference: COMPSAC '96","volume":"112 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-10-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128085170","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
Multimedia over the Internet 互联网多媒体
Proceedings of 20th International Computer Software and Applications Conference: COMPSAC '96 Pub Date : 1900-01-01 DOI: 10.1109/CMPSAC.1996.544151
R. Radhakrishna Pillai
{"title":"Multimedia over the Internet","authors":"R. Radhakrishna Pillai","doi":"10.1109/CMPSAC.1996.544151","DOIUrl":"https://doi.org/10.1109/CMPSAC.1996.544151","url":null,"abstract":"The paper discusses the motivation, requirements, and the emerging technologies to carry multimedia services over the Internet.","PeriodicalId":306601,"journal":{"name":"Proceedings of 20th International Computer Software and Applications Conference: COMPSAC '96","volume":"26 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":"117035884","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
Is software process re-engineering and improvement the "Sliver Bullet" of the 1990's or a constructive approach to meet pre-defined business targets? 软件过程再造和改进是20世纪90年代的“银弹”，还是满足预先定义的业务目标的建设性方法?
Proceedings of 20th International Computer Software and Applications Conference: COMPSAC '96 Pub Date : 1900-01-01 DOI: 10.1109/CMPSAC.1996.544608
A. Kuntzmann-combelles
{"title":"Is software process re-engineering and improvement the \"Sliver Bullet\" of the 1990's or a constructive approach to meet pre-defined business targets?","authors":"A. Kuntzmann-combelles","doi":"10.1109/CMPSAC.1996.544608","DOIUrl":"https://doi.org/10.1109/CMPSAC.1996.544608","url":null,"abstract":"Our experience in the process control business started consciously in 1990 and probably unconsciously before. When we started, the CMM model from the Software Engineering Institute was available to the public and we used it as the basis for development of a methodology for software measurement. In late 1993, we noticed some interest among our customers in Europe for process improvement; analysing the reasons for the customers' enthusiasm, we observed that there were two main justifications: competitors in the market place were involved in process improvement; and senior management had understood the role of software performance for the future of the company.","PeriodicalId":306601,"journal":{"name":"Proceedings of 20th International Computer Software and Applications Conference: COMPSAC '96","volume":"45 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":"125095594","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
首页 上一页
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学术官方微信