| 书目名称 | High-Level System Modeling | | 副标题 | Specification and De | | 编辑 | Ronald Waxman,Jean-Michel Bergé,Jacques Rouillard | | 视频video | | | 丛书名称 | 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 |
The information of publication is updating
|
|
发表于 2025-3-21 20:02:58
