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

[1992 Proceedings] The Third International Workshop on Rapid System Prototyping最新文献

筛选
英文 中文
A pragmatic formal method (PFM) for computer system definition and execution 计算机系统定义和执行的实用形式化方法(PFM)
[1992 Proceedings] The Third International Workshop on Rapid System Prototyping Pub Date : 1992-06-23 DOI: 10.1109/IWRSP.1992.243913
S. White
{"title":"A pragmatic formal method (PFM) for computer system definition and execution","authors":"S. White","doi":"10.1109/IWRSP.1992.243913","DOIUrl":"https://doi.org/10.1109/IWRSP.1992.243913","url":null,"abstract":"The pragmatic formal method (PFM) process produces a model of a to-be-built target system, provides analysis of model quality, and simulates system operation. PFM incorporates a solution to one of the major problems with Petri nets, i.e., a static Petri net structure of a large system is difficult to define. A formal extension of Petri nets called PFM-nets (nets of interacting PFM functions) is used to simulate system operation and support the development of a rapid prototype. PFM-nets can be generated (in theory) automatically from a PFM model of a target system. The PFM model and model execution are discussed.<<ETX>>","PeriodicalId":210681,"journal":{"name":"[1992 Proceedings] The Third International Workshop on Rapid System Prototyping","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-06-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133295815","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
Rapid prototyping with the OR model OR模型的快速原型
[1992 Proceedings] The Third International Workshop on Rapid System Prototyping Pub Date : 1992-06-23 DOI: 10.1109/IWRSP.1992.243905
Yoav Intrator, S. Rotenstreich
{"title":"Rapid prototyping with the OR model","authors":"Yoav Intrator, S. Rotenstreich","doi":"10.1109/IWRSP.1992.243905","DOIUrl":"https://doi.org/10.1109/IWRSP.1992.243905","url":null,"abstract":"An object-oriented model called the object-relation (OR) model is presented and shown to be powerful for rapid prototyping of object-oriented systems. The OR model is based on relations that replace the implicit interconnections that typically exist in every software system. These relations are defined in class hierarchies and can be used similarly to the way regular objects are used, e.g., inheritance and reuse. An example of a nontrivial data structure, the heap, is presented.<<ETX>>","PeriodicalId":210681,"journal":{"name":"[1992 Proceedings] The Third International Workshop on Rapid System Prototyping","volume":"36 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-06-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115824116","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
Concurrent engineering: a prototyping case study 并行工程:一个原型案例研究
[1992 Proceedings] The Third International Workshop on Rapid System Prototyping Pub Date : 1992-06-23 DOI: 10.1109/IWRSP.1992.243911
J. Akella, A.H. Dutoit, D. Siewiorek
{"title":"Concurrent engineering: a prototyping case study","authors":"J. Akella, A.H. Dutoit, D. Siewiorek","doi":"10.1109/IWRSP.1992.243911","DOIUrl":"https://doi.org/10.1109/IWRSP.1992.243911","url":null,"abstract":"Vuman is a wearable portable computer used for navigation through electronic blueprints. Thirty working units of Vuman were designed and manufactured from system concept using a concurrent engineering design environment. The authors describe the steps in prototyping Vuman, using the suite of synthesis and analysis tools in the electronic and mechanical domains which comprise the concurrent engineering design environment. Some unforeseen problems and their proposed solutions are discussed.<<ETX>>","PeriodicalId":210681,"journal":{"name":"[1992 Proceedings] The Third International Workshop on Rapid System Prototyping","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-06-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129289130","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}
引用次数: 20
首页 上一页
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学术官方微信