Agile-SOFL Agile Formal Engineering Method /
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 whi...
Saved in:
| Main Author: | |
|---|---|
| Corporate Author: | |
| Format: | Electronic eBook |
| Language: | English |
| Published: |
Singapore :
Springer Nature Singapore : Imprint: Springer,
2024.
|
| Edition: | 1st ed. 2024. |
| Subjects: | |
| Online Access: | https://doi.org/10.1007/978-981-97-2285-3 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
MARC
| LEADER | 00000nam a22000005i 4500 | ||
|---|---|---|---|
| 001 | 978-981-97-2285-3 | ||
| 003 | DE-He213 | ||
| 005 | 20250807145410.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 240606s2024 si | s |||| 0|eng d | ||
| 020 | |a 9789819722853 |9 978-981-97-2285-3 | ||
| 024 | 7 | |a 10.1007/978-981-97-2285-3 |2 doi | |
| 050 | 4 | |a QA76.758 | |
| 072 | 7 | |a UMZ |2 bicssc | |
| 072 | 7 | |a COM051230 |2 bisacsh | |
| 072 | 7 | |a UMZ |2 thema | |
| 082 | 0 | 4 | |a 005.1 |2 23 |
| 100 | 1 | |a Liu, Shaoying. |e author. |4 aut |4 http://id.loc.gov/vocabulary/relators/aut | |
| 245 | 1 | 0 | |a Agile-SOFL |h [electronic resource] : |b Agile Formal Engineering Method / |c by Shaoying Liu. |
| 250 | |a 1st ed. 2024. | ||
| 264 | 1 | |a Singapore : |b Springer Nature Singapore : |b Imprint: Springer, |c 2024. | |
| 300 | |a XVII, 143 p. 17 illus., 5 illus. in color. |b online resource. | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 341 | 0 | |b Table of contents navigation |2 onix | |
| 341 | 0 | |b Single logical reading order |2 onix | |
| 341 | 0 | |b Short alternative textual descriptions |2 onix | |
| 341 | 0 | |b Use of color is not sole means of conveying information |2 onix | |
| 341 | 0 | |b Use of high contrast between text and background color |2 onix | |
| 341 | 0 | |b Next / Previous structural navigation |2 onix | |
| 341 | 0 | |b All non-decorative content supports reading without sight |2 onix | |
| 347 | |a text file |b PDF |2 rda | ||
| 505 | 0 | |a 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. | |
| 520 | |a 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. . | ||
| 532 | 8 | |a Accessibility summary: This PDF does not fully comply with PDF/UA standards, but does feature limited screen reader support, described non-text content (images, graphs), bookmarks for easy navigation and searchable, selectable text. Users of assistive technologies may experience difficulty navigating or interpreting content in this document. We recognize the importance of accessibility, and we welcome queries about accessibility for any of our products. If you have a question or an access need, please get in touch with us at accessibilitysupport@springernature.com. | |
| 532 | 8 | |a No reading system accessibility options actively disabled | |
| 532 | 8 | |a Publisher contact for further accessibility information: accessibilitysupport@springernature.com | |
| 650 | 0 | |a Software engineering. | |
| 650 | 1 | 4 | |a Software Engineering. |
| 710 | 2 | |a SpringerLink (Online service) | |
| 773 | 0 | |t Springer Nature eBook | |
| 776 | 0 | 8 | |i Printed edition: |z 9789819722846 |
| 776 | 0 | 8 | |i Printed edition: |z 9789819722860 |
| 776 | 0 | 8 | |i Printed edition: |z 9789819722877 |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-981-97-2285-3 |
| 912 | |a ZDB-2-SCS | ||
| 912 | |a ZDB-2-SXCS | ||
| 950 | |a Computer Science (SpringerNature-11645) | ||
| 950 | |a Computer Science (R0) (SpringerNature-43710) | ||