Volver a la portada
|En la categoría:

Imagen 1 de 1

Synthesis Lectures on Software Engineering Ser.: Java Software Development with - Imagen 1 de 1
¿Quieres vender uno?
Véndelo tú mismo

Synthesis Lectures on Software Engineering Ser.: Java Software Development with

fanabbathi
(2493)
Registrado como vendedor particular
Por tanto, no se aplican las normas de protección de los consumidores derivadas de la legislación de la UE en materia de consumidores. La Garantía al cliente de eBay sigue aplicando a la mayoría de compras. Más información
Otros artículos del vendedor
Contactar con el vendedor
USD14,95
Aproximadamente12,77 EUR
Estado:
Nuevo
Envío:
Gratis USPS Media MailTM.
Ubicado en: Terre Haute, Indiana, Estados Unidos
Entrega:
Entrega prevista entre el sáb. 6 sep. y el vie. 12 sep. a 94104
Calculamos el plazo de entrega con un método patentado que combina diversos factores, como la proximidad del comprador a la ubicación del artículo, el servicio de envío seleccionado, el historial de envíos del vendedor y otros datos. Los plazos de entrega pueden variar, especialmente en épocas de mucha actividad.
Devoluciones:
No se aceptan devoluciones.
Pagos:
    Diners Club

Compra con confianza

Garantía al cliente de eBay
Si no recibes el artículo que has pedido, te devolvemos el dinero. Más informaciónGarantía al cliente de eBay - se abre en una nueva ventana o pestaña
El vendedor asume toda la responsabilidad de este anuncio.
N.º de artículo de eBay:155076754526

Características del artículo

Estado
Nuevo: Libro nuevo, sin usar y sin leer, que está en perfecto estado; incluye todas las páginas sin ...
Subject Area
Software Development
ISBN
9781681736891

Acerca de este producto

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
Author
Néstor Cataño Collazos, Luciano Baresi
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.

Descripción del artículo del vendedor

Acerca de este vendedor

fanabbathi

100% de votos positivos•520 artículos vendidos

Se unió el oct 1999
Registrado como vendedor particularPor tanto, no se aplican los derechos de los consumidores derivados de las leyes de protección de los consumidores de la UE. La Garantía al cliente de eBay sigue aplicando a la mayoría de compras. Más informaciónMás información
Otros artículos del vendedorContactar

Votos de vendedor (586)

Todas las valoraciones
Positivas
Neutras
Negativas
  • s***a (2511)- Votos emitidos por el comprador.
    Últimos 6 meses
    Compra verificada
    great cds at a great price
    HELEN SJOHOLM : 2 CD Singles : SWEDISH : Du Maste Finnas, Hemma (#154447724343)
  • f***l (264)- Votos emitidos por el comprador.
    Hace más de un año
    Compra verificada
    Item as described, fast shipping, and great communication. Awesome seller!
    Bhalji Pendharkar Set of 7 DVD s Movies Classic Collection Marathi Language (#154296829569)
  • h***e- Votos emitidos por el comprador.
    Hace más de un año
    Compra verificada
    As described, packaged well and shipped fast. Thank you! Great seller.
    The Science of Yoga (book by I.K.Taimni) (#154260518507)
Ver todos los votos

Más que explorar: