Name: A Process Algebraic Approach to Software Architecture Design (en Inglés)
Price: 176.74 PEN
Availability: InStock
Author: Aldini, Alessandro ; Bernardo, Marco ; Corradini, Flavio
ISBN: 9781447157663

portada A Process Algebraic Approach to Software Architecture Design (en Inglés)

A Process Algebraic Approach to Software Architecture Design (en Inglés)

Formato

Libro Físico

Autor

Editorial

Idioma

Inglés

N° páginas

304

Encuadernación

Tapa Blanda

Dimensiones

23.4 x 15.6 x 1.7 cm

Peso

0.45 kg.

ISBN13

9781447157663

N° edición

2010th

Categorías

Dispositivos lectores de libros digitales, tabletas y otros dispositivos portátiles: guías para el consumidor/usuario
Teléfonos móviles: guías para el consumidor/usuario
Programación informática/desarrollo de software
Análisis y diseño de sistemas

A Process Algebraic Approach to Software Architecture Design (en Inglés)

Flavio Corradini (Autor) · Alessandro Aldini (Autor) · Marco Bernardo (Autor) · Springer · Tapa Blanda

Libro Nuevo Importado

Envío: 13 a 18 días háb.

S/ 392,76S/ 176,74

-55%

Costos de importación incluídos en el precio ✅

Libro Nuevo

Quedan más de 100 unidades

S/ 176,74

Llega entre el 15 Jul y el 24 Jul a CERCADO DE LIMA, Lima. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "A Process Algebraic Approach to Software Architecture Design (en Inglés)"

Inthe?eldofformalmethodsincomputerscience, concurrencytheoryisreceivinga constantlyincreasinginterest.Thisisespeciallytrueforprocessalgebra.Althoughit had been originally conceived as a means for reasoning about the semantics of c- current programs, process algebraic formalisms like CCS, CSP, ACP, ?-calculus, and their extensions (see, e.g., [154,119,112,22,155,181,30]) were soon used also for comprehendingfunctionaland nonfunctionalaspects of the behaviorof com- nicating concurrent systems. The scienti?c impact of process calculi and behavioral equivalences at the base of process algebra is witnessed not only by a very rich literature. It is in fact worth mentioningthe standardizationprocedurethat led to the developmentof the process algebraic language LOTOS [49], as well as the implementation of several modeling and analysis tools based on process algebra, like CWB [70] and CADP [93], some of which have been used in industrial case studies. Furthermore, process calculi and behavioral equivalencesare by now adopted in university-levelcourses to teach the foundations of concurrent programming as well as the model-driven design of concurrent, distributed, and mobile systems. Nevertheless, after 30 years since its introduction, process algebra is rarely adopted in the practice of software development. On the one hand, its technica- ties often obfuscate the way in which systems are modeled. As an example, if a process term comprises numerous occurrences of the parallel composition operator, it is hard to understand the communicationscheme among the varioussubterms. On the other hand, process algebra is perceived as being dif?cult to learn and use by practitioners, as it is not close enough to the way they think of software systems