Practical Formal Software Engineering: Wanting the Software You Get

Mills, Bruce

  • 出版商: Cambridge
  • 出版日期: 2019-12-19
  • 售價: $1,750
  • 貴賓價: 9.5$1,663
  • 語言: 英文
  • 頁數: 376
  • 裝訂: Quality Paper - also called trade paper
  • ISBN: 1108818641
  • ISBN-13: 9781108818643
  • 相關分類: 軟體工程
  • 立即出貨 (庫存 < 3)

買這商品的人也買了...

商品描述

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 MillsUniversity 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. 安全性。