Foto 1 di 1
Galleria
Foto 1 di 1
Ne hai uno da vendere?
Synthesis Lectures on Software Engineering Ser.: Java Software Development with
US $14,95
CircaEUR 12,84
Condizione:
Nuovo
Libro nuovo, intatto e non letto, in perfette condizioni, senza pagine mancanti o danneggiate. Per maggiori dettagli, consulta l'inserzione del venditore.
- Compralo SubitoSynthesis Lectures on Software Engineering Ser.: Java Software Development with
Oops! Looks like we're having trouble connecting to our server.
Refresh your browser window to try again.
Spedizione:
Gratis USPS Media MailTM.
Oggetto che si trova a: Terre Haute, Indiana, Stati Uniti
Consegna:
Consegna prevista tra il lun 8 set e il sab 13 set a 94104
Restituzioni:
Restituzioni non accettate.
Pagamenti:
Fai shopping in tutta sicurezza
Il venditore si assume la piena responsabilità della messa in vendita dell'oggetto.
Numero oggetto eBay:155076754526
Specifiche dell'oggetto
- Condizione
- Subject Area
- Software Development
- ISBN
- 9781681736891
Informazioni su questo prodotto
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.
Descrizione dell'oggetto fatta dal venditore
Informazioni su questo venditore
fanabbathi
100% di Feedback positivi•520 oggetti venduti
Registrato come venditore privatoPertanto non si applicano i diritti dei consumatori derivanti dalla normativa europea. La Garanzia cliente eBay è comunque applicabile alla maggior parte degli acquisti. Scopri di piùScopri di più
Feedback sul venditore (586)
- s***a (2511)- Feedback lasciato dall'acquirente.Ultimi 6 mesiAcquisto verificatogreat cds at a great priceHELEN SJOHOLM : 2 CD Singles : SWEDISH : Du Maste Finnas, Hemma (N° 154447724343)
- f***l (264)- Feedback lasciato dall'acquirente.Più di un anno faAcquisto verificatoItem as described, fast shipping, and great communication. Awesome seller!Bhalji Pendharkar Set of 7 DVD s Movies Classic Collection Marathi Language (N° 154296829569)
- h***e- Feedback lasciato dall'acquirente.Più di un anno faAcquisto verificatoAs described, packaged well and shipped fast. Thank you! Great seller.The Science of Yoga (book by I.K.Taimni) (N° 154260518507)