01476nam0 22003373i 450 VAN024349720220719090013.407N978303036408320220322d2020 |0itac50 baengCH|||| |||||Light Metals 2020editor Alan TomsettChamSpringer2020XXVIII, 1367 p.ill.24 cm001VAN01233082001 ˆThe ‰Minerals, Metals & Materials Series210 ChamSpringer2016-CHChamVANL001889546.3Metalli, composti metallici, leghe22620.11Materiali dell'ingegneria22620.1Scienze dei materiali22661Chimica organica applicata22TomsettAlanVANV198644Springer <editore>VANV108073650ITSOL20240614RICAhttps://rd.springer.com/book/10.1007/978-3-030-36408-3E-book - Accesso al full-text attraverso riconoscimento IP di Ateneo, proxy e/o ShibbolethBIBLIOTECA DEL DIPARTIMENTO DI SCIENZE E TECNOLOGIE AMBIENTALI BIOLOGICHE E FARMACEUTICHEIT-CE0101VAN17NVAN0243497BIBLIOTECA DEL DIPARTIMENTO DI SCIENZE E TECNOLOGIE AMBIENTALI BIOLOGICHE E FARMACEUTICHE17CONS e-book 2221 17BIB2221/35 35 20220322 Light Metals 20202513535UNICAMPANIA03163nam 22004815 450 991086524490332120251024105536.09789819722853(electronic bk.)978981972284610.1007/978-981-97-2285-3(MiAaPQ)EBC31458380(Au-PeEL)EBL31458380(CKB)32245832700041(DE-He213)978-981-97-2285-3(EXLCZ)993224583270004120240606d2024 u| 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierAgile-SOFL Agile Formal Engineering Method /by Shaoying Liu1st ed. 2024.Singapore :Springer Nature Singapore :Imprint: Springer,2024.1 online resource (154 pages)Print version: Liu, Shaoying Agile-SOFL Singapore : Springer Singapore Pte. Limited,c2024 9789819722846 Introduction -- 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.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. .Software engineeringSoftware EngineeringEnginyeria de programarithubLlibres electrònicsthubSoftware engineering.Software Engineering.Enginyeria de programari005.1Liu Shaoying1742754MiAaPQMiAaPQMiAaPQ9910865244903321Agile-SOFL4169441UNINA