LEADER 03163nam 22004815 450 001 9910865244903321 005 20251024105536.0 010 $a9789819722853$b(electronic bk.) 010 $z9789819722846 024 7 $a10.1007/978-981-97-2285-3 035 $a(MiAaPQ)EBC31458380 035 $a(Au-PeEL)EBL31458380 035 $a(CKB)32245832700041 035 $a(DE-He213)978-981-97-2285-3 035 $a(EXLCZ)9932245832700041 100 $a20240606d2024 u| 0 101 0 $aeng 135 $aurcnu|||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aAgile-SOFL $eAgile Formal Engineering Method /$fby Shaoying Liu 205 $a1st ed. 2024. 210 1$aSingapore :$cSpringer Nature Singapore :$cImprint: Springer,$d2024. 215 $a1 online resource (154 pages) 311 08$aPrint version: Liu, Shaoying Agile-SOFL Singapore : Springer Singapore Pte. Limited,c2024 9789819722846 327 $aIntroduction -- SOFL -- Three-step hybrid specification -- Specification-based implementation -- Specification based Inspection -- Testing Based Formal Verification -- Case Study 1 ATM system -- Case Study 2 SUIC card system. 330 $aThis 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. . 606 $aSoftware engineering 606 $aSoftware Engineering 606 $aEnginyeria de programari$2thub 608 $aLlibres electrònics$2thub 615 0$aSoftware engineering. 615 14$aSoftware Engineering. 615 7$aEnginyeria de programari 676 $a005.1 700 $aLiu$b Shaoying$01742754 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 912 $a9910865244903321 996 $aAgile-SOFL$94169441 997 $aUNINA