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

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

筛选
英文 中文
An axiomatic approach of software functionality measure 一种软件功能度量的公理方法
[1992 Proceedings] The Third International Workshop on Rapid System Prototyping Pub Date : 1992-06-23 DOI: 10.1109/IWRSP.1992.243908
Yuan-Tsong Chen, M. Tanik
{"title":"An axiomatic approach of software functionality measure","authors":"Yuan-Tsong Chen, M. Tanik","doi":"10.1109/IWRSP.1992.243908","DOIUrl":"https://doi.org/10.1109/IWRSP.1992.243908","url":null,"abstract":"Three axioms for functional complexity of software are proposed. The first axiom asserts that functional complexity is a function and is computable at the specification level. The second axiom argues that an empty specification has zero functional complexity. The third axiom asserts that a harder specification has no less functional complexity than an easier one. With these three axioms and various definitions of the notions of functional complexity, a number of theorems are proved. Code metrics, including statement count, M. Halstead's (1977) programming effort, and T. McCabe's cyclomatic number are reviewed, together with specification metrics including L. Hellerman's (1972) metric, D. Schutt's (1977) metric, N. Coulter's (1987) metric, and A. Albrecht's (1983) functional point. These metrics are evaluated with respect to the three axioms. Results show that code metrics do not satisfy these axioms, while Hellerman, Schutt, and Coulter metrics do.<<ETX>>","PeriodicalId":210681,"journal":{"name":"[1992 Proceedings] The Third International Workshop on Rapid System Prototyping","volume":"14 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":"124791134","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
Systematic prototyping of superscalar computer architectures 超标量计算机体系结构的系统原型
[1992 Proceedings] The Third International Workshop on Rapid System Prototyping Pub Date : 1992-06-23 DOI: 10.1109/IWRSP.1992.243910
T. Conte, Wen-mei W. Hwu
{"title":"Systematic prototyping of superscalar computer architectures","authors":"T. Conte, Wen-mei W. Hwu","doi":"10.1109/IWRSP.1992.243910","DOIUrl":"https://doi.org/10.1109/IWRSP.1992.243910","url":null,"abstract":"It is argued that the correct solution to the computer architecture design process is a prototyping approach. In this approach, the initial design is selected using the workload itself. This design is an architectural prototype, specifying the high-level design decisions that are difficult to acquire via detailed simulation. These design decisions include determining the mix of function units in the execution stage of the processor and the dimensions of the caches in the memory subsystem. Architectural prototypes are selected by trading off accuracy in hardware simulation for an increase in usable workload size.<<ETX>>","PeriodicalId":210681,"journal":{"name":"[1992 Proceedings] The Third International Workshop on Rapid System Prototyping","volume":"5 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":"124188533","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
Prototyping the DLX microprocessor DLX微处理器原型
[1992 Proceedings] The Third International Workshop on Rapid System Prototyping Pub Date : 1992-06-23 DOI: 10.1109/IWRSP.1992.243912
B. Fagin, Pichet Chintrakulchai
{"title":"Prototyping the DLX microprocessor","authors":"B. Fagin, Pichet Chintrakulchai","doi":"10.1109/IWRSP.1992.243912","DOIUrl":"https://doi.org/10.1109/IWRSP.1992.243912","url":null,"abstract":"The prototyping of a functioning DLX microprocessor, based on the 32-b instruction set architecture developed by D. Patterson and J. Hennessy (in Computer Architecture: A Quantitative Approach, 1990), is described. This architecture is an emerging academic standard but has yet to be successfully prototyped. An implementation of DLX as a 12-in*15-in two-layer circuit board, containing 59 chips and running on a 2-MHz clock, is described. The execution of DLX programs and the problems encountered are discussed.<<ETX>>","PeriodicalId":210681,"journal":{"name":"[1992 Proceedings] The Third International Workshop on Rapid System Prototyping","volume":"179 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":"128907359","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
Adaptation and modification of Nassi-Shneiderman charts to represent Descartes specifications visually 改编和修改纳西-施耐德曼图表，以直观地表示笛卡儿规范
[1992 Proceedings] The Third International Workshop on Rapid System Prototyping Pub Date : 1992-06-23 DOI: 10.1109/IWRSP.1992.243907
A. Khwaja, J. E. Urban
{"title":"Adaptation and modification of Nassi-Shneiderman charts to represent Descartes specifications visually","authors":"A. Khwaja, J. E. Urban","doi":"10.1109/IWRSP.1992.243907","DOIUrl":"https://doi.org/10.1109/IWRSP.1992.243907","url":null,"abstract":"Descartes is an executable specification language that supports the rapid prototyping of partial through complete software specifications. A technique developed to represent Descartes executable specifications visually by adapting the charts of I. Nassi and B. Shneiderman (1973), is described. Symbols are identified for the data structuring methods and the rationale for selecting these symbols is discussed. The benefits gained in moving a graphical technique up to the front end of the software life cycle are discussed. Sample specifications are included to illustrate the effectiveness of the technique.<<ETX>>","PeriodicalId":210681,"journal":{"name":"[1992 Proceedings] The Third International Workshop on Rapid System Prototyping","volume":"45 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":"132743615","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
Integrating operational specification and performance modeling 集成操作规范和性能建模
[1992 Proceedings] The Third International Workshop on Rapid System Prototyping Pub Date : 1992-06-23 DOI: 10.1109/IWRSP.1992.243902
S. Srinivasan, Ambar Sarkar, R. Waxman, Barry W. Johnson
{"title":"Integrating operational specification and performance modeling","authors":"S. Srinivasan, Ambar Sarkar, R. Waxman, Barry W. Johnson","doi":"10.1109/IWRSP.1992.243902","DOIUrl":"https://doi.org/10.1109/IWRSP.1992.243902","url":null,"abstract":"There are two important early stages in the design of complex systems: modeling of the system (operational) specification, and modeling of the system performance. A link between operation specification and performance modeling via VHDL (VHSIC hardware description language) is proposed, and it is shown by an example how the models can be made to interact, yielding a synergy leading to design efficiency and accuracy. The usefulness of such a link is justified by an example.<<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":"124097310","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
Rapid prototyping using object-oriented modeling and testbed simulation for complex real-time systems 使用面向对象建模和复杂实时系统的试验台仿真快速原型
[1992 Proceedings] The Third International Workshop on Rapid System Prototyping Pub Date : 1992-06-23 DOI: 10.1109/IWRSP.1992.243901
J. G. Shea, R. Ragade, J. W. Dunn
{"title":"Rapid prototyping using object-oriented modeling and testbed simulation for complex real-time systems","authors":"J. G. Shea, R. Ragade, J. W. Dunn","doi":"10.1109/IWRSP.1992.243901","DOIUrl":"https://doi.org/10.1109/IWRSP.1992.243901","url":null,"abstract":"A simulation testbed architecture which is particularly amenable to rapid-prototyping applications is described. It comprises a three-tier modular hybrid simulator made up of actual system components, conventional numeric functional simulation models, and a set of behavioral knowledge-based representations which model hardware and software functions in terms of functional states, inputs and outputs. The simulation modules are strongly linked and embedded in an object-oriented knowledge-capture and design-representation architecture. The system provides a flexible, reconfigurable model-building and scenario-based simulation environment. The requirements analysis process which led to the development of the concept and the major testbed components are discussed. The object-oriented modeling techniques and frame-based data structure which support the rapid-prototyping capabilities of the testbed and the interactive capabilities of the system are described.<<ETX>>","PeriodicalId":210681,"journal":{"name":"[1992 Proceedings] The Third International Workshop on Rapid System Prototyping","volume":"5 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":"121070753","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
Computer aided system prototyping 计算机辅助系统原型设计
[1992 Proceedings] The Third International Workshop on Rapid System Prototyping Pub Date : 1992-06-23 DOI: 10.1109/IWRSP.1992.243917
Luqi
{"title":"Computer aided system prototyping","authors":"Luqi","doi":"10.1109/IWRSP.1992.243917","DOIUrl":"https://doi.org/10.1109/IWRSP.1992.243917","url":null,"abstract":"The ability of various types of computer-aided prototyping environments to speed up prototyping and help the analysts formulate, understand, and communicate the properties of proposed systems to potential users of those systems, and to integrate smoothly with tools for optimizing and refining the prototype design into a production-quality software product, is examined. Comparisons of software prototyping with system prototyping and of throw-away with evolutionary prototyping are given. The technologies which support prototyping, i.e., prototyping languages, software reuse, designed interfaces, and decision support, are described.<<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":"114374544","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
Producing prototypes from CO-OPN specifications 根据CO-OPN规格生产原型
[1992 Proceedings] The Third International Workshop on Rapid System Prototyping Pub Date : 1992-06-23 DOI: 10.1109/IWRSP.1992.243915
Didier Buchs, Jacques Flumet, P. Racloz
{"title":"Producing prototypes from CO-OPN specifications","authors":"Didier Buchs, Jacques Flumet, P. Racloz","doi":"10.1109/IWRSP.1992.243915","DOIUrl":"https://doi.org/10.1109/IWRSP.1992.243915","url":null,"abstract":"The techniques and the tools developed to produce prototypes from CO-OPN (concurrent object-oriented Petri net) specifications are described. CO-OPN is a specification language for the description of concurrent aspects and data-structure aspects of computer programs in an abstract way. The concurrent part of the formalism is described with Petri nets, while the data aspects are described with algebraic abstract data types. In CO-OPN, this association is structured by the object notion. For prototyping such a formalism, a fully operational semantics is required. The semantics is given for the simulation tools that have been developed. An editor and an environment for executing CO-OPN specifications have been developed. The specifications are prototyped using a translation of the specifications into Prolog.<<ETX>>","PeriodicalId":210681,"journal":{"name":"[1992 Proceedings] The Third International Workshop on Rapid System Prototyping","volume":"22 6","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-06-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121001343","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
An evaluation of the Teamwork CASE environment for specifications capture of hardware systems 对硬件系统规格捕获的团队协作CASE环境的评估
[1992 Proceedings] The Third International Workshop on Rapid System Prototyping Pub Date : 1992-06-23 DOI: 10.1109/IWRSP.1992.243918
A. Dollas, Scott L. Crutchfield
{"title":"An evaluation of the Teamwork CASE environment for specifications capture of hardware systems","authors":"A. Dollas, Scott L. Crutchfield","doi":"10.1109/IWRSP.1992.243918","DOIUrl":"https://doi.org/10.1109/IWRSP.1992.243918","url":null,"abstract":"The use of the Teamwork computer-aided software engineering (CASE) environment in a hardware application is examined. Teamwork is used to capture and maintain the specifications of a real-time image processing system under development at Duke University. It is demonstrated that when coupled with appropriate methodology, Teamwork can be used in hardware projects. The strengths and weaknesses of this approach are identified. The requirements for similar environments to overcome some of the problems encountered are outlined.<<ETX>>","PeriodicalId":210681,"journal":{"name":"[1992 Proceedings] The Third International Workshop on Rapid System Prototyping","volume":"26 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":"116204653","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
ProSet-a language for prototyping with sets proset -用于集原型的语言
[1992 Proceedings] The Third International Workshop on Rapid System Prototyping Pub Date : 1992-06-23 DOI: 10.1109/IWRSP.1992.243903
E. Doberkat, W. Hasselbring, W. Franke, U. Lammers, Ulrich Gutenbeil, C. Pahl
{"title":"ProSet-a language for prototyping with sets","authors":"E. Doberkat, W. Hasselbring, W. Franke, U. Lammers, Ulrich Gutenbeil, C. Pahl","doi":"10.1109/IWRSP.1992.243903","DOIUrl":"https://doi.org/10.1109/IWRSP.1992.243903","url":null,"abstract":"The prototyping language ProSET (Prototyping with Sets) for experimental and evolutionary prototyping is discussed, with emphasis on algorithm design. Its features include generative communication, flexible exception handling, and the integration of persistence. Issues pertaining to the compiler and the programming environment are discussed.<<ETX>>","PeriodicalId":210681,"journal":{"name":"[1992 Proceedings] The Third International Workshop on Rapid System Prototyping","volume":"99 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":"133617855","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}
引用次数: 23
下一页 尾页
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学术官方微信