紀錄類型: |
書目-電子資源
: Monograph/item
|
正題名/作者: |
Agile-SOFL/ by Shaoying Liu. |
其他題名: |
agile formal engineering method / |
作者: |
Liu, Shaoying. |
出版者: |
Singapore :Springer Nature Singapore : : 2024., |
面頁冊數: |
xvii, 143 p. :ill., digital ;24 cm. |
內容註: |
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. |
Contained By: |
Springer Nature eBook |
標題: |
Agile software development. - |
電子資源: |
https://doi.org/10.1007/978-981-97-2285-3 |
ISBN: |
9789819722853 |