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

[1992] Proceedings. The Sixteenth Annual International Computer Software and Applications Conference最新文献

筛选
英文 中文
A partitioning approach for object-oriented software development for parallel processing systems 面向并行处理系统的面向对象软件开发的分区方法
[1992] Proceedings. The Sixteenth Annual International Computer Software and Applications Conference Pub Date : 1992-09-21 DOI: 10.1109/CMPSAC.1992.217559
S. Yau, Doo-Hwan Bae, G. Pour
{"title":"A partitioning approach for object-oriented software development for parallel processing systems","authors":"S. Yau, Doo-Hwan Bae, G. Pour","doi":"10.1109/CMPSAC.1992.217559","DOIUrl":"https://doi.org/10.1109/CMPSAC.1992.217559","url":null,"abstract":"A partitioning approach for object-oriented software development in parallel processing systems is presented. The objective of the partitioning approach is to improve the overall performance of a software system by minimizing communication cost among objects. The software system is modeled by a graph, and a bottom-up clustering technique is presented to partition the objects into a set of clusters to achieve this objective.<<ETX>>","PeriodicalId":286518,"journal":{"name":"[1992] Proceedings. The Sixteenth Annual International Computer Software and Applications Conference","volume":"296 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126628534","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
Integrating object and relational technologies 集成对象和关系技术
[1992] Proceedings. The Sixteenth Annual International Computer Software and Applications Conference Pub Date : 1992-09-21 DOI: 10.1109/CMPSAC.1992.217564
S. Danforth
{"title":"Integrating object and relational technologies","authors":"S. Danforth","doi":"10.1109/CMPSAC.1992.217564","DOIUrl":"https://doi.org/10.1109/CMPSAC.1992.217564","url":null,"abstract":"A precondition for integrating object-oriented and relational technologies is an integration of their respective models. A general approach to unifying the models is outlined. The essential features of the resulting model are that abstract data types (ADTs) provide the sole mechanism for encapsulating data and operations, an inheritance ordering on ADTs reflects common abstract interfaces and supports static typechecking, and there is a distinction between value and object ADT instances. Primitive data types provided by the model include atomic data and data structures. Instances of primitive data types are always values. An ADT is implemented using a primitive data type to store its state. What is normally in object-oriented terminology called a class, is called an ADT in the model discussed. Object-oriented databases (OODBs) often make use of class extents, which provide a useful indexing technique for objects. In the model discussed, extents appear as instances of ADTs whose state includes a set of objects plus a set of sub-extents.<<ETX>>","PeriodicalId":286518,"journal":{"name":"[1992] Proceedings. The Sixteenth Annual International Computer Software and Applications Conference","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127859784","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
Application of a neural network to human tasting 神经网络在人类味觉中的应用
[1992] Proceedings. The Sixteenth Annual International Computer Software and Applications Conference Pub Date : 1992-09-21 DOI: 10.1109/CMPSAC.1992.217555
Akira Suganuma, Masato Kataoka, K. Araki
{"title":"Application of a neural network to human tasting","authors":"Akira Suganuma, Masato Kataoka, K. Araki","doi":"10.1109/CMPSAC.1992.217555","DOIUrl":"https://doi.org/10.1109/CMPSAC.1992.217555","url":null,"abstract":"The authors describe the application of an artificial neural network (ANN) to represent the sense of taste. A taste sensor has been developed recently. Though the taste sensor responds to various taste substances, it was very difficult to map the responses to a concentration of each substance. The attempt to recognize the sensor response and map them to the concentration of the substances is described. When an analytical approach was applied to this problem, it did not bring about the desired effect. A method to estimate the strength of each taste substance with an ANN was successful. The results of the experiment are presented.<<ETX>>","PeriodicalId":286518,"journal":{"name":"[1992] Proceedings. The Sixteenth Annual International Computer Software and Applications Conference","volume":"47 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127922880","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
How the use of the STePS method can improve software quality and aid project management STePS方法的使用如何提高软件质量和帮助项目管理
[1992] Proceedings. The Sixteenth Annual International Computer Software and Applications Conference Pub Date : 1992-09-21 DOI: 10.1109/CMPSAC.1992.217596
J. B. Thompson, H. Edwards
{"title":"How the use of the STePS method can improve software quality and aid project management","authors":"J. B. Thompson, H. Edwards","doi":"10.1109/CMPSAC.1992.217596","DOIUrl":"https://doi.org/10.1109/CMPSAC.1992.217596","url":null,"abstract":"The authors outline the problems associated with software production and details how the STePS method can alleviate them. They provide an overview of STePS as a method for developing systems beyond the logical design stage into detailed program design and implementation. This method operates on the products of a systems design method to identify the programs in a system. It then uses well-established design techniques to develop the specification for the software components that will comprise these programs. The need for comprehensive program specifications to facilitate the design/implementation interface is explained and the contents of the different forms of STePS specifications are outlined. The beneficial effects which the use of STePS can have in the areas of quality assurance, control, project management, and configuration management are presented.<<ETX>>","PeriodicalId":286518,"journal":{"name":"[1992] Proceedings. The Sixteenth Annual International Computer Software and Applications Conference","volume":"40 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121987153","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
Program derivation in PowerEpsilon PowerEpsilon中的程序派生
[1992] Proceedings. The Sixteenth Annual International Computer Software and Applications Conference Pub Date : 1992-09-21 DOI: 10.1109/CMPSAC.1992.217567
M.-Y. Zhu, C.-W. Wang
{"title":"Program derivation in PowerEpsilon","authors":"M.-Y. Zhu, C.-W. Wang","doi":"10.1109/CMPSAC.1992.217567","DOIUrl":"https://doi.org/10.1109/CMPSAC.1992.217567","url":null,"abstract":"The authors present a proof development system called PowerEpsilon, based on a constructive type theory which can be used as a formal program development system for deriving a program from a specification. PowerEpsilon is a polymorphic language based on Martin-Lof's type theory and the calculus of constructions. In PowerEpsilon, the concept of limit of type universe hierarchies and a scheme for inductive define types are introduced. The system can be used as both a programming language with a very rich set of data structures and a metalanguage for formalizing constructive mathematics. The system has been implemented. A programming exercise is given to show how the system works.<<ETX>>","PeriodicalId":286518,"journal":{"name":"[1992] Proceedings. The Sixteenth Annual International Computer Software and Applications Conference","volume":"61 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124752152","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}
引用次数: 12
A framework of a logic-based transformation system 基于逻辑的转换系统的框架
[1992] Proceedings. The Sixteenth Annual International Computer Software and Applications Conference Pub Date : 1992-09-21 DOI: 10.1109/CMPSAC.1992.217551
J. Tsai, Ray-Yuan Sheu, Bing Li
{"title":"A framework of a logic-based transformation system","authors":"J. Tsai, Ray-Yuan Sheu, Bing Li","doi":"10.1109/CMPSAC.1992.217551","DOIUrl":"https://doi.org/10.1109/CMPSAC.1992.217551","url":null,"abstract":"The authors present a framework for a transformation system which can transform a nonmonotonic logic-based specification language, FRORL, into various kinds of procedural language programs. They discuss how to handle nonmonotonic inheritance in FRORL. A matrix-based data flow and dependency analysis mechanism is established to find all the possible data transformation paths in a logic-based specification. An algorithm is proposed to adjust the execution sequence of a logic-based specification so that the functions included in the logic-based specification can be represented by a procedural language program.<<ETX>>","PeriodicalId":286518,"journal":{"name":"[1992] Proceedings. The Sixteenth Annual International Computer Software and Applications Conference","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131636140","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 distributed cooperative CASE environment for communications software 通信软件的分布式协作CASE环境
[1992] Proceedings. The Sixteenth Annual International Computer Software and Applications Conference Pub Date : 1992-09-21 DOI: 10.1109/CMPSAC.1992.217595
M. Aoyama, Masami Nakamura, S. Kawajiri, Kousuke Takahashi, Takanori Hashizume, T. Komuro
{"title":"A distributed cooperative CASE environment for communications software","authors":"M. Aoyama, Masami Nakamura, S. Kawajiri, Kousuke Takahashi, Takanori Hashizume, T. Komuro","doi":"10.1109/CMPSAC.1992.217595","DOIUrl":"https://doi.org/10.1109/CMPSAC.1992.217595","url":null,"abstract":"The authors propose a development process model and support environment for developing intelligent business communication services and other evolving communication services. To increase customer satisfaction and cut development time, they have developed a development process model, distributed concurrent development, in which multiple services are concurrently developed at a number of regionally distributed development centers. To support the process model, the ICAROS tool was developed, where developers and customers can cooperatively define service specifications with a visual object-oriented specification language. To smoothly migrate existing communication service to assets into intelligent network services, ICAROS supports the cyclic process model, which integrates forward engineering and reverse engineering, together with amplifier concept, which augments human ability on a groupware platform. Experimental use of ICAROS revealed the positive effect of proposed approach.<<ETX>>","PeriodicalId":286518,"journal":{"name":"[1992] Proceedings. The Sixteenth Annual International Computer Software and Applications Conference","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132421816","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
Are formal methods useful for software development? 形式化方法对软件开发有用吗?
[1992] Proceedings. The Sixteenth Annual International Computer Software and Applications Conference Pub Date : 1992-09-21 DOI: 10.1109/CMPSAC.1992.217611
H. Wedde, B. Cheng, D. Gries, N. Shankar, Kwei-Jay Lin, M. Ardis
{"title":"Are formal methods useful for software development?","authors":"H. Wedde, B. Cheng, D. Gries, N. Shankar, Kwei-Jay Lin, M. Ardis","doi":"10.1109/CMPSAC.1992.217611","DOIUrl":"https://doi.org/10.1109/CMPSAC.1992.217611","url":null,"abstract":"The relevance of formal methods for practical software system design is discussed. Prominent representatives of formal approaches present their findings and experience about the use and the usefulness of formal methods. It has been proposed that all programmers would be more productive and produce higher quality products if they would learn two things: predicate calculus; and program correctness (including formal program development). It is argued that the complexity, pervasiveness, and critical nature of modern and future computer systems makes it imperative that such systems be engineered for reliability and maintainability. Formal methods constitute an extremely promising approach to the design of reliable systems. The schedulability aspect of real-time system development is discussed. In general, formal methods should be preferred over other less formal methods since they can provide much better and stronger guarantees on real-time system performance.<<ETX>>","PeriodicalId":286518,"journal":{"name":"[1992] Proceedings. The Sixteenth Annual International Computer Software and Applications Conference","volume":"55 38 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124759057","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
An object-oriented toolkit for constructing specification editors 用于构造规范编辑器的面向对象工具包
[1992] Proceedings. The Sixteenth Annual International Computer Software and Applications Conference Pub Date : 1992-09-21 DOI: 10.1109/CMPSAC.1992.217561
R. H. Bourdeau, B. Cheng
{"title":"An object-oriented toolkit for constructing specification editors","authors":"R. H. Bourdeau, B. Cheng","doi":"10.1109/CMPSAC.1992.217561","DOIUrl":"https://doi.org/10.1109/CMPSAC.1992.217561","url":null,"abstract":"The authors discuss Spectacle, an object-oriented library of software components designed for constructing language-based, graphical, specification editors. Spectacle provides the programmer with a basic toolkit for building an X-Window editor: minimal knowledge of both C++ and the X-Window graphical environment is assumed. The editing tools that are derived from Spectacle can be implemented as stand-alone editors are integrated into larger-scale software development environments. Spectacle editors are syntax-directed and menu driven. The authors outline the basic structure of the library and examine each software component separately. The user-interface model provided by Spectacle is described. Two example prototype editors are presented.<<ETX>>","PeriodicalId":286518,"journal":{"name":"[1992] Proceedings. The Sixteenth Annual International Computer Software and Applications Conference","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129800025","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
The use of formal methods in parallel operating systems 在并行操作系统中使用形式化方法
[1992] Proceedings. The Sixteenth Annual International Computer Software and Applications Conference Pub Date : 1992-09-21 DOI: 10.1109/CMPSAC.1992.217560
J. Keane, W. Hussak
{"title":"The use of formal methods in parallel operating systems","authors":"J. Keane, W. Hussak","doi":"10.1109/CMPSAC.1992.217560","DOIUrl":"https://doi.org/10.1109/CMPSAC.1992.217560","url":null,"abstract":"The authors report on the use of formal methods for the development of parallel operating systems for two experimental declarative systems over a five-year period. A common specification approach has evolved as part of the development of these two very different systems: one being for a parallel graph reduction machine and written in a functional language enhanced with state-based objects, the other was written in C/sup ++/. A brief overview of each system is given before concentrating on the use of formal methods. A description is given of how both a technique for formally specifying sequential systems (VDM) and a technique for specifying concurrent systems (temporal logic) have been used together. In both cases, the issue of verification is addressed.<<ETX>>","PeriodicalId":286518,"journal":{"name":"[1992] Proceedings. The Sixteenth Annual International Computer Software and Applications Conference","volume":"46 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124302755","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
首页 上一页 下一页 尾页
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学术官方微信