Software Specification Methods pdf epub mobi txt 電子書下載2026

簡體網頁||繁體網頁

☆☆☆☆☆

出版者:Springer Verlag

作者:Frappier, Marc (EDT)/ Habrias, Henri/ Frappier, Marc/ Habrias, Henri (EDT)

出品人:

頁數:282

译者:

出版時間:

價格:$ 79.04

裝幀:Pap

isbn號碼:9781852333539

叢書系列:

圖書標籤:

軟件工程
軟件規格說明
需求工程
形式化方法
軟件設計
軟件開發
軟件質量
軟件測試
計算機科學
軟件建模

下載連結在頁面底部

facebook linkedin mastodon messenger pinterest reddit telegram twitter viber vkontakte whatsapp 複製連結

想要找書就要到本本書屋

onlinetoolsland.com

立刻按 ctrl+D收藏本頁

你會得到大驚喜!!

具體描述

This volume provides the formal methods practitioner with a survey of the key software specification methods. Each technique is demonstrated using the same case study - an invoicing system - to enable the reader to compare and contrast easily. Among the techniques covered are: UML, Z, SAZ, B, JSD, OMT, VHDL, Estelle, SDL and LOTOS.Most specification courses tend to focus on 1 or 2 key techniques and to have a theoretical bias; this book provides a basic overview of the main methods, and has a practical focus that allows the reader to apply their knowledge to real-life situations. It will prove essential reading for all industrial and commercial practitioners who need to expand their knowledge of software specification methods.