Vacaciones, verano y la mejor lectura con descuento en miles de libros  Ver más

Enviar a
CUAUHTÉMOC, Ciudad de México
0

Mi Cuenta

  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional

menú

Selecciona tu país

América

Europa

Resto del mundo

portada Formalisierung und Modellprüfung des Softwarearchitekturstils (en Alemán)
Formato
Libro Físico
Editorial
Autor
Idioma
Alemán
N° páginas
92
Encuadernación
Tapa Blanda
Dimensiones
22.9 x 15.2 x 0.6 cm
ISBN13
9786202428750

Formalisierung und Modellprüfung des Softwarearchitekturstils (en Alemán)

Dwivedi, Ashish Kumar (Autor) · Verlag Unser Wissen · Tapa Blanda

Formalisierung und Modellprüfung des Softwarearchitekturstils (en Alemán) - Dwivedi, Ashish Kumar

Libro Nuevo Importado
Envío: 22 a 27 días háb.
$ 1,636.66$ 981.99
-40%
Costos de importación incluídos en el precio ✅
Libro Nuevo

Quedan 10 unidades

$ 981.99
¡Envío Gratis!  Llega entre el 26 Ago y el 03 Sep a CUAUHTÉMOC, Ciudad de México. Seleccionar ubicación

Elige la lista en la que quieres agregar tu producto o crea una nueva lista

Ir a Mis Listas
Calcula el costo de envío

Reseña del libro "Formalisierung und Modellprüfung des Softwarearchitekturstils (en Alemán)"

In dieser Studie werden formale Modelle des ATM-Systems unter Verwendung zustandsbasierter Sprachen wie Z, B und Alloy sowie ereignisbasierter Sprachen wie Monterey Phoenix beschrieben. Die Modellprüfung wird mit automatisierten Tools durchgeführt, nämlich Z/EVES, Atelier B und Alloy Analyzer für Z-, B- und Alloy-Spezifikationen. Darüber hinaus wird eine vergleichende Analyse der unterschiedlichen Eigenschaften verschiedener formaler Ansätze vorgestellt. Die Softwarearchitektur spielt eine wichtige Rolle beim High-Level-Design eines Systems in Bezug auf Komponenten, Konnektoren und Konfigurationen. Der Hauptbaustein der Softwarearchitektur ist ein Architekturstil, der domänenspezifische Designsemantik bereitstellt. Bei der Analyse komplexer Architekturstile haben wir in unserer Arbeit versucht, einen komplexen Stil, z. B. C2 (Komponente und Konnektor), mithilfe der formalen Spezifikationssprache Alloy zu formalisieren. Zur Konsistenzprüfung von Modellierungsnotationen wird das Modellprüfungswerkzeug Alloy Analyzer verwendet.

Opiniones del libro

Ver más opiniones de clientes
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)

Preguntas frecuentes sobre el libro

¿El libro es original?

Todos los libros de nuestro catálogo son Originales.

¿En qué Idioma está escrito el libro?

El libro está escrito en Alemán.

¿Cuál es la encuadernación de este libro?

La encuadernación de esta edición es Tapa Blanda.

Preguntas y respuestas sobre el libro

¿Tienes una pregunta sobre el libro? Inicia sesión para poder agregar tu propia pregunta.

Opiniones sobre Buscalibre

Ver más opiniones de clientes