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

[Proceedings] COMPEURO 88 - System Design: Concepts, Methods and Tools最新文献

筛选
英文 中文
An executable system specification to support the JSD methodology 支持JSD方法的可执行系统规范
[Proceedings] COMPEURO 88 - System Design: Concepts, Methods and Tools Pub Date : 1988-04-11 DOI: 10.1109/CMPEUR.1988.4966
W. Kozaczynski, A. Jindal
{"title":"An executable system specification to support the JSD methodology","authors":"W. Kozaczynski, A. Jindal","doi":"10.1109/CMPEUR.1988.4966","DOIUrl":"https://doi.org/10.1109/CMPEUR.1988.4966","url":null,"abstract":"The authors present an experimental executable system specification that supports the Jackson system development methodology. The immediate advantage of making a rigorous system specification executable is that it becomes a verifiable system prototype. They show that the JSD specification is a restricted object system. They use Prolog to implement and execute the specification. The specification can be transformed into a system design if a set of transformation rules exists. Such transformation rules for the JSD approach are discussed.<<ETX>>","PeriodicalId":415032,"journal":{"name":"[Proceedings] COMPEURO 88 - System Design: Concepts, Methods and Tools","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-04-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115196961","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
Algebraic data type specifications-language, method and tools 代数数据类型规范——语言、方法和工具
[Proceedings] COMPEURO 88 - System Design: Concepts, Methods and Tools Pub Date : 1988-04-11 DOI: 10.1109/CMPEUR.1988.4935
L. Duponcheel, J. Heyman, W. Van Puymbroeck
{"title":"Algebraic data type specifications-language, method and tools","authors":"L. Duponcheel, J. Heyman, W. Van Puymbroeck","doi":"10.1109/CMPEUR.1988.4935","DOIUrl":"https://doi.org/10.1109/CMPEUR.1988.4935","url":null,"abstract":"A description is given of the concepts of an algebraic specification language allowing the development of structured, clear, and reusable specifications, and its support environment is introduced. Initial experience using the presented language, method, and tools in the development of a specification of the Knuth-Bendix algorithm is discussed. Rapid prototyping is emphasized in the tools. In particular, a translator for constructive specifications is illustrated. The use of components of a prototype proof environment is indicated.<<ETX>>","PeriodicalId":415032,"journal":{"name":"[Proceedings] COMPEURO 88 - System Design: Concepts, Methods and Tools","volume":"6 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-04-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124285059","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
Knowledge-based disk I/O system design aid 基于知识的磁盘I/O系统设计辅助工具
[Proceedings] COMPEURO 88 - System Design: Concepts, Methods and Tools Pub Date : 1988-04-11 DOI: 10.1109/CMPEUR.1988.4944
K. Cho, H.G. Cragon
{"title":"Knowledge-based disk I/O system design aid","authors":"K. Cho, H.G. Cragon","doi":"10.1109/CMPEUR.1988.4944","DOIUrl":"https://doi.org/10.1109/CMPEUR.1988.4944","url":null,"abstract":"The authors present an interactive knowledge-based disk I/O system-design tool combining the technique of artificial intelligence with the conventional ad hoc method of computer architecture design. This tool reduces the expensive implementation and test recycles of the conventional design method and improves the simple forward design process for system-level design. By combining design and evaluation and using a common set of the knowledge base, user interaction, specification problems and performance estimation errors can be greatly reduced. The tool meets the system design requirements without detailed verification simulation of the design and produces a formal structural format of the design and performance specifications. The tool can assimilate new knowledge as it is developed during design by simply adding that knowledge as a frame or a rule.<<ETX>>","PeriodicalId":415032,"journal":{"name":"[Proceedings] COMPEURO 88 - System Design: Concepts, Methods and Tools","volume":"215 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-04-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122843804","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
Optimal routing in the shuffle-exchange networks for multiprocessor systems 多处理机系统洗牌交换网络中的最优路由
[Proceedings] COMPEURO 88 - System Design: Concepts, Methods and Tools Pub Date : 1988-04-11 DOI: 10.1109/CMPEUR.1988.4957
X. Tan, K. Sevcik, J.W. Hong
{"title":"Optimal routing in the shuffle-exchange networks for multiprocessor systems","authors":"X. Tan, K. Sevcik, J.W. Hong","doi":"10.1109/CMPEUR.1988.4957","DOIUrl":"https://doi.org/10.1109/CMPEUR.1988.4957","url":null,"abstract":"The authors propose the shuffle-exchange and exchange-unshuffle network and a combination routing scheme. They prove that combination routing is optimal for s/e&e/u interconnection networks in the sense that it leads to the lowest possible number of cycles through the single-stage for every pair of source and destination addresses. The authors design a systolic algorithm for calculating the parameters for carrying out combination routing. Using standard shuffle-exchange routing, the average network delay can not be less than log N even with various augmented hardware. Simulation experiments on the combination routing show that the average network delays are significantly less than log N.<<ETX>>","PeriodicalId":415032,"journal":{"name":"[Proceedings] COMPEURO 88 - System Design: Concepts, Methods and Tools","volume":"43 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-04-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127428823","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
Software engineering environments 软件工程环境
[Proceedings] COMPEURO 88 - System Design: Concepts, Methods and Tools Pub Date : 1988-04-11 DOI: 10.1109/CMPEUR.1988.4968
G. Oddy
{"title":"Software engineering environments","authors":"G. Oddy","doi":"10.1109/CMPEUR.1988.4968","DOIUrl":"https://doi.org/10.1109/CMPEUR.1988.4968","url":null,"abstract":"There is considerable activity in the field of software engineering environments (SEEs). Most of this work assumes an architecture consisting of a number of software tools running on a kernel with a well-defined public tool interface (PTI). The background to current work in SEEs is outlined, and the current trend toward systems engineering environments is noted. The kernel approach is scrutinized as a possible architecture for such environments and found to be adequate only in the short term. A glimpse is given of an alternative approach.<<ETX>>","PeriodicalId":415032,"journal":{"name":"[Proceedings] COMPEURO 88 - System Design: Concepts, Methods and Tools","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-04-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114290960","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
Formalizing software development methods 形式化软件开发方法
[Proceedings] COMPEURO 88 - System Design: Concepts, Methods and Tools Pub Date : 1988-04-11 DOI: 10.1109/CMPEUR.1988.4955
D. Dziergowski, É. Grégoire
{"title":"Formalizing software development methods","authors":"D. Dziergowski, É. Grégoire","doi":"10.1109/CMPEUR.1988.4955","DOIUrl":"https://doi.org/10.1109/CMPEUR.1988.4955","url":null,"abstract":"A formal description of a software development method is a first step toward a rigorous implementation of tools, computer-assisted development methods, and, to some extent, toward automation of those methods. It should also be useful for an objective comparison or study of the power, nature, and limitations of methods. What can and what cannot be realistically formalized and automated in existing software development methods is rarely analyzed. The authors deal with the feasibility of such formalizations and with possible directions for automation. They sketch a framework for expressing the more formalizable aspects of methods.<<ETX>>","PeriodicalId":415032,"journal":{"name":"[Proceedings] COMPEURO 88 - System Design: Concepts, Methods and Tools","volume":"53 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-04-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126870409","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
Architectural study for an integrated fixed and floating-point VLSI-ASIC processor 固定和浮点集成VLSI-ASIC处理器的体系结构研究
[Proceedings] COMPEURO 88 - System Design: Concepts, Methods and Tools Pub Date : 1988-04-11 DOI: 10.1109/CMPEUR.1988.4942
V. Oklobdzija, Greg Grohosky
{"title":"Architectural study for an integrated fixed and floating-point VLSI-ASIC processor","authors":"V. Oklobdzija, Greg Grohosky","doi":"10.1109/CMPEUR.1988.4942","DOIUrl":"https://doi.org/10.1109/CMPEUR.1988.4942","url":null,"abstract":"The architecture of a single-chip processor with integrated fixed and floating-point execution units is presented. A single-chip implementation is enabled by current ASIC (application-specific integrated circuit) technology offering well in excess of 50000 gates per chip and delays on the order of 600 ps per gate. The basic principles of RISC (reduced-instruction-set-computer) architecture are used, and a fast floating-point processor is included as an integral part of the chip. The architecture is intended to make the processor attractive for a wide range of scientific computing when it is implemented as part of a special-purpose machine. The architecture takes advantage of the high level of integration and low power assumption of CMOS technology. The integration of the execution units and an efficient interunit communication protocol avoid off-chip delay penalties.<<ETX>>","PeriodicalId":415032,"journal":{"name":"[Proceedings] COMPEURO 88 - System Design: Concepts, Methods and Tools","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-04-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122296728","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
A formalisation of design structures 设计结构的形式化
[Proceedings] COMPEURO 88 - System Design: Concepts, Methods and Tools Pub Date : 1988-04-11 DOI: 10.1109/CMPEUR.1988.4954
L.M.G. Fejs
{"title":"A formalisation of design structures","authors":"L.M.G. Fejs","doi":"10.1109/CMPEUR.1988.4954","DOIUrl":"https://doi.org/10.1109/CMPEUR.1988.4954","url":null,"abstract":"The authors present the formalization of methodological principles for developing large and complex software systems. They address the issues of information hiding that arise in hierarchical structured and componentwise-specified software systems using a binary implementation relation. They introduce a formally defined notion of design as a concept leading to definitions of black-box correctness (based on the exclusive use of specifications) and glass-box correctness (using implementation knowledge). The authors show the methodological soundness of black-box correctness and give an example demonstrating the pitfalls that can result from glass-box correctness. This is done in the framework of an algebraic approach to module composition using a version of lambda calculus for parameterization. The concepts are illustrated by small examples written in COLD.<<ETX>>","PeriodicalId":415032,"journal":{"name":"[Proceedings] COMPEURO 88 - System Design: Concepts, Methods and Tools","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-04-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129501607","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
Formal specifications: an industrial case study 正式规范:一个工业案例研究
[Proceedings] COMPEURO 88 - System Design: Concepts, Methods and Tools Pub Date : 1988-04-11 DOI: 10.1109/CMPEUR.1988.4956
I. V. Horebeek, B. Vergauwen, J. Lewi
{"title":"Formal specifications: an industrial case study","authors":"I. V. Horebeek, B. Vergauwen, J. Lewi","doi":"10.1109/CMPEUR.1988.4956","DOIUrl":"https://doi.org/10.1109/CMPEUR.1988.4956","url":null,"abstract":"The authors present an algebraic specification of two-party voice calls. Abstraction is made from technical details. Only relevant characteristics are specified. Emphasis is put on modularity and on a so-called object-oriented design methodology. As a vehicle for this exposition, the authors use a constructive algebraic specification language that allows rapid prototyping.<<ETX>>","PeriodicalId":415032,"journal":{"name":"[Proceedings] COMPEURO 88 - System Design: Concepts, Methods and Tools","volume":"69 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-04-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123219279","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
On the shortcomings of the axiomatic approach as presently used in computer science 论目前在计算机科学中使用的公理方法的缺点
[Proceedings] COMPEURO 88 - System Design: Concepts, Methods and Tools Pub Date : 1988-04-11 DOI: 10.1109/CMPEUR.1988.4951
R. Boute
{"title":"On the shortcomings of the axiomatic approach as presently used in computer science","authors":"R. Boute","doi":"10.1109/CMPEUR.1988.4951","DOIUrl":"https://doi.org/10.1109/CMPEUR.1988.4951","url":null,"abstract":"In current practice, many issues in computer science are formulated and treated as formal logic theories, even though this style of axiomatization is inappropriate for the topic at hand. Comparison with the scientific approach in more mature disciplines, such as mathematics, physics and applied science, reveals the causes and the unwanted effects of this phenomenon and shows, more generally, that the methodological basis for computer science is still far from being fully developed. The impact on a few important research areas is briefly discussed. It is argued that this state of affairs can be improved by recognizing that the traditional characterization of the discipline of computer science, which may have been appropriate during the initial years, is now due for a major revision, and by broadening the 'pure' computer science curricula through the inclusion of judiciously chosen additional topics in mathematics, physics, and systems theory.<<ETX>>","PeriodicalId":415032,"journal":{"name":"[Proceedings] COMPEURO 88 - System Design: Concepts, Methods and Tools","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1988-04-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130981972","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学术官方微信