Agile-SOFL Agile Formal Engineering Method » MIRLIB.RU - ТВОЯ БИБЛИОТЕКА
Регистрация
Дисфункция синусового узла: электрофизиологическая характеристика, классификация и диагностика Дисфункция синусового узла: электрофизиологическая характеристика, классификация и диагностика High Performance Python, 3rd Edition (Early Release) High Performance Python, 3rd Edition (Early Release) Sustainable Development Using Private AI: Security Models and Applications Sustainable Development Using Private AI: Security Models and Applications React in Depth (Final Release) React in Depth (Final Release) Data Science and Risk Analytics in Finance and Insurance Data Science and Risk Analytics in Finance and Insurance AI for Everyone: A Beginner's Handbook for Artificial Intelligence AI for Everyone: A Beginner's Handbook for Artificial Intelligence Artificial Intelligence: Machine Learning, Convolutional Neural Networks and Large Language Models Artificial Intelligence: Machine Learning, Convolutional Neural Networks and Large Language Models Writing a C Compiler: Build a Real Programming Language from Scratch (Final) Writing a C Compiler: Build a Real Programming Language from Scratch (Final) Black Hat Bash: Creative Scripting for Hackers and Pentesters (Final) Black Hat Bash: Creative Scripting for Hackers and Pentesters (Final) Системный подход к бизнесу. Профессиональный консалтинг своими руками Системный подход к бизнесу. Профессиональный консалтинг своими руками Python Coding for Beginners - 19th Edition, 2024 Python Coding for Beginners - 19th Edition, 2024 Data Science Fundamentals with R, Python, and Open Data Data Science Fundamentals with R, Python, and Open Data Bio-Inspired Optimization for Medical Data Mining Bio-Inspired Optimization for Medical Data Mining Прочитай і розфарбуй збірку казок для тебе Прочитай і розфарбуй збірку казок для тебе Deep Learning: A Practical Introduction Deep Learning: A Practical Introduction Deep Learning with PyTorch, Second Edition (MEAP v5) Deep Learning with PyTorch, Second Edition (MEAP v5)
Дисфункция синусового узла: электрофизиологическая характеристика, классификация и диагностика Дисфункция синусового узла: электрофизиологическая характеристика, классификация и диагностика High Performance Python, 3rd Edition (Early Release) High Performance Python, 3rd Edition (Early Release) Sustainable Development Using Private AI: Security Models and Applications Sustainable Development Using Private AI: Security Models and Applications React in Depth (Final Release) React in Depth (Final Release) Data Science and Risk Analytics in Finance and Insurance Data Science and Risk Analytics in Finance and Insurance AI for Everyone: A Beginner's Handbook for Artificial Intelligence AI for Everyone: A Beginner's Handbook for Artificial Intelligence Artificial Intelligence: Machine Learning, Convolutional Neural Networks and Large Language Models Artificial Intelligence: Machine Learning, Convolutional Neural Networks and Large Language Models Writing a C Compiler: Build a Real Programming Language from Scratch (Final) Writing a C Compiler: Build a Real Programming Language from Scratch (Final) Black Hat Bash: Creative Scripting for Hackers and Pentesters (Final) Black Hat Bash: Creative Scripting for Hackers and Pentesters (Final) Системный подход к бизнесу. Профессиональный консалтинг своими руками Системный подход к бизнесу. Профессиональный консалтинг своими руками Python Coding for Beginners - 19th Edition, 2024 Python Coding for Beginners - 19th Edition, 2024 Data Science Fundamentals with R, Python, and Open Data Data Science Fundamentals with R, Python, and Open Data Bio-Inspired Optimization for Medical Data Mining Bio-Inspired Optimization for Medical Data Mining Прочитай і розфарбуй збірку казок для тебе Прочитай і розфарбуй збірку казок для тебе Deep Learning: A Practical Introduction Deep Learning: A Practical Introduction Deep Learning with PyTorch, Second Edition (MEAP v5) Deep Learning with PyTorch, Second Edition (MEAP v5)
Категория: КНИГИ » ПРОГРАММИРОВАНИЕ
Agile-SOFL Agile Formal Engineering Method
Добавил: magnum / 10-06-2024, 22:49 /
Agile-SOFL Agile Formal Engineering MethodНазвание: Agile-SOFL Agile Formal Engineering Method
Автор: Shaoying Liu
Издательство: Springer
Год выхода: 2024
Страниц: 154
Формат: True PDF
Размер: 14,4 MB
Язык: английский

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

Overview

Presents Agile Formal Engineering Method
Is authored by a leading expert on the topic
Integrates formal methods into practical software engineering processes




[related-news]

Похожие публикации

    {related-news}
[/related-news]
Комментарии 0
Комментариев пока нет. Стань первым!