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

Proceedings of 1993 IEEE 17th International Computer Software and Applications Conference COMPSAC '93最新文献

筛选
英文 中文
Object prototyping: Concept and specification language 对象原型:概念和规范语言
Proceedings of 1993 IEEE 17th International Computer Software and Applications Conference COMPSAC '93 Pub Date : 1993-11-01 DOI: 10.1109/CMPSAC.1993.404190
Horng-Juing Lee, W. Tsai
{"title":"Object prototyping: Concept and specification language","authors":"Horng-Juing Lee, W. Tsai","doi":"10.1109/CMPSAC.1993.404190","DOIUrl":"https://doi.org/10.1109/CMPSAC.1993.404190","url":null,"abstract":"Object-oriented (OO) database systems are becoming popular for CAD, VLSI, and CASE applications. One of the reasons is the support of prototyping through inheritance and/or scheme evolution. In this paper, we propose another rapid prototyping technique: object prototyping. It assumes that a database schema is fixed and rapid prototyping is achieved by applying alternative values into attributes of an object. This is useful especially for design applications in which determining a design object's properties is not straightforward. We design a specification language based on the what-for-if construct for modeling the object prototyping. This specification language can (1) help the designer to simulate alternative design parameters to find out the optimal design parameters, (2) reduce the need for writing database programs, (3) support the development and construction of complex applications on top of the database, and (4) test the functionality and performance of design objects.<<ETX>>","PeriodicalId":375808,"journal":{"name":"Proceedings of 1993 IEEE 17th International Computer Software and Applications Conference COMPSAC '93","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126076544","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
Model-based formal specification directed testing of abstract data types 基于模型的正式规范指导抽象数据类型的测试
Proceedings of 1993 IEEE 17th International Computer Software and Applications Conference COMPSAC '93 Pub Date : 1993-11-01 DOI: 10.1109/CMPSAC.1993.404241
Xiaoping Jia
{"title":"Model-based formal specification directed testing of abstract data types","authors":"Xiaoping Jia","doi":"10.1109/CMPSAC.1993.404241","DOIUrl":"https://doi.org/10.1109/CMPSAC.1993.404241","url":null,"abstract":"A model-based formal specification directed software testing approach is presented. It provides a test oracle and introduces a new coverage criterion for the functional (black-box) testing based on formal specifications. Given the source code of an implementation, its formal specification, and the retrieve functions, a test driver can be generated to conduct, evaluate, and measure the functional test. Although the complete specification conformance of an implementation cannot be established by testing alone, our approach provides a strong necessary condition of complete specification conformance.<<ETX>>","PeriodicalId":375808,"journal":{"name":"Proceedings of 1993 IEEE 17th International Computer Software and Applications Conference COMPSAC '93","volume":"144 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123307254","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}
引用次数: 16
A software architecture for maintaining temporal consistency in a distributed real-time environment 一种在分布式实时环境中保持时间一致性的软件体系结构
Proceedings of 1993 IEEE 17th International Computer Software and Applications Conference COMPSAC '93 Pub Date : 1993-11-01 DOI: 10.1109/CMPSAC.1993.404244
P. Raja, Jean Hernandez, L. Ruiz, G. Noubir, J. Decotignie
{"title":"A software architecture for maintaining temporal consistency in a distributed real-time environment","authors":"P. Raja, Jean Hernandez, L. Ruiz, G. Noubir, J. Decotignie","doi":"10.1109/CMPSAC.1993.404244","DOIUrl":"https://doi.org/10.1109/CMPSAC.1993.404244","url":null,"abstract":"Control applications constitute an important class of real-time systems. Such applications have specific temporal requirements that have to be taken into account during the system design. One such requirement is data temporary consistency. This paper gives an overview of the temporal consistency problem and addresses implementation issues for a distributed real-time system that is configured according to a producer/consumer communication model. Solutions are proposed that provide simple mechanisms for maintaining temporal consistency. Finally, a software architecture consisting of temporally homogeneous buffers is presented.<<ETX>>","PeriodicalId":375808,"journal":{"name":"Proceedings of 1993 IEEE 17th International Computer Software and Applications Conference COMPSAC '93","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122996825","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
The Motorola software engineering benchmark program: Organization, directions, and results 摩托罗拉软件工程基准计划：组织、方向和结果
Proceedings of 1993 IEEE 17th International Computer Software and Applications Conference COMPSAC '93 Pub Date : 1993-11-01 DOI: 10.1109/CMPSAC.1993.404181
J. Fritsch
{"title":"The Motorola software engineering benchmark program: Organization, directions, and results","authors":"J. Fritsch","doi":"10.1109/CMPSAC.1993.404181","DOIUrl":"https://doi.org/10.1109/CMPSAC.1993.404181","url":null,"abstract":"In mid-1991, teams of Motorola's senior executives, software engineering technologists, and researchers chartered to provide the future software management and technology directions in Motorola, joined forces to develop and execute a benchmark program for software engineering. The author has managed this program since its inception. The goal of the program is to determine and continuously monitor best practices throughout the United States, Asia, and Europe. Nearly two years later, this program has identified a set of best practices, collected and analyzed software quality improvement trends, and evaluated software engineering competency in over twenty leading companies worldwide. This paper discusses the benchmarking program, placing emphasis on program organization, directions, and results as well as program impact on Motorola. The paper includes a summary of insights gained and current program directions.<<ETX>>","PeriodicalId":375808,"journal":{"name":"Proceedings of 1993 IEEE 17th International Computer Software and Applications Conference COMPSAC '93","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129624039","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}
引用次数: 6
Formal support for software maintenance 对软件维护的正式支持
Proceedings of 1993 IEEE 17th International Computer Software and Applications Conference COMPSAC '93 Pub Date : 1993-11-01 DOI: 10.1109/CMPSAC.1993.404247
D. Cooke, Luqi
{"title":"Formal support for software maintenance","authors":"D. Cooke, Luqi","doi":"10.1109/CMPSAC.1993.404247","DOIUrl":"https://doi.org/10.1109/CMPSAC.1993.404247","url":null,"abstract":"In this paper we combine a variation of the CAPS model with an extended version of Prolog based upon the stable model semantics of logic programming [GEL]. We believe this to be the first paper presenting such a combination. In order to combine the CAPS model with the extended Prolog, we first implement a subset of the PSDL language in Prolog. We show the significance of the combination through an example prototype of a problem originally suggested by Lehman (1990). The resulting model provides a general framework for developing prototypes capable of determining when they are in need of adaptive maintenance.<<ETX>>","PeriodicalId":375808,"journal":{"name":"Proceedings of 1993 IEEE 17th International Computer Software and Applications Conference COMPSAC '93","volume":"62 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129005197","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
Coordination of software-development activities among sites that are geographically separated 在地理上分离的站点之间协调软件开发活动
Proceedings of 1993 IEEE 17th International Computer Software and Applications Conference COMPSAC '93 Pub Date : 1993-11-01 DOI: 10.1109/CMPSAC.1993.404217
L. Truett, E. Faby, J. Grubb, J. Loftis, P. C. Shipe
{"title":"Coordination of software-development activities among sites that are geographically separated","authors":"L. Truett, E. Faby, J. Grubb, J. Loftis, P. C. Shipe","doi":"10.1109/CMPSAC.1993.404217","DOIUrl":"https://doi.org/10.1109/CMPSAC.1993.404217","url":null,"abstract":"The Department of Defense is sponsoring development of a centralized, integrated database, which will be a repository of international surface cargo movement data. Scheduled for implementation in early 1994, the system will include a relational database management system, processing modules, and complex communication components. Four geographically separated sites are involved with development. Design and development of a major computer system is never simple, but when design and development occur at multiple sites, the problems are compounded, especially when the timeframe for project completion is extremely tight. Issues such as identical development platforms and communications strategies must be addressed. A design plan must be strictly followed to ensure consistency and to coordinate integration of modules developed at different sites.<<ETX>>","PeriodicalId":375808,"journal":{"name":"Proceedings of 1993 IEEE 17th International Computer Software and Applications Conference COMPSAC '93","volume":"104 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124665153","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}
引用次数: 5
A framework for modelling evolving requirements 为不断发展的需求建模的框架
Proceedings of 1993 IEEE 17th International Computer Software and Applications Conference COMPSAC '93 Pub Date : 1993-11-01 DOI: 10.1109/CMPSAC.1993.404219
A. Blyth, J. Chudge, J. Dobson, R. Strens
{"title":"A framework for modelling evolving requirements","authors":"A. Blyth, J. Chudge, J. Dobson, R. Strens","doi":"10.1109/CMPSAC.1993.404219","DOIUrl":"https://doi.org/10.1109/CMPSAC.1993.404219","url":null,"abstract":"The most crucial aspect of software engineering is the gathering of requirements. Increasing the amount of time and improving the quality of effort expended at this stage will lead to fewer and more manageable problems later on in the development life-cycle. The purpose of this paper is to highlight one of the most crucial problems that afflict user organizations when engaging in IT systems: the problem that the requirements for the system may change and evolve during the construction of the system. What we propose in this paper is a framework in which evolving and emerging requirements can be dealt with in an iterative manner within a method constructed upon a user-centered design philosophy. This paper is a presentation of recent developments made in the ORDIT project which was reported on last year.<<ETX>>","PeriodicalId":375808,"journal":{"name":"Proceedings of 1993 IEEE 17th International Computer Software and Applications Conference COMPSAC '93","volume":"67 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132083393","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}
引用次数: 8
An extended recursive algebra for nested relations and its optimization 嵌套关系的扩展递归代数及其优化
Proceedings of 1993 IEEE 17th International Computer Software and Applications Conference COMPSAC '93 Pub Date : 1993-11-01 DOI: 10.1109/CMPSAC.1993.404228
Balaji Rathakrishnan, Junguk L. Kim
{"title":"An extended recursive algebra for nested relations and its optimization","authors":"Balaji Rathakrishnan, Junguk L. Kim","doi":"10.1109/CMPSAC.1993.404228","DOIUrl":"https://doi.org/10.1109/CMPSAC.1993.404228","url":null,"abstract":"This paper considers query optimization for nested relational databases based on a recursive algebra. A recursive algebra which has been proposed in the literature for nested relations has been extended to accommodate arbitrary algebraic expressions in any nested level of the query. This extended algebra can be used to conveniently express queries in two query languages proposed for the nested relational model. A semijoin based algebraic optimization strategy for queries expressible in this algebra is described, which is a recursive extension of an 1NF optimization technique with some modifications.<<ETX>>","PeriodicalId":375808,"journal":{"name":"Proceedings of 1993 IEEE 17th International Computer Software and Applications Conference COMPSAC '93","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130775619","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
Criteria for selecting a family of software indicators 选择一组软件指标的标准
Proceedings of 1993 IEEE 17th International Computer Software and Applications Conference COMPSAC '93 Pub Date : 1993-11-01 DOI: 10.1109/CMPSAC.1993.404248
D. Calliss, F. Calliss
{"title":"Criteria for selecting a family of software indicators","authors":"D. Calliss, F. Calliss","doi":"10.1109/CMPSAC.1993.404248","DOIUrl":"https://doi.org/10.1109/CMPSAC.1993.404248","url":null,"abstract":"A family of maintainability metrics is defined by a hierarchical structure, with the top level, the family, being the most abstract. The lowest level in the hierarchy consists of the members of the family, the software metrics and the middle level consists of the property branches. A family allows for a hierarchy of measurements. The vectors of metrics and the hybrid metrics only represent one level of assessment. As with the hybrid metrics, several properties of the software are assessed through the family. Criteria for selecting a family of metrics is given, and the concept is demonstrated on an example program.<<ETX>>","PeriodicalId":375808,"journal":{"name":"Proceedings of 1993 IEEE 17th International Computer Software and Applications Conference COMPSAC '93","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115913707","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
Z meets Haskell: A case study Z遇见Haskell:一个案例研究
Proceedings of 1993 IEEE 17th International Computer Software and Applications Conference COMPSAC '93 Pub Date : 1993-11-01 DOI: 10.1109/CMPSAC.1993.404235
L. Sherrell, D. Carver
{"title":"Z meets Haskell: A case study","authors":"L. Sherrell, D. Carver","doi":"10.1109/CMPSAC.1993.404235","DOIUrl":"https://doi.org/10.1109/CMPSAC.1993.404235","url":null,"abstract":"Z is a popular specification language which has also been used as a design tool, although much less frequently. Haskell is a programming language that was recently developed to serve as a standard for non-strict, purely functional languages. Although functional languages have proved to be excellent prototyping tools, Haskell was designed as a general purpose language which could be employed to build large applications. In this paper, we show that the formal language Z is an effective design tool when a software system is implemented in a functional language. We trace the development of a simple system from its beginning specification written in Z to its final implementation as a Haskell program. The case study is based on a specification, the class manager's assistant, found in the literature.<<ETX>>","PeriodicalId":375808,"journal":{"name":"Proceedings of 1993 IEEE 17th International Computer Software and Applications Conference COMPSAC '93","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124296429","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}
引用次数: 11
下一页 尾页
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学术官方微信