| 書目名稱 | High-Level System Modeling |
| 副標(biāo)題 | 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 |
| 關(guān)鍵詞 | 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|手機(jī)版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-9 02:08
發(fā)表于 2025-3-21 20:02:58
