| 书目名称 | High-Level System Modeling |
| 副标题 | Specification and De |
| 编辑 | Ronald Waxman,Jean-Michel Bergé,Jacques Rouillard |
| 视频video | http://file.papertrans.cn/427/426627/426627.mp4 |
| 丛书名称 | Current Issues in Electronic Modeling |
| 图书封面 |  |
| 描述 | In system design, generation of high-level abstract models thatcan be closely associated with evolving lower-level models providesdesigners with the ability to incrementally `test‘ an evolving designagainst a model of a specification. Such high-level models may dealwith areas such as performance, reliability, availability,maintainability, and system safety. Abstract models also allowexploration of the hardware versus software design space in anincremental fashion as a fuller, detailed design unfolds, leavingbehind the old practice of hardware-software binding too earlyin the design process. Such models may also allow the inclusion ofnon-functional aspects of design (e.g. space, power, heat) in asimulatable information model dealing with the system‘s operation.This book addresses Model Generation and Application specifically inthe following domains:. .Specification modeling(linking object/data modeling, behavior modeling, and activitymodeling). ..Operational specification modeling (modeling the waythe system is supposed to operate - from a user‘s viewpoint)...Linking non-functional parameters with specification models...Hybrid modeling (linking performance and functional elements).. |
| 出版日期 | Book 1996 |
| 关键词 | Hardware; VHDL; automation; circuit design; field-effect transistor; integrated circuit; model; modeling; sy |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-1-4613-1309-0 |
| isbn_softcover | 978-1-4612-8561-8 |
| isbn_ebook | 978-1-4613-1309-0Series ISSN 1381-3951 |
| issn_series | 1381-3951 |
| copyright | Kluwer Academic Publishers 1996 |
|Archiver|手机版|小黑屋|
派博传思国际
( 京公网安备110108008328)
GMT+8, 2025-8-4 11:00
发表于 2025-3-21 20:02:58
