Articles liés à Agile-sofl: Agile Formal Engineering Method
Synopsis
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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
À propos de l?auteur
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.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
- ÉditeurSpringer Nature
- Date d'édition2024
- ISBN 10 9819722845
- ISBN 13 9789819722846
- ReliureRelié
- Langueanglais
- Nombre de pages143
- Coordonnées du fabricantnon disponible
Acheter neuf
Afficher cet article
EUR 149,85
EUR 9,70 expédition depuis Allemagne vers France
Destinations, frais et délaisRésultats de recherche pour Agile-sofl: Agile Formal Engineering Method
Image fournie par le vendeur
Agile-SOFL
Edité par
Springer, Berlin|Springer Nature Singapore|Springer, 2024
ISBN 10 : 9819722845
ISBN 13 : 9789819722846
Neuf
Couverture rigide
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 c. N° de réf. du vendeur 1462977403
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Agile-SOFL
Edité par
Springer Nature Singapore, Springer Nature Singapore Jun 2024, 2024
ISBN 10 : 9819722845
ISBN 13 : 9789819722846
Neuf
Couverture rigide
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Buch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 164 pp. Englisch. N° de réf. du vendeur 9789819722846
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Agile-SOFL : Agile Formal Engineering Method
Edité par
Springer Nature Singapore, Springer Nature Singapore, 2024
ISBN 10 : 9819722845
ISBN 13 : 9789819722846
Neuf
Couverture rigide
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Buch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - 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. N° de réf. du vendeur 9789819722846
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Agile-SOFL
Edité par
Springer Nature Singapore, Springer Nature Singapore Jun 2024, 2024
ISBN 10 : 9819722845
ISBN 13 : 9789819722846
Neuf
Couverture rigide
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Buch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 164 pp. Englisch. N° de réf. du vendeur 9789819722846
Quantité disponible : 1 disponible(s)
Image d'archives
Agile-sofl : Agile Formal Engineering Method
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 48008227-n
Quantité disponible : 1 disponible(s)
Image d'archives
Agile-sofl : Agile Formal Engineering Method
Edité par
Springer, 2024
ISBN 10 : 9819722845
ISBN 13 : 9789819722846
Ancien ou d'occasion
Couverture rigide
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 48008227
Quantité disponible : 1 disponible(s)
Image d'archives
Agile-sofl: Agile Formal Engineering Method
Edité par
Springer-Nature New York Inc, 2024
ISBN 10 : 9819722845
ISBN 13 : 9789819722846
Neuf
Couverture rigide
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : Brand New. 160 pages. 9.25x6.10x9.33 inches. In Stock. N° de réf. du vendeur x-9819722845
Quantité disponible : 1 disponible(s)
Image d'archives
Agile-SOFL (Hardcover)
Edité par
Springer Verlag, Singapore, 2024
ISBN 10 : 9819722845
ISBN 13 : 9789819722846
Neuf
Couverture rigide
Vendeur : Grand Eagle Retail, Fairfield, OH, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Hardcover. Etat : new. Hardcover. 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. N° de réf. du vendeur 9789819722846
Quantité disponible : 1 disponible(s)