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...
Enregistré dans:
| Auteur principal: | |
|---|---|
| Collectivité auteur: | |
| Format: | Électronique eBook |
| Langue: | anglais |
| Publié: |
Singapore :
Springer Nature Singapore : Imprint: Springer,
2024.
|
| Édition: | 1st ed. 2024. |
| Sujets: | |
| Accès en ligne: | https://doi.org/10.1007/978-981-97-2285-3 |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
Table des matières:
- 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.