Envío gratis a partir de 69,99 euros.

«Comprobar estado del pedido»

Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis

Envío gratuito con Zásilkovna para compras superiores a 59.99 €

Mensajería SEUR 4.99 € Mensajería GLS 7.99 € Mensajería Correos 5.49 € Mensajería DHL 5.49 € Punto SEUR 3.99 €

Contacto

Cómo comprar

Ayuda

Mi cuenta

▸ Vacío :-(

Envío gratis a partir de 69,99 euros.

Verification and Validation in Systems Engineering

Name: Verification and Validation in Systems Engineering
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01656475
Price: 146.59 EUR
Availability: InStock
Author: Mourad Debbabi
ISBN: 9783642152276

Assessing UML/SysML Design Models

Idioma

Inglés

Libro Tapa dura

Código Libristo: 01656475

Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, noviembre 2010

Verification and validation represents an important process used for the quality assessment of engin... Descripción completa

Código Libristo: 01656475

359 b

146.59 €

Almacenamiento externo Envío en 10-13 días

Hasta 30 días para devoluciones

Clientes que también han comprado

Windows 11 Reparaturhandbuch Christian Immler

Tapa blanda

19.79 €

Touchant la fin Hervé Bauer

Tapa blanda

16.59 €

Jak mniej myśleć wyd. 2 Christel Petitcollin

Tapa blanda

9.79 €

Guide des chemins ruraux et chemins d'exploitation 7ème édition DEBEAURAIN

Tapa blanda

50.99 €

South Park: Joining the Panderverse Video

DVD

16.79 €

sogno dei Camerini. Da Piazzola a Stientia due ville e due mondi

Tapa blanda

26.19 €

Doktore, teď to chce klid! Patrick Taylor

Tapa blanda

5.69 €

Liguria

Tapa blanda

29.49 €

Lyon Le Mer

Tapa blanda

83.59 €

Aus Meinem Sommergarten: Humoristische Plaudereien (1912) Otto Ernst

Tapa blanda

26.89 €

UN CALCETÍN DE LANA ROJO JOSE ANTONIO RAMIREZ LOZANO

Tapa dura

21.49 €

VOCABOLARIO ITALIANO-AFRIKAANS PER STUDI Andrey Taranov

Tapa blanda

10.69 €

Repasa y aprende : matemáticas 3 primaria PEÑA NEGUERUELA

Tapa blanda

18.09 €

Gentilicios DE LA TORRE APARICIO

Tapa blanda

43.19 €

Punto y línea sobre el plano : contribución al análisis de los elementos pictóricos V. KANDINSKY

Tapa blanda

16.09 €

Die Reise des seligen Odorich von Pordenone nach Indien und China Folker Reichert

Tapa dura

19.69 €

Schlacht in den Wolken, 1 Blu-ray Jack Gold

Blu-ray

16.09 €

Projektmanagement bei der Sanierung bewohnter Altlasten Hessisches Ministerium für Umwelt

Tapa blanda

41.59 €

Nationales Kulturgüter- und Denkmalschutzrecht Michael Anton

Tapa dura

216.79 €

Volby do Poslanecké sněmovny v roce 2010 Stanislav Balík

Tapa blanda

9.59 €

Verification and validation represents an important process used for the quality assessment of engineered systems and their compliance with the requirements established at the beginning of or during the development cycle.§Debbabi and his coauthors investigate methodologies and techniques that can be employed for the automatic verification and validation of systems engineering design models expressed in standardized modeling languages. Their presentation includes a bird s eye view of the most prominent modeling languages for software and systems engineering, namely the Unified Modeling Language (UML) and the more recent Systems Modeling Language (SysML). Moreover, it elaborates on a number of quantitative and qualitative techniques that synergistically combine automatic verification techniques, program analysis, and software engineering quantitative methods applicable to design models described in these modeling languages. Each of these techniques is additionally explained using a small case study highlighting the process, its results, and resulting changes in the system design.§Researchers in academia and industry as well as students specializing in software and systems engineering will find here an overview of state-of-the-art validation and verification techniques. Due to their close association with the UML standard, the presented approaches are also applicable to industrial software development.