Estimados clientes, devido a feriado nacional, o Apoio ao Cliente não está disponível hoje. Atenderemos os seus requisitos no próximo dia útil. Obrigado pela sua compreensão.

Verificar estado da encomenda

Faça parte de uma comunidade de amantes de livros de todo o mundo e tenha acesso a uma série de benefícios. Crie uma conta gratuitamente

Correio DHL 7.99 € Correio DPD 4.49 € Ponto DPD 3.99 € Correio GLS 5.49 € Correio MRW 5.49 €

Contacto

Como comprar

Ajuda

A minha conta

▸ Vazio :-(

Estimados clientes, devido a feriado nacional, o Apoio ao Cliente não está disponível hoje. Atenderemos os seus requisitos no próximo dia útil. Obrigado pela sua compreensão.

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: 119.38 EUR
Availability: InStock
Author: Mourad Debbabi
ISBN: 9783642152276

Assessing UML/SysML Design Models

Língua

Inglês

Livro Livro de capa dura

Código Libristo: 01656475

Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, novembro 2010

Verification and validation represents an important process used for the quality assessment of engin... Descrição completa

Código Libristo: 01656475

289 b

119.38 €

Armazenamento externo Envio em 10-13 dias

Política de devolução de 30 dias

Os clientes também compraram

Windows 11 Reparaturhandbuch Christian Immler

Capa mole

15.79 €

Touchant la fin Hervé Bauer

Capa mole

12.85 €

Jak mniej myśleć wyd. 2 Christel Petitcollin

Capa mole

7.38 €

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

Capa mole

41.91 €

South Park: Joining the Panderverse Vídeo

DVD

14.07 €

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

Capa mole

19.84 €

Doktore, teď to chce klid! Patrick Taylor

Capa mole

4.04 €

Liguria

Capa mole

22.37 €

Lyon Le Mer

Capa mole

68.65 €

Aus Meinem Sommergarten: Humoristische Plaudereien (1912) Otto Ernst

Capa mole

22.17 €

UN CALCETÍN DE LANA ROJO JOSE ANTONIO RAMIREZ LOZANO

Livro de capa dura

18.42 €

VOCABOLARIO ITALIANO-AFRIKAANS PER STUDI Andrey Taranov

Capa mole

8.80 €

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

Capa mole

15.89 €

Gentilicios DE LA TORRE APARICIO

Capa mole

37.05 €

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

Capa mole

13.66 €

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

Livro de capa dura

15.79 €

Schlacht in den Wolken, 1 Blu-ray Jack Gold

Blu-ray

13.36 €

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

Capa mole

33.71 €

Nationales Kulturgüter- und Denkmalschutzrecht Michael Anton

Livro de capa dura

177.81 €

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

Capa mole

8.09 €

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.