第 1/1 張圖片
圖片庫
第 1/1 張圖片
有類似物品要出售？
Synthesis Lectures on Software Engineering Ser.: Java Software Development with
fanabbathi
（2493）
US $14.95
大約HK$ 116.54
狀況：
全新
全新，未閱讀過和使用過的書籍，狀況完好，不存在缺頁或內頁受損。
Oops! Looks like we're having trouble connecting to our server.
Refresh your browser window to try again.
運送：
免費 USPS Media MailTM.
所在地：Terre Haute, Indiana, 美國
送達日期：
估計於 9月6日 (星期六)至 9月12日 (星期五)之間送達 運送地點 94104
退貨：
不可退貨.
保障：
請參閱物品說明或聯絡賣家以取得詳細資料。閱覽全部詳情查看保障詳情
（不符合「eBay 買家保障方案」資格）
賣家必須承擔此刊登物品的所有責任。
eBay 物品編號：155076754526
物品細節
- 物品狀況
- 全新: 全新，未閱讀過和使用過的書籍，狀況完好，不存在缺頁或內頁受損。 查看所有物品狀況定義會在新視窗或分頁中開啟
- Subject Area
- Software Development
- ISBN
- 9781681736891
關於產品
Product Identifiers
Publisher
Morgan & Claypool Publishers
ISBN-10
1681736896
ISBN-13
9781681736891
eBay Product ID (ePID)
3050393321
Product Key Features
Number of Pages
99 Pages
Publication Name
Java Software Development with Event B : a Practical Guide
Language
English
Subject
Software Development & Engineering / General, Programming Languages / Java, Computer Science
Publication Year
2020
Type
Textbook
Subject Area
Computers
Series
Synthesis Lectures on Software Engineering Ser.
Format
Hardcover
Dimensions
Item Height
0.3 in
Item Weight
13.8 Oz
Item Length
9.2 in
Item Width
7.5 in
Additional Product Features
Intended Audience
Scholarly & Professional
Grade From
College Junior
Grade To
College Graduate Student
Table Of Content
Introduction An Overview of Event B Software Development of a Chat System with Event B The Poporo Social Network Conclusion Bibliography Author's Biography
Synopsis
The cost of fixing software design flaws after the completion of a software product is so high that it is vital to come up with ways to detect software design flaws in the early stages of software development, for instance, during the software requirements, the analysis activity, or during software design, before coding starts. It is not uncommon that software requirements are ambiguous or contradict each other. Ambiguity is exacerbated by the fact that software requirements are typically written in a natural language, which is not tied to any formal semantics. A palliative to the ambiguity of software requirements is to restrict their syntax to boilerplates, textual templates with placeholders. However, as informal requirements do not enjoy any particular semantics, no essential properties about them (or about the system they attempt to describe) can be proven easily. Formal methods are an alternative to address this problem. They offer a range of mathematical techniques and mathematical tools to validate software requirements in the early stages of software development. This book is a living proof of the use of formal methods to develop software. The particular formalisms that we use are EVENT B and refinement calculus. In short: (i) software requirements as written as User Stories; (ii) they are ported to formal specifications; (iii) they are refined as desired; (iv) they are implemented in the form of a prototype; and finally (v) they are tested for inconsistencies. If some unit-test fails, then informal as well as formal specifications of the software system are revisited and evolved. This book presents a case study of software development of a chat system with EVENT B and a case study of formal proof of properties of a social network., Formal methods offer a range of mathematical techniques and mathematical tools to validate software requirements in the early stages of software development. This book is a living proof of the use of formal methods to develop software. The particular formalisms used are EVENT B and refinement calculus.
賣家提供的物品說明
賣家信用評價 （586）
- 3***- (3357)- 買家留下的信用評價。過去 1 個月購買已獲認證🌞
- s***a (2511)- 買家留下的信用評價。過去 6 個月購買已獲認證great cds at a great priceHELEN SJOHOLM : 2 CD Singles : SWEDISH : Du Maste Finnas, Hemma（#154447724343）
- i***9 (109)- 買家留下的信用評價。超過 1 年前購買已獲認證GreatData Analytics : Models and Algorithms for Intelligent Data Analysis by Runkler（#154794128041）