Agile-Sofl: Agile Formal Engineering Method

Liu, Shaoying

Agile-Sofl: Agile Formal Engineering Method
  • 出版商: Springer
  • 出版日期: 2024-06-06
  • 售價: $6,480
  • 貴賓價: 9.5 折 $6,156
  • 語言: 英文
  • 頁數: 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 可靠性學會日本聯合分會的「最佳論文獎」，以及 ICECCS'96 的「傑出論文獎」。他曾擔任《IEEE 可靠性期刊》、《軟體測試、驗證與可靠性 (STVR)》及《系統與軟體工程創新》的副編輯。

類似商品