[1989] Proceedings of the Twenty-Second Annual Hawaii International Conference on System Sciences. Volume II: Software Track最新文献

筛选
英文 中文
Graphical support for configuration programming 图形支持配置编程
J. Kramer, J. Magee, K. Ng
{"title":"Graphical support for configuration programming","authors":"J. Kramer, J. Magee, K. Ng","doi":"10.1109/HICSS.1989.48096","DOIUrl":"https://doi.org/10.1109/HICSS.1989.48096","url":null,"abstract":"Most systems and programs are constructed and managed in terms of their software configuration, that is, the set of constituent software components together with their control and communication interconnections. A graphical system that integrates the textual and graphical information required for configuration programming called Conic is described. It provides stand-alone editing and online configuration monitoring and management tools. The issues raised by graphical configuration programming and management are discussed. The graphical workstation, Conicdraw, is described. Examples and experience using the approach in the Conic environment for distribution and concurrent systems are presented.<<ETX>>","PeriodicalId":325958,"journal":{"name":"[1989] Proceedings of the Twenty-Second Annual Hawaii International Conference on System Sciences. Volume II: Software Track","volume":"17 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-01-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128069480","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
Software productivity: a framework of study and an approach to reusable components 软件生产力:研究框架和可重用组件的方法
J. Nunamaker, Minder Chen
{"title":"Software productivity: a framework of study and an approach to reusable components","authors":"J. Nunamaker, Minder Chen","doi":"10.1109/HICSS.1989.48108","DOIUrl":"https://doi.org/10.1109/HICSS.1989.48108","url":null,"abstract":"A framework in which to study software productivity is presented. Approaches to understanding software development processes and improving software productivity include using and designing automated software development tools, studying human factors in software development, and applying software productivity measurement and evaluation techniques. An environment to facilitate the reuse of software components is described. Such an environment supports the identification, creation, categorization, storage, selection, usage, and maintenance of reusable components. A metasystem environment that allows users to define functionalities, structures, and constraints of various software components is discussed. Information about these components is used by a knowledge-based system to support the selection, configuration, and distribution of reusable components. Reasons for the slow progress in software productivity research and ways to improve it are given.<<ETX>>","PeriodicalId":325958,"journal":{"name":"[1989] Proceedings of the Twenty-Second Annual Hawaii International Conference on System Sciences. Volume II: Software Track","volume":"64 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-01-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131279650","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}
引用次数: 29
A layered network for data and voice integration 用于数据和语音集成的分层网络
M. Peyravian, M. Tapia
{"title":"A layered network for data and voice integration","authors":"M. Peyravian, M. Tapia","doi":"10.1109/HICSS.1989.48070","DOIUrl":"https://doi.org/10.1109/HICSS.1989.48070","url":null,"abstract":"The key issues necessary for development and implementation of a uniform integrated-services digital network (ISDN). The network issues based on the Reference Model of open system interconnection (OSI) developed by the International Standards Organization (ISO) are presented. The architecture of the ISDN according to the International Telegraph and Telephone Consultative Committee (CCITT) is described. An overview of the telephone-system structure and a general description of the set of recommendations dealing with the characteristics of the ISDN that has been developed and agreed upon by the CCITT study group, are provided.<<ETX>>","PeriodicalId":325958,"journal":{"name":"[1989] Proceedings of the Twenty-Second Annual Hawaii International Conference on System Sciences. Volume II: Software Track","volume":"4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-01-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125286742","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
Language-design issues in supporting process-oriented computation in persistent environments 在持久环境中支持面向过程计算的语言设计问题
R. Morrison, A. L. Brown, R. Carrick, Richard Connor, A. Dearle, M. Livesey, Chris J. Barter, A. J. Hurst
{"title":"Language-design issues in supporting process-oriented computation in persistent environments","authors":"R. Morrison, A. L. Brown, R. Carrick, Richard Connor, A. Dearle, M. Livesey, Chris J. Barter, A. J. Hurst","doi":"10.1109/HICSS.1989.48081","DOIUrl":"https://doi.org/10.1109/HICSS.1989.48081","url":null,"abstract":"The problems of shared access to large bodies of information raise difficulties in the understanding and semantics of concurrency, distribution, and stability. The authors identify these difficulties and clarify them with regard to database programming language design. They propose a model of concurrency that can be used as a solution to the problems. It is based on the rendezvous of Ada and integrated with a polymorphic type system with inheritance. This yields a process-oriented approach to system construction that has much in common with the object-oriented approach. The authors demonstrate the facilities of the language Napier, which allows the integration of these two methods along with a persistent environment to provide concurrently accessed object-oriented databases.<<ETX>>","PeriodicalId":325958,"journal":{"name":"[1989] Proceedings of the Twenty-Second Annual Hawaii International Conference on System Sciences. Volume II: Software Track","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-01-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125191448","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
A graphical design environment for distributed real-time systems 分布式实时系统的图形设计环境
C. Senft, R. Zainlinger
{"title":"A graphical design environment for distributed real-time systems","authors":"C. Senft, R. Zainlinger","doi":"10.1109/HICSS.1989.48097","DOIUrl":"https://doi.org/10.1109/HICSS.1989.48097","url":null,"abstract":"The authors present a graphics-oriented environment, focusing on programming-in-the-large aspects. They cover all design steps from the initial requirements specification to a detailed description of the distributed system structure, its information exchange, and the real-time software executed in each component. All integrated design tools are highly interactive, providing the user with advanced graphical techniques. The implementation of the entire design environment is based on the X window system and the Unix operating system and can thus be used on an increasing number of low-cost workstations.<<ETX>>","PeriodicalId":325958,"journal":{"name":"[1989] Proceedings of the Twenty-Second Annual Hawaii International Conference on System Sciences. Volume II: Software Track","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-01-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121183206","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
Query optimization in object-oriented databases 面向对象数据库中的查询优化
S. Zdonik
{"title":"Query optimization in object-oriented databases","authors":"S. Zdonik","doi":"10.1109/HICSS.1989.48055","DOIUrl":"https://doi.org/10.1109/HICSS.1989.48055","url":null,"abstract":"The use of data abstraction in object-oriented databases places a burden on the ability of the system to perform query optimization. A framework for query specification and optimization is discussed that is applicable to object-oriented database systems that take a strict view of data abstraction. Techniques that preserve much of the optimization potential of relational languages by limiting the query language are examined. Techniques are given for query optimization that involve type-specific rewrite rules.<<ETX>>","PeriodicalId":325958,"journal":{"name":"[1989] Proceedings of the Twenty-Second Annual Hawaii International Conference on System Sciences. Volume II: Software Track","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-01-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115108434","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
Describing real-time systems using PPA and XYZ/E 描述使用PPA和XYZ/E的实时系统
J. Wang, M. Tanik
{"title":"Describing real-time systems using PPA and XYZ/E","authors":"J. Wang, M. Tanik","doi":"10.1109/HICSS.1989.48077","DOIUrl":"https://doi.org/10.1109/HICSS.1989.48077","url":null,"abstract":"It is proposed to use the combination of PPA, a data-flow diagram system enhanced with the process port concept, and XYZ/E, a temporal-logic-based language system, for real-time system design. The capabilities of the approach are explored for the example of a cruise control system.<<ETX>>","PeriodicalId":325958,"journal":{"name":"[1989] Proceedings of the Twenty-Second Annual Hawaii International Conference on System Sciences. Volume II: Software Track","volume":"64 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-01-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122923528","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
Non-standard DBMS for support of emerging applications-requirement analysis and architectural concepts 用于支持新兴应用程序的非标准DBMS -需求分析和架构概念
T. Harder
{"title":"Non-standard DBMS for support of emerging applications-requirement analysis and architectural concepts","authors":"T. Harder","doi":"10.1109/HICSS.1989.48033","DOIUrl":"https://doi.org/10.1109/HICSS.1989.48033","url":null,"abstract":"The author has analyzed the data management needs of a spectrum of applications, mainly in engineering, and has encountered both a modeling and a processing problem in today's database management systems (DBMSs). The author then attempts to explain which data model concepts and architectural decisions are necessary and why they can succeed in providing the anticipated data management support. Although the author's focus is a tutorial-like description of application requirements and their consequences for DBMS design, the concepts are illustrated by a practical data model and a DBMS architecture implemented at the University of Kaiserslautern.<<ETX>>","PeriodicalId":325958,"journal":{"name":"[1989] Proceedings of the Twenty-Second Annual Hawaii International Conference on System Sciences. Volume II: Software Track","volume":"38 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-01-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127516720","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
Changing data representation in the refinement calculus 在细化演算中更改数据表示
R. Back
{"title":"Changing data representation in the refinement calculus","authors":"R. Back","doi":"10.1109/HICSS.1989.47997","DOIUrl":"https://doi.org/10.1109/HICSS.1989.47997","url":null,"abstract":"It is shown how to change the data representation in programs (data refinement) systematically within refinement calculus. Data refinement in the original refinement calculus was only defined for functional data abstractions. It is shown how the method can be extended to nonfunctional data abstraction by adding 'don't know' (or angelic) nondeterminism to the usual 'don't care' (or demonic) nondeterminism. The method is very flexible, permitting different data abstractions to be combined in the same statement, as well as refinements of the data abstractions themselves. The flexibility is illustrated by an example program derivation.<<ETX>>","PeriodicalId":325958,"journal":{"name":"[1989] Proceedings of the Twenty-Second Annual Hawaii International Conference on System Sciences. Volume II: Software Track","volume":"40 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-01-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128370033","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}
引用次数: 44
Uniform support for collections of objects in a persistent environment 对持久环境中对象集合的统一支持
J. Keedy, J. Rosenberg
{"title":"Uniform support for collections of objects in a persistent environment","authors":"J. Keedy, J. Rosenberg","doi":"10.1109/HICSS.1989.48056","DOIUrl":"https://doi.org/10.1109/HICSS.1989.48056","url":null,"abstract":"The LEIBNIZ programming language, developed as part of the MONADS project at the University of Newcastle, NSW, supports implementation-independent high-level constructs, based on sets and sequences, for manipulating collections of objects in such a way that the compiler can be guided to select a suitably efficient implementation mechanism. The authors describe the relevant LEIBNIZ constructs and discuss how the structure of the compiler allows novel implementations, written in LEIBNIZ, to be added. At present a Pascal compiler exists for the MONADS-PC and a LEIBNIZ compiler (translating into Pascal) is currently under development. The authors have formulated the rules necessary to produce the transformations from LEIBNIZ to Pascal, using implementation modules, and these have recently been incorporated into the compiler. The resulting Pascal code was then tested and found to be correct.<<ETX>>","PeriodicalId":325958,"journal":{"name":"[1989] Proceedings of the Twenty-Second Annual Hawaii International Conference on System Sciences. Volume II: Software Track","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1989-01-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131270709","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
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学术官方微信