Bild 1 von 1
Galerie
Bild 1 von 1
Ähnlichen Artikel verkaufen?
Synthesevorles
US $14,95
Ca.CHF 11,97
Artikelzustand:
Neu
Neues, ungelesenes, ungebrauchtes Buch in makellosem Zustand ohne fehlende oder beschädigte Seiten. Genauere Einzelheiten entnehmen Sie bitte dem Angebot des Verkäufers.
- Sofort-KaufenSynthesevorlesungen über Software Engineering Ser.: Java Softwareentwicklung mit
Oops! Looks like we're having trouble connecting to our server.
Refresh your browser window to try again.
Versand:
Kostenlos USPS Media MailTM.
Standort: Terre Haute, Indiana, USA
Lieferung:
Lieferung zwischen Sa, 6. Sep und Fr, 12. Sep nach 94104 bei heutigem Zahlungseingang
Rücknahme:
Keine Rücknahme.
Zahlungen:
Sicher einkaufen
Der Verkäufer ist für dieses Angebot verantwortlich.
eBay-Artikelnr.:155076754526
Artikelmerkmale
- Artikelzustand
- Subject Area
- Software Development
- ISBN
- 9781681736891
Über dieses Produkt
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.
Artikelbeschreibung des Verkäufers
Info zu diesem Verkäufer
fanabbathi
100% positive Bewertungen•520 Artikel verkauft
Angemeldet als privater VerkäuferDaher finden verbraucherschützende Vorschriften, die sich aus dem EU-Verbraucherrecht ergeben, keine Anwendung. Der eBay-Käuferschutz gilt dennoch für die meisten Käufe.
Verkäuferbewertungen (586)
- 3***- (3357)- Bewertung vom Käufer.Letzter MonatBestätigter Kauf🌞
- s***a (2511)- Bewertung vom Käufer.Letzte 6 MonateBestätigter Kaufgreat cds at a great priceHELEN SJOHOLM : 2 CD Singles : SWEDISH : Du Maste Finnas, Hemma (Nr. 154447724343)
- i***9 (109)- Bewertung vom Käufer.Vor über einem JahrBestätigter KaufGreatData Analytics : Models and Algorithms for Intelligent Data Analysis by Runkler (Nr. 154794128041)