02088nas# 22003253i 450 VAN024120420220223083603.3132280-185520220222a2012 |0itac50 baengIT|||| |||||aF|||||||||Plant sociologyjournal of the Italian society for vegetation scienceeditor in chief Edoardo BiondiVol. 49, n. 1 (Giugno 2012)-PaviaSocietà italiana di scienza della vegetazione2012-volumiill.30 cmSemestrale001VAN02410732001 Fitosociologiaeditor E. Biondi210 PaviaSocietà italiana di fitosociologia, poi Società italiana di scienza della vegetazione1990-2011215 volumiill.30 cm300 Annuale, poi semestralePaviaVANL000064580Botanica22BiondiEdoardoVANV013065Società italiana della vegetazione <editore>VANV197352650ITSOL20240419RICAhttp://www.scienzadellavegetazione.it/sisv/rivista/rivista_elenco.jspFree AccessBIBLIOTECA DEL DIPARTIMENTO DI SCIENZE E TECNOLOGIE AMBIENTALI BIOLOGICHE E FARMACEUTICHEIT-CE0101VAN172012-2017; lac. 2017;E13/2 ;VAN0241204BIBLIOTECA DEL DIPARTIMENTO DI SCIENZE E TECNOLOGIE AMBIENTALI BIOLOGICHE E FARMACEUTICHE172012-2017; lac. 2017;17CONS E13/2 2012 17OM 2855 49 20220222 17CONS E13/2 2013 17OM 2856 50 20220222 17CONS E13/2 2014 17OM 2857 51 20220222 17CONS E13/2 2015 17OM 2858 52 20220222 17CONS E13/2 2016 17OM 2859 53 20220222 17CONS E13/2 2017 17OM 2860 54 20220222 Plant sociology2280196UNICAMPANIA03163nam 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