Design Methods for Reactive Systems: Yourdon, Statemate, and the UML
R. J. Wieringa
- 出版商: Morgan Kaufmann
- 出版日期: 2003-01-10
- 售價: $1,080
- 貴賓價: 9.5 折 $1,026
- 語言: 英文
- 頁數: 500
- 裝訂: Hardcover
- ISBN: 1558607552
- ISBN-13: 9781558607552
-
相關分類:
UML
下單後立即進貨 (約5~7天)
買這商品的人也買了...
-
$580$464Visual C++ 6 教學手冊 (Beginning Visual C++ 6)
-
$600$510ASP.NET 網頁製作教本─從基本語法學起
-
$880$695LPI Linux 資格檢定 (LPI Linux Certification in a Nutshell)
-
$450$351JavaScript 範例活用辭典
-
$650$553Red Hat Linux 9 實務應用
-
$590$502ASP.NET 程式設計徹底研究
-
$600$540ARM 原理與實作─以網路 SoC 為例
-
$690$538STRUTS 實作手冊(Struts in Action: Building Web Applications with the Leading Java Framework)
-
$590$502XOOPS2 網站架設與管理
-
$990$842Windows 程式設計 (Programming Windows, 5/e)
-
$560$476鳥哥的 Linux 私房菜─基礎學習篇增訂版
-
$420$328軟體工程實務:系統分析、設計與測試 (Software Engineering in Practical)
-
$850$723SCJP‧SCJD 專業認證指南 (Sun Certified Programmer & Developer for Java 2 #310-305 與310-027)
-
$480$379人月神話:軟體專案管理之道 (20 週年紀念版)(The Mythical Man-Month: Essays on Software Engineering, Anniversary Edition, 2/e)
-
$750$600JSP 2.0 技術手冊
-
$780$616建構嵌入式 Linux 系統
-
$580$493Exchange Server 2003 管理實務
-
$580$493Linux 網路管理實務: 調校、帳號、監控、安全
-
$520$442MySQL 參考手冊
-
$590$460JSP 與 Servlet 500 個應用範例技巧大全集
-
$680$544密碼學與網路安全-原理與實務 (Cryptography and Network Security: Principles and Practices, 3/e)
-
$480$408資料結構教學範本─使用 C++
-
$760$646嵌入式系統導論, 3/e
-
$520$442Java Web Services 實務程式設計
-
$3,300$3,135Knowledge Representation and Reasoning
商品描述
Design Methods for Reactive Systems
describes methods and techniques for the design of software
systems--particularly reactive software systems that engage in stimulus-response
behavior. Such systems, which include information systems, workflow management
systems, systems for e-commerce, production control systems, and embedded
software, increasingly embody design aspects previously considered alone--such
as complex information processing, non-trivial behavior, and communication
between different components--aspects traditionally treated separately by
classic software design methodologies. But, as this book illustrates, the
software designer is better served by the ability to intelligently pick and
choose from among a variety of techniques according to the particular demands
and properties of the system under development.
Design
Methods for Reactive Systems helps the software designer meet today's
increasingly complex challenges by bringing together specification techniques
and guidelines proven useful in the design of a wide range of software systems,
allowing the designer to evaluate and adapt different techniques for different
projects. Written in an exceptionally clear and insightful style, Design Methods
for Reactive Systems is a book that students, engineers, teachers, and
researchers will undoubtedly find of great value.
Foreword. Preface. PART I Reactive System Design: Reactive Systems; The Environment; Stimulus-Response Behavior; Software Specifications. PART II Function Notations: Mission Statement; Function Refinement Tree; Service Description. PART III Entity Notations: Entity-Relationship Diagrams; ERD Modeling Guidelines; The Dictionary. PART IV Behavior Notations State Transition Lists and Tables; State Transition Diagrams; Behavioral Semantics; Behavior Modeling and Design Guidelines. PART V Communication Notations: Data Flow Diagrams; Communication Diagrams; Communication Semantics; Context Modeling Guidelines; Requirements-Level Decomposition Guidelines. PART VI Software Specification Methods: Postmodern Structured Analysis (PSA); Statemate; The Unified Modeling Language (UML); Not Yet Another Method (NYAM). Appendices: Training Information System; An Electronic Ticket System; A Heating Control System; An Elevator Control System; Answers to Selected Exercises; Glossary; Bibliographic Remarks; Bibliography; Index. Online Materials (www.mkp.com/dmrs/): (continued) Answers to Selected Exercises (pass protected); A Controller for a Compact Dynamic Bus Station; A Cruise Control System; A Logistics Information System; Slides for Teachers; Handout of the Slides; Notes for Teachers.