Agile-Sofl: Agile Formal Engineering Method
暫譯: 敏捷軟體：敏捷正式工程方法
Liu, Shaoying
- 出版商: Springer
- 出版日期: 2024-06-06
- 售價: $6,600
- 貴賓價: 9.5 折 $6,270
- 語言: 英文
- 頁數: 143
- 裝訂: Hardcover - also called cloth, retail trade, or trade
- ISBN: 9819722845
- ISBN-13: 9789819722846
-
相關分類:
Agile Software
海外代購書籍(需單獨結帳)
商品描述
This book describes a specific solution, known as Agile-SOFL, for bridging agile and formal engineering and discusses its benefits for realistic software projects. In this book, the author argues that formal engineering methods and agile approaches are complementary in ensuring high productivity while enhancing reliability. Agile-SOFL offers a highly practical and systematic method that strikes a good balance of efforts for enhancing both software productivity and reliability. Specifically, Agile-SOFL is characterized by five features: (1) systematic approach to constructing hybrid specifications for requirements-related faults prevention, (2) specification-based incremental programming for quality implementation, (3) specification-based inspection and testing for system validation, (4) automatic testing-based formal verification for the correctness of code, and (5) effective project management for high effectiveness and efficiency in applying Agile-SOFL.
The objective of this book is to help readers learn the latest effective Agile development concepts and techniques and to take them to the point where they can easily apply Agile-SOFL to develop their own software systems with a high productivity and reliability. The reader can also considerably benefit from this book by learning many newly developed concepts and principles in fault prevention, fault detection, verification of code correctness, and efficient project management.
商品描述(中文翻譯)
本書描述了一種特定的解決方案，稱為 Agile-SOFL，用於橋接敏捷與正式工程，並討論其對現實軟體專案的好處。在本書中，作者主張正式工程方法與敏捷方法是互補的，能夠在提高生產力的同時增強可靠性。Agile-SOFL 提供了一種高度實用且系統化的方法，能夠在提升軟體生產力和可靠性之間取得良好的平衡。具體而言，Agile-SOFL 具有五個特徵：(1) 系統化的方法來構建混合規範，以預防與需求相關的缺陷，(2) 基於規範的增量編程以實現質量，(3) 基於規範的檢查和測試以進行系統驗證，(4) 基於自動測試的正式驗證以確保程式碼的正確性，以及 (5) 有效的專案管理，以在應用 Agile-SOFL 時達到高效能和效率。
本書的目標是幫助讀者學習最新的有效敏捷開發概念和技術，並使他們能夠輕鬆地應用 Agile-SOFL 來開發自己的軟體系統，實現高生產力和可靠性。讀者還可以通過學習許多新開發的概念和原則，在缺陷預防、缺陷檢測、程式碼正確性驗證以及高效專案管理方面獲得顯著的收益。
作者簡介
Shaoying Liu is a professor at Hiroshima University, Japan, an IEEE fellow, BCS Fellow, AAIA fellow, and a pioneer in Formal Engineering Methods. He received a Ph.D. at the University of Manchester, UK, in 1992 and has experienced working at nine universities in China, the UK, and Japan, respectively. He developed the SOFL Formal Engineering Method and the techniques for specification-based program inspection, testing-based formal verification, and human-machine pair programming. He received 2022 and 2020 "Distinguished Research Awards" from IPSJ/SIGSE, the "20 Year ICFEM Impact Award" from ICFEM 2018, "IEEE Reliability Society Japan Joint Chapter 2016 Best Paper Award," and "Outstanding Paper Award'' from ICECCS'96. He has served as an associate editor for IEEE Transactions on Reliability, Software Testing, Verification and Reliability (STVR), and Innovations in Systems and Software Engineering, respectively.
作者簡介(中文翻譯)
邵英劉是日本廣島大學的教授，IEEE 會士，BCS 會士，AAIA 會士，以及形式工程方法的先驅。他於1992年在英國曼徹斯特大學獲得博士學位，並曾在中國、英國和日本的九所大學工作。他開發了SOFL形式工程方法，以及基於規範的程式檢查、基於測試的形式驗證和人機配對程式設計的技術。他曾獲得IPSJ/SIGSE的2022年和2020年「傑出研究獎」，2018年ICFEM的「20年ICFEM影響獎」，2016年IEEE可靠性學會日本聯合分會的「最佳論文獎」，以及1996年ICECCS的「傑出論文獎」。他曾擔任《IEEE可靠性期刊》、《軟體測試、驗證與可靠性（STVR）》和《系統與軟體工程創新》的副編輯。
