Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Проверка на състоянието на поръчката

Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт

Безплатна доставка със Еконт над 69.99 €

Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €

Контакт

Как се пазарува?

Помощ

Моят акаунт

▸ Празна :-(

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

Assessing UML/SysML Design Models

Език

Английски език

Книга С твърди корици

Код Либристо: 01656475

Издателство Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ноември 2010

Verification and validation represents an important process used for the quality assessment of engin... Цялото описание

Код Либристо: 01656475

324 b

133.72 €

261.52 лв

Външен склад Изпращаме след 10-13 дни

До 30 дни за връщане на стоки

Клиентите са закупили също

Jak mniej myśleć wyd. 2 Christel Petitcollin

С меки корици

8.78 € 17.18 лв

South Park: Joining the Panderverse Видео

DVD

16.64 € 32.54 лв

Detektyw Pierre w labiryncie Dziwny przypadek zamku na niebie Maruyama Chihiro

С твърди корици

11.21 € 21.93 лв

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

С меки корици

52.61 € 102.91 лв

Der Stich der Biene Wolfgang Müller

С меки корици

16.23 € 31.73 лв

Arcadi Volodos - Schubert: Piano Sonata No. 17 in D/Schumann Arcadi Volodos

Аудио компактдиск

25.27 € 49.43 лв

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

С меки корици

25.99 € 50.84 лв

Touchant la fin Hervé Bauer

С меки корици

15.76 € 30.82 лв

Doktore, teď to chce klid! Patrick Taylor

С меки корици

5.63 € 11.01 лв

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

С меки корици

17.16 € 33.55 лв

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

С меки корици

9.45 € 18.49 лв

Nationales Kulturgüter- und Denkmalschutzrecht Michael Anton

С твърди корици

198.33 € 387.89 лв

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

С меки корици

37.83 € 73.99 лв

Schlacht in den Wolken, 1 Blu-ray Jack Gold

Blu-ray

15.50 € 30.32 лв

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

С твърди корици

18.86 € 36.89 лв

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

С меки корици

15.14 € 29.61 лв

Gentilicios DE LA TORRE APARICIO

С меки корици

40.83 € 79.86 лв

Windows 11 Reparaturhandbuch Christian Immler

С меки корици

17.88 € 34.97 лв

VOCABOLARIO ITALIANO-AFRIKAANS PER STUDI Andrey Taranov

С меки корици

10.33 € 20.21 лв

UN CALCETÍN DE LANA ROJO JOSE ANTONIO RAMIREZ LOZANO

С твърди корици

20.26 € 39.62 лв

Aus Meinem Sommergarten: Humoristische Plaudereien (1912) Otto Ernst

С меки корици

25.94 € 50.74 лв

TEAM LUPE ermittelt (1). Der rätselhafte Hundedieb Steffen Gumpert

С твърди корици

8.58 € 16.77 лв

Lyon Le Mer

С меки корици

86.32 € 168.82 лв

Un moment avec Jésus Young

С меки корици

23.57 € 46.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.