预订 Object-Oriented Systems Analysis and Design Using UML 预订，预计下单后3-4周左右发货！
¥969.00
【预订】Agile Model-Based Development Using UML-RSDS 97814987522 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781498752220 Author 作者 Kevin Lano Format 版本 精装 Pages Number 页数 386页 Publication Date 出版日期 2016-08-02 Language 语种 英语 Book Contents 内容简介 This book describes the concepts and application of model-based development (MBD), model transformations, and Agile MBD to a wide range of software systems. It covers systems requirements engineering, system specification and design, verification, reuse, and system composition in the context of Agile MBD. Examples of applications in finance, system migration, internet systems and software refactoring are given. An established open-source MBD technology, UML-RSDS, is used throughout to illustrate the concepts.
¥1507
预订 Object-Oriented Systems Analysis and Design Using UML [IS 【全球购】进口原版图书，一般5-8周左右到国内
¥1170
海外直订Object -Oriented Analysis and Design Using UML 基于UML的面向对
¥845.00
海外直订Object-Oriented Software Engineering Using UML, Patterns
¥1069
【预订】Modeling Enterprise Architecture with Togaf: A Practical 美国库房发货，通常付款后3-5周到货！
¥619.00
预订 高被引Agile Model-Based Development Using Uml-Rsds [ISBN:978 【全球购】进口原版图书，一般5-8周左右到国内
¥1258
海外直订Object Oriented Modeling and Design Using UML: 2nd Editi
¥171.00
【预订】Practical Object-Oriented Design Using UML 美国库房发货，通常付款后3-5周到货！
¥1187
预订 Practical Object-Oriented Design Using UML [ISBN:97800771 【全球购】进口原版图书，一般5-8周左右到国内
¥1032
预订 Agile Model-Based Development Using UML-RSDS [ISBN:978036 【全球购】进口原版图书，一般5-8周左右到国内
¥580.00
预订 按需印刷 Agile Model-Based Development Using UML-RSDS
¥509.15
海外直订Agile Model-Based Development Using Uml-Rsds 使用uml - rsd
¥1405
预订 Object-Oriented Software Engineering Using Uml, Patterns, 【全球购】进口原版图书，一般5-8周左右到国内后发出
¥1733
【预订】Modeling and Verification Using UML Statecharts 97807506 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780750679497 Author 作者 Drusinsky Format 版本 精装 Pages Number 页数 400页 Publisher 出版社 Newnes Publication Date 出版日期 2006-04-01 Shipping Weight 商品重量 680g Language 语种 英语 Book Contents 内容简介 Embedded Systems; Modeling (including Finite Elements); Computer Science
¥959.00
【预订】Object-Oriented Systems Analysis and Design Using UML 美国库房发货，通常付款后3-5周到货！
¥1358
预订 Object-Oriented Software Engineering Using UML, Patterns, 预订，预计下单后3-4周左右发货！
¥1229
【预订】Agile Model-Based Development Using UML-RSDS 97803677828 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780367782856 Author 作者 Kevin Lano Format 版本 平装-胶订 Pages Number 页数 385页 Publisher 出版社 CRC Press Publication Date 出版日期 2021-03-31 Product Dimensions 商品尺寸 234x156mm Language 语种 其它（含多语） Book Contents 内容简介 This book describes the concepts and application of model-based development (MBD), model transformations, and Agile MBD to a wide range of software systems. It covers systems requirements engineering, system specification and design, verification, reuse, and system composition in the context of Agile MBD. Examples of applications in finance, sys
¥679.00
【预订】Database Design for Smarties: Using UML for Data 美国库房发货，通常付款后3-5周到货！
¥823.00
海外直订Database Design for Smarties: Using UML for Data Modelin
¥1148
预订 高被引Modeling and Verification Using UML Statecharts: A Wor 【全球购】进口原版图书，一般5-8周左右到国内后发出
¥864.00
按需印刷Industrial Communication Protocol Engineering using UML 预订，预计下单后2-3周左右发货！
¥814.00
3-6周达 高被引Modeling and Verification Using UML Statecharts: A 【全球购】进口原版图书，预计3-6周左右到国内后发出
¥866.00
海外直订Industrial Communication Protocol Engineering Using UML
¥599.00
按需印刷Object -Oriented Analysis and Design Using UML 预订，预计下单后2-3周左右发货！
¥926.00
海外直订Modeling Enterprise Architecture with Togaf: A Practical
¥738.00
3-6周达 Large-Scale Software Architecture - A Practical Guide 【全球购】进口原版图书，预计3-6周左右到国内
¥872.00
【预订】Object Oriented Analysis & Design Using UML 978938759358 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9789387593589 Author 作者 Venugopal Format 版本 精装 Pages Number 页数 369页 Publisher 出版社 CPS Publication Date 出版日期 2018-01-01 Language 语种 其它（含多语） Book Contents 内容简介 This book is intended for Graduate and Post-graduate students in Computer Science and Engineering, Information Technology for the purpose of Object Oriented System Analysis and Design. This book covers details of UML (Unified Modeling Language) which is used to model software intensive systems. Various models supported by UML are thoroughly discussed in this book with suitable examples. The book covers the things, relationships and diagrams supported by UML in a simple language. The book illustrates two case-studies such as the Unified Library Application and ATM system. Every element of system Analysis and Design by using UML are explained in detail with examples. This book wit
¥956.00
【预订】Model-Driven Testing: Using the UML Testing Profile 美国库房发货，通常付款后3-5周到货！
¥731.00
3-6周达 Model-Driven Testing: Using the UML Testing Profile [I 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥607.00
【3-6周达】高被引Model-Driven Testing: Using the UML Testing Profil 【全球购】进口原版图书，预计3-6周左右到国内
¥607.00
海外直订Model-Driven Testing: Using the UML Testing Profile 模型驱动
¥618.00
预订 Discrete Event Modeling and Simulation: With UML and Bpim 【全球购】进口原版图书，一般5-8周左右到国内后发出
¥488.00
【预订】Automated Validation & Verification of UML/OCL Models Us 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319728131 Author 作者 Przigoda Format 版本 精装 Pages Number 页数 255页 Publication Date 出版日期 2018-01-31 Shipping Weight 商品重量 567g Language 语种 英语 Book Contents 内容简介 This book provides a comprehensive discussion of UML/OCL methods and design flow, for automatic validation and verification of hardware and software systems. While the presented flow focuses on using satisfiability solvers, the authors also describe how these methods can be used for any other automatic reasoning engine.? Additionally, the design flow described is applied to a broad variety of validation and verification tasks. ?The authors also cover briefly how non-functional properties such as timing constraints can be handled with the described flow.?
¥1825
3-6周达 高被引Automated Validation & Verification of Uml/Ocl Mode 【全球购】进口原版图书，预计3-6周左右到国内
¥1514
3-6周达 Automated Validation & Verification of Uml/Ocl Models 【全球购】进口原版图书，预计3-6周左右到国内
¥1514
海外直订Automated Validation & Verification of Uml/Ocl Models Us
¥1550
海外直订Automated Validation & Verification of Uml/Ocl Models Us
¥1550
海外直订Using Operation-Based Multi-Queue SBC Process Algebra as
¥150.00
按需印刷Studyguide for Object Oriented Software Engineering Usin 预订，预计下单后2-3周左右发货！
¥406.00
