買這商品的人也買了...
-
$2,280Working Effectively with Legacy Code (Paperback) -
Spring in Action, 4/e (Paperback)$1,860$1,767 -
Getting Started with Bluetooth Low Energy: Tools and Techniques for Low-Power Networking (Paperback)$1,520$1,440 -
Arduino 官方正版 Genuino 101$1,700$1,700 -
Raspberry Pi 3 Model B+ (UK製)$4,620$4,389 -
JVM Performance Engineering: Inside OpenJDK and the HotSpot Java Virtual Machine (Paperback)$1,980$1,881 -
Intro to Bluetooth Low Energy: The Easiest Way to Learn Ble (Paperback)$1,230$1,169 -
晉昇軟體最高殿堂：Jenkins2 持續整合大師之路$600$474 -
Deep Learning with JavaScript: Neural Networks in Tensorflow.Js$1,650$1,568 -
JavaScript 技術手冊$560$420 -
Building a Future-Proof Cloud Infrastructure: A Unified Architecture for Network, Security and Storage Services (Paperback)$2,010$1,910 -
Microservices Security in Action$1,980$1,881 -
Java SE 14 技術手冊$680$537 -
區塊鏈生存指南：帶你用 Python 寫出區塊鏈！（iT邦幫忙鐵人賽系列書）$520$406 -
Parallel and High Performance Computing (Paperback)$2,450$2,328 -
$1,663Continuous Architecture in Practice: Software Architecture in the Age of Agility and Devops (Paperback) -
$1,368Domain Storytelling: A Collaborative, Visual, and Agile Way to Build Domain-Driven Software (Paperback) -
$2,070Multithreaded JavaScript: Concurrency Beyond the Event Loop -
$2,475Software Architecture: The Hard Parts: Modern Trade-Off Analyses for Distributed Architectures (Paperback) -
Structure and Interpretation of Computer Programs: JavaScript Edition (Paperback)$2,625$2,573 -
$2,052Mastering API Architecture: Design, Operate, and Evolve Api-Based Systems (Paperback) -
Functional and Concurrent Programming: Core Concepts and Features$2,160$2,052 -
$1,758Functional Design: Principles, Patterns, and Practices (Paperback) -
OpenTelemetry 入門指南：建立全面可觀測性架構（iThome鐵人賽系列書）【軟精裝】$750$585 -
Learning Systems Thinking: Essential Nonlinear Skills and Practices for Software Professionals (Paperback)$2,043$1,935
相關主題
商品描述
Based around a theme of the construction of a game engine, this textbook is for final year undergraduate and graduate students, emphasising formal methods in writing robust code quickly. This book takes an unusual, engineering-inspired approach to illuminate the creation and verification of large software systems. Where other textbooks discuss business practices through generic project management techniques or detailed rigid logic systems, this book examines the interaction between code in a physical machine and the logic applied in creating the software. These elements create an informal and rigorous study of logic, algebra, and geometry through software. Assuming prior experience with C, C++, or Java programming languages, chapters introduce UML, OCL, and Z from scratch. Extensive worked examples motivate readers to learn the languages through the technical side of software science.
- Takes readers through the creation of a complete software package based around a theme of the construction of a game engine
- Teaches software engineering as engineering, rather than mathematics or business
- Illustrates extensive worked examples with 1000 lines of code
商品描述(中文翻譯)
本教科書以遊戲引擎的建構為主題，針對大學畢業生和研究生，強調在快速撰寫堅固程式碼時的正式方法。本書以一種不尋常的、受工程啟發的方式來闡明大型軟體系統的創建和驗證。其他教科書可能會透過一般的專案管理技巧或詳細的嚴謹邏輯系統來討論業務實踐，而本書則探討了在創建軟體時程式碼在實體機器中的交互作用以及應用的邏輯。這些元素通過軟體來進行了一個非正式且嚴謹的邏輯、代數和幾何學研究。假設讀者具有C、C++或Java編程語言的先前經驗，各章節從頭開始介紹了UML、OCL和Z。大量的實例激勵讀者通過軟體科學的技術面學習這些語言。
- 引導讀者完成一個完整的軟體封包的創建，以遊戲引擎的建構為主題
- 將軟體工程視為工程，而非數學或商業
- 通過1000行程式碼的大量實例進行說明
作者簡介
Bruce Mills, University of Western Australia, Perth
Bruce Mills holds a Ph.D. in computer science and mathematics from the University of Western Australia, Perth. He has twenty years of experience in the industrial electronics and software fields, and as a lecturer in his native country, Wales, and the Middle East. Dr Mills is the author of Theoretical Introduction to Programming (2010).
作者簡介(中文翻譯)
Bruce Mills，西澳大學（University of Western Australia）的計算機科學和數學博士，位於珀斯（Perth）。他在工業電子和軟體領域擁有二十年的經驗，並在他的祖國威爾斯（Wales）和中東擔任講師。Mills博士是《Theoretical Introduction to Programming》（2010年）的作者。
目錄大綱
Part I. Fundamentals:
1. Arithmetic
2. Logic
3. Algebra
4. Diagrams
Part II. Language:
5. UML
6. OCL
7. Z
8. Logic
9. Java
Part III. Practice:
10. Implementation
11. State transformation
12. Plain text
13. Natural language
14. Digital geometry
15. Building dungeons
16. Multiple threads
17. Security.
目錄大綱(中文翻譯)
第一部分. 基礎知識:
1. 算術
2. 邏輯
3. 代數
4. 圖表
第二部分. 語言:
5. UML
6. OCL
7. Z
8. 邏輯
9. Java
第三部分. 實踐:
10. 實作
11. 狀態轉換
12. 純文字
13. 自然語言
14. 數位幾何
15. 建造地下城
16. 多執行緒
17. 安全性。
