Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Österreichische Post 5.49 € GLS-Kurier 4.99 € DPD-Kurier 4.49 € DPD-Stelle 3.49 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

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

Assessing UML/SysML Design Models

Sprache

Englisch

Buch Hardcover

Libristo-Code: 01656475

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

Verification and validation represents an important process used for the quality assessment of engin... Vollständige Beschreibung

Libristo-Code: 01656475

289 b

117.89 € inkl. MwSt.

Externes Lager Wir versenden in 10-13 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Jak mniej myśleć wyd. 2 Christel Petitcollin

Broschur

7.09 €

South Park: Joining the Panderverse Video

DVD

13.89 €

Detektyw Pierre w labiryncie Dziwny przypadek zamku na niebie Maruyama Chihiro

Hardcover

9.59 €

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

Broschur

41.09 €

Der Stich der Biene Wolfgang Müller

Broschur

18.00 €

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

Audio CD

22.59 €

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

Broschur

31.19 €

Touchant la fin Hervé Bauer

Broschur

12.69 €

Doktore, teď to chce klid! Patrick Taylor

Broschur

4.19 €

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

Broschur

15.59 €

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

Broschur

7.99 €

Nationales Kulturgüter- und Denkmalschutzrecht Michael Anton

Hardcover

199.95 €

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

Broschur

39.99 €

Schlacht in den Wolken, 1 Blu-ray Jack Gold

Blu-ray

13.99 €

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

Hardcover

19.80 €

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

Broschur

13.39 €

Gentilicios DE LA TORRE APARICIO

Broschur

36.49 €

Windows 11 Reparaturhandbuch Christian Immler

Broschur

19.90 €

VOCABOLARIO ITALIANO-AFRIKAANS PER STUDI Andrey Taranov

Broschur

8.69 €

UN CALCETÍN DE LANA ROJO JOSE ANTONIO RAMIREZ LOZANO

Hardcover

18.09 €

Aus Meinem Sommergarten: Humoristische Plaudereien (1912) Otto Ernst

Broschur

21.89 €

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

Hardcover

10.00 €

Lyon Le Mer

Broschur

67.49 €

Un moment avec Jésus Young

Broschur

18.29 €

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.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Verification and Validation in Systems Engineering

Autor Mourad Debbabi, Fawzi Hassa, Yosr Jarraya, Andrei Soeanu

Sprache

Englisch

Einband Buch - Hardcover

Datum der Veröffentlichung 2010

Anzahl der Seiten 248

EAN 9783642152276

ISBN 3642152279

Libristo-Code 01656475

Verlag Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Gewicht 718

Abmessungen 174 x 245 x 22

Kategorie

EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering > Softwaretests und Prüfsoftware

EDV und Informationstechnologie > Informatik > Mensch-Computer-Interaktion > Informationsarchitektur

EDV und Informationstechnologie > Computerhardware > Wartung und Reparaturen, IT

EDV und Informationstechnologie > Informatik > Systemanalyse und -design

EDV und Informationstechnologie > Betriebssysteme

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert