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

Proceedings Eighteenth Annual International Computer Software and Applications Conference (COMPSAC 94)最新文献

筛选
英文 中文
A real-time object model RTO.k and an experimental investigation of its potentials 一个实时对象模型RTO。K及其势的实验研究
Proceedings Eighteenth Annual International Computer Software and Applications Conference (COMPSAC 94) Pub Date : 1994-11-09 DOI: 10.1109/CMPSAC.1994.342772
K. Kim, H. Kopetz
{"title":"A real-time object model RTO.k and an experimental investigation of its potentials","authors":"K. Kim, H. Kopetz","doi":"10.1109/CMPSAC.1994.342772","DOIUrl":"https://doi.org/10.1109/CMPSAC.1994.342772","url":null,"abstract":"In recent years, the search for proper extensions of the basic object model to suit the hard-real-time application community has become a critical research issue. We present such an extension of the basic object model and it is called the RTO.k object model. A concrete syntactic structure and unambiguous execution semantics of the model are presented. A major attraction of this model is in that it is effective not only in the variable-degree abstraction of real-time (computer) control systems under design but also in the accurate representation of the application environments. A specification and implementation experiment that involved an application of the RTO.k structuring scheme to the development of an anti-missile defense system together with an application environment simulator was conducted. This experiment reinforced our belief that the RTO.k model had the necessary representational power and also offered an efficient and rigorous way to develop complex real-time systems.<<ETX>>","PeriodicalId":159980,"journal":{"name":"Proceedings Eighteenth Annual International Computer Software and Applications Conference (COMPSAC 94)","volume":"67 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-11-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116741462","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}
引用次数: 87
A software project management system supporting the cooperation between managers and workers-design and implementation 一个支持管理者与员工合作的软件项目管理系统——设计与实现
Proceedings Eighteenth Annual International Computer Software and Applications Conference (COMPSAC 94) Pub Date : 1994-11-09 DOI: 10.1109/CMPSAC.1994.342834
A. Hazeyama, S. Komiya
{"title":"A software project management system supporting the cooperation between managers and workers-design and implementation","authors":"A. Hazeyama, S. Komiya","doi":"10.1109/CMPSAC.1994.342834","DOIUrl":"https://doi.org/10.1109/CMPSAC.1994.342834","url":null,"abstract":"The authors aim at constructing an integrated software project management system with an object database. This paper describes a process model for software project management that forms the basis of the system. This paper also describes a framework for inducing the sequence of operations that the project manager must perform: issuing instructions to workers in accordance with a plan based on the process model, progress evaluation based on progress reports sent from the workers, and analysis of the impacts of any problems detected. In order to provide these facilities, we analyse the actions triggered per unit of activity from the viewpoint of project management. Based on this analysis, this paper proposes a finite state machine model involving the actions and the states changed by the actions. When an action is triggered, the system checks whether the action is effective or not, and provides the necessary information to the appropriate persons by referring to the relationships specified in the process model. This paper also describes prototype system based on the framework.<<ETX>>","PeriodicalId":159980,"journal":{"name":"Proceedings Eighteenth Annual International Computer Software and Applications Conference (COMPSAC 94)","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-11-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116856354","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
Performance analysis of an object-oriented approach to parallel query evaluation 面向对象并行查询求值方法的性能分析
Proceedings Eighteenth Annual International Computer Software and Applications Conference (COMPSAC 94) Pub Date : 1994-11-09 DOI: 10.1109/CMPSAC.1994.342794
T. R. Poola, Won S. Lee, P. Sheu
{"title":"Performance analysis of an object-oriented approach to parallel query evaluation","authors":"T. R. Poola, Won S. Lee, P. Sheu","doi":"10.1109/CMPSAC.1994.342794","DOIUrl":"https://doi.org/10.1109/CMPSAC.1994.342794","url":null,"abstract":"An object-oriented representation of databases which takes advantage of the structure of logical representation and an object-oriented algorithm that evaluates conjunctive queries in a massively parallel environment are reported and analyzed. The object-oriented representation is used to implement data level parallelism as data is encapsulated as an object. By distributing these objects in a database, parallel evaluation is achieved by a global pattern matching approach which is different from the conventional tuple-by-tuple, operation-by-operation evaluation strategy. This algorithm overcomes the data dependency imposed by shared variables which is a major problem in achieving AND-parallelism. Simulation results for 2 way and 3 way joins are analysed according to the effect of database size and join size. Results tend to show that the scheme proposed performs better for queries with large number of AND conjuncts.<<ETX>>","PeriodicalId":159980,"journal":{"name":"Proceedings Eighteenth Annual International Computer Software and Applications Conference (COMPSAC 94)","volume":"0 0 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-11-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130098375","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
DOMINO: a system for maintaining the consistency of software objects DOMINO:用于维护软件对象一致性的系统
Proceedings Eighteenth Annual International Computer Software and Applications Conference (COMPSAC 94) Pub Date : 1994-11-09 DOI: 10.1109/CMPSAC.1994.342821
C. Chandra, C. Ramamoorthy
{"title":"DOMINO: a system for maintaining the consistency of software objects","authors":"C. Chandra, C. Ramamoorthy","doi":"10.1109/CMPSAC.1994.342821","DOIUrl":"https://doi.org/10.1109/CMPSAC.1994.342821","url":null,"abstract":"DOMINO is a software maintenance tool that assist software developers to understand and modify software systems. DOMINO supports facilities for the definition and maintenance of software objects created at each software development stage, from requirements analysis to implementation; finding information about various software objects and their relationships; automating the computation of ripple effects caused by a modification; and tracing an implemented object back to its corresponding specification and vice versa. The underlying technique used in DOMINO is based on the loose hierarchical truth maintenance system, a derivative of De Kleer's assumption-based TMS. This paper provides an outline of the DOMINO system, its conceptual model, its architecture, the software objects supported by DOMINO, and the representations used to characterize software objects and the relations between them.<<ETX>>","PeriodicalId":159980,"journal":{"name":"Proceedings Eighteenth Annual International Computer Software and Applications Conference (COMPSAC 94)","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-11-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127568422","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
Customizable software requirements languages 可定制的软件需求语言
Proceedings Eighteenth Annual International Computer Software and Applications Conference (COMPSAC 94) Pub Date : 1994-11-09 DOI: 10.1109/CMPSAC.1994.342840
A. Ohnishi
{"title":"Customizable software requirements languages","authors":"A. Ohnishi","doi":"10.1109/CMPSAC.1994.342840","DOIUrl":"https://doi.org/10.1109/CMPSAC.1994.342840","url":null,"abstract":"The author presents a software requirements specification method with a visual language (VRDL) and a text base language (X-JRDL). VRDL language allows to define both the shape and semantics of any icons to specify requirements just what he imagines. X-JRDL language based on the case grammar allows to define case structures of any new verbs to specify requirements naturally and easily. In this sense these languages are customizable. Since these two languages are based on the same model, their internal representations have the same scheme. This fact means that a describer can write down requirements with either/both VRDL or/and (X-JRDL). The model which gives the basis of the languages, features of the languages, and some examples are described.<<ETX>>","PeriodicalId":159980,"journal":{"name":"Proceedings Eighteenth Annual International Computer Software and Applications Conference (COMPSAC 94)","volume":"98 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-11-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132813240","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
On object state testing 关于对象状态测试
Proceedings Eighteenth Annual International Computer Software and Applications Conference (COMPSAC 94) Pub Date : 1994-11-09 DOI: 10.1109/CMPSAC.1994.342801
D. Kung, N. Suchak, J. Gao, P. Hsia, Y. Toyoshima, Chris Chen
{"title":"On object state testing","authors":"D. Kung, N. Suchak, J. Gao, P. Hsia, Y. Toyoshima, Chris Chen","doi":"10.1109/CMPSAC.1994.342801","DOIUrl":"https://doi.org/10.1109/CMPSAC.1994.342801","url":null,"abstract":"The importance of object state testing is illustrated through a simple example. We show that certain errors in the implementation of object state behavior cannot be readily detected by conventional structural testing, functional testing, and state testing. We describe an object state test model and outline a reverse engineering method for extracting object state behaviors from C++ source code. The object state test model is a hierarchical, concurrent, communicating state machine. It resembles the concepts of inheritance and aggregation in the object-oriented paradigm rather than the concept of state decomposition as in some existing models. The reverse engineering method is based on symbolic execution to extract the states and effects of the member functions. The symbolic execution results are used to construct the state machines. The usefulness of the model and of the method is discussed in the context of object state testing in the detection of a state behavior error.<<ETX>>","PeriodicalId":159980,"journal":{"name":"Proceedings Eighteenth Annual International Computer Software and Applications Conference (COMPSAC 94)","volume":"48 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-11-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123665724","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}
引用次数: 120
GUI-SIDER: a scenario-based interaction design environment for GUI dialogue GUI- sider: GUI对话的基于场景的交互设计环境
Proceedings Eighteenth Annual International Computer Software and Applications Conference (COMPSAC 94) Pub Date : 1994-11-09 DOI: 10.1109/CMPSAC.1994.342815
Susumu Shimizu, N. Arakawa
{"title":"GUI-SIDER: a scenario-based interaction design environment for GUI dialogue","authors":"Susumu Shimizu, N. Arakawa","doi":"10.1109/CMPSAC.1994.342815","DOIUrl":"https://doi.org/10.1109/CMPSAC.1994.342815","url":null,"abstract":"This paper proposes a design method for the dialogue part of GUI applications. The dialogue part describes sequences of interactions in the use of an application program. As the use procedures become more complex, it becomes harder to design dialogue with simple state transition models. We specify requirements for the dialogue component as a collection of individual interaction sequences. Each user-application interaction sequence (or service scenario) is modeled as communication, among GUI elements and users. We adopt the message sequence chart (MSC) for scenario notation. This design environment, called GUI-SIDER has been implemented in an X11/Motif environment. In this design environment, program code as automatically generated from a set of scenarios. In an evaluation that involved developing a sample GUI application, GUI-SIDER reduced initial development time by 20%; and modification time by 40%.<<ETX>>","PeriodicalId":159980,"journal":{"name":"Proceedings Eighteenth Annual International Computer Software and Applications Conference (COMPSAC 94)","volume":"92 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-11-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134443070","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
Hardware-software co-designing benchmark-driven superpipelined instruction set processors 硬件软件协同设计基准驱动的超流水线指令集处理器
Proceedings Eighteenth Annual International Computer Software and Applications Conference (COMPSAC 94) Pub Date : 1994-11-09 DOI: 10.1109/CMPSAC.1994.342785
Ching-Long Su, A. Despain
{"title":"Hardware-software co-designing benchmark-driven superpipelined instruction set processors","authors":"Ching-Long Su, A. Despain","doi":"10.1109/CMPSAC.1994.342785","DOIUrl":"https://doi.org/10.1109/CMPSAC.1994.342785","url":null,"abstract":"This paper focuses on the issues of designing an optimal superpipelined ISP (instruction set processor) driven by a set of benchmark programs. Most issues discussed in this paper also apply to VLIW and superscalar processors.<<ETX>>","PeriodicalId":159980,"journal":{"name":"Proceedings Eighteenth Annual International Computer Software and Applications Conference (COMPSAC 94)","volume":"58 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-11-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114433101","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
Test sequence generation methods for protocol conformance testing 协议一致性测试的测试序列生成方法
Proceedings Eighteenth Annual International Computer Software and Applications Conference (COMPSAC 94) Pub Date : 1994-11-09 DOI: 10.1109/CMPSAC.1994.342812
Chul Kim, J. S. Song
{"title":"Test sequence generation methods for protocol conformance testing","authors":"Chul Kim, J. S. Song","doi":"10.1109/CMPSAC.1994.342812","DOIUrl":"https://doi.org/10.1109/CMPSAC.1994.342812","url":null,"abstract":"The paper presents a survey of test sequence generation methods for testing the conformance of a protocol implementation to its specification which is modeled as a finite state machine (FSM). The past decade (1984-94) has been a period of intense research in test sequence generation, since it is one of the most important issues in the area of protocol conformance testing. There have been four major methods of conformance test generation reported in the literature: transition tours, distinguishing sequences, characterizing sequences, and unique input/output sequences. These methods are used to test the control portion of a protocol specification. Applications of these methods to the finite state machine model are discussed and then comparison and analysis are made in terms of two criteria: fault coverage and test sequence length. Also, some issues which are related to test generation for protocol conformance testing are identified.<<ETX>>","PeriodicalId":159980,"journal":{"name":"Proceedings Eighteenth Annual International Computer Software and Applications Conference (COMPSAC 94)","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-11-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132070628","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}
引用次数: 10
Simulation based metrics prediction in software engineering 软件工程中基于仿真的度量预测
Proceedings Eighteenth Annual International Computer Software and Applications Conference (COMPSAC 94) Pub Date : 1994-11-09 DOI: 10.1109/CMPSAC.1994.342808
V. Bhargavan, C. Ramamoorthy
{"title":"Simulation based metrics prediction in software engineering","authors":"V. Bhargavan, C. Ramamoorthy","doi":"10.1109/CMPSAC.1994.342808","DOIUrl":"https://doi.org/10.1109/CMPSAC.1994.342808","url":null,"abstract":"The software industry is increasingly working towards the goal of software reuse. The use of metrics to assess software modules has long been advocated by the US Army. A combination of these two trends should make it possible for a software developer to predict the metrics of the composite software system given the metrics of the component software modules. It should also enable the developer to make an appropriate choice among many possible modules available in the software repository. The paper presents an approach to solve the above two problems. The metrics suite used is an extension of the US Army STEP metrics, the approach is simulation based, and its theoretical validation is provided from approximation theory.<<ETX>>","PeriodicalId":159980,"journal":{"name":"Proceedings Eighteenth Annual International Computer Software and Applications Conference (COMPSAC 94)","volume":"122 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1994-11-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115040952","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学术文献互助群
群 号：604180095
Book学术官方微信
小红书