{"product_id":"9781461285618","title":"High-Level System Modeling: Specification and Design Methodologies","description":"\u003ch1\u003eHigh-Level System Modeling: Specification and Design Methodologies\u003c\/h1\u003e \u003ch2\u003eWaxman, Ronald; Bergé, Jean-Michel; Levia, Oz; Rouillard, Jacques\u003c\/h2\u003e \u003cp\u003eIn system design, generation of high-level abstract models that  can be closely associated with evolving lower-level models provides  designers with the ability to incrementally `test' an evolving design  against a model of a specification. Such high-level models may deal  with areas such as performance, reliability, availability,  maintainability, and system safety. Abstract models also allow  exploration of the hardware versus software design space in an  incremental fashion as a fuller, detailed design unfolds, leaving  behind the old practice of hardware-software binding too early  in the design process. Such models may also allow the inclusion of  non-functional aspects of design (e.g. space, power, heat) in a  simulatable information model dealing with the system's operation.  This book addresses Model Generation and Application specifically in  the following domains:\u003c\/p\u003e\u003cul\u003e \u003cli\u003eSpecification modeling  (linking object\/data modeling, behavior modeling, and activity  modeling). \u003c\/li\u003e  \u003cli\u003eOperational specification modeling (modeling the way  the system is supposed to operate - from a user's viewpoint).  \u003c\/li\u003e  \u003cli\u003eLinking non-functional parameters with specification models.  \u003c\/li\u003e  \u003cli\u003eHybrid modeling (linking performance and functional elements).  \u003c\/li\u003e  \u003cli\u003eApplication of high-level modeling to hardware\/software  approaches. \u003c\/li\u003e  \u003cli\u003eMathematical analysis techniques related to the  modeling approaches. \u003c\/li\u003e  \u003cli\u003eReliability modeling. \u003c\/li\u003e  \u003cli\u003eApplications of  High Level Modeling. \u003c\/li\u003e  \u003cli\u003eReducing High Level Modeling to  Practice.\u003c\/li\u003e  \u003c\/ul\u003e   \u003cem\u003eHigh-Level System Modeling: Specification and  Design\u003c\/em\u003e \u003cem\u003eMethodologies\u003c\/em\u003e describes the latest research and  practice in the modeling of electronic systems and as such is an  important update for all researchers, design engineers and technical  managers working in design automation and circuit design. \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 2011-09-26\u003c\/p\u003e \u003cp\u003eFormat: Paperback\u003c\/p\u003e \u003cp\u003e ISBN-10: 9781461285618\u003c\/p\u003e \u003cp\u003eISBN-13: 9781461285618\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/978-1-4613-1309-0\u003c\/p\u003e \u003cp\u003eDimensions: 240cm x160cm\u003c\/p\u003e \u003cp\u003ePages: 192\u003c\/p\u003e ","brand":"Springer","offers":[{"title":"Default Title","offer_id":44343501684876,"sku":"9781461285618","price":153.0,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9781461285618_5d2e54ee-6f05-42dc-b356-37e958e36366.jpg?v=1755056422","url":"https:\/\/fh90cf-fv.myshopify.com\/products\/9781461285618","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}