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

Kostenloser Versand mit Zásilkovna ab 69.99 €

Österreichische Post 5.49 € GLS-Kurier 4.99 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €

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: 139.39 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

341 b

139.39 € inkl. MwSt.

Externes Lager Wir versenden in 10-13 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

Windows 11 Reparaturhandbuch Christian Immler

Broschur

19.90 €

Touchant la fin Hervé Bauer

Broschur

16.59 €

Jak mniej myśleć wyd. 2 Christel Petitcollin

Broschur

10.29 €

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

Broschur

52.29 €

South Park: Joining the Panderverse Video

DVD

16.49 €

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

Broschur

25.69 €

Doktore, teď to chce klid! Patrick Taylor

Broschur

5.59 €

Liguria

Broschur

28.99 €

Lyon Le Mer

Broschur

85.59 €

Aus Meinem Sommergarten: Humoristische Plaudereien (1912) Otto Ernst

Broschur

26.89 €

UN CALCETÍN DE LANA ROJO JOSE ANTONIO RAMIREZ LOZANO

Hardcover

23.19 €

VOCABOLARIO ITALIANO-AFRIKAANS PER STUDI Andrey Taranov

Broschur

10.69 €

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

Broschur

19.39 €

Gentilicios DE LA TORRE APARICIO

Broschur

46.49 €

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

Broschur

17.49 €

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

Hardcover

19.80 €

Schlacht in den Wolken, 1 Blu-ray Jack Gold

Blu-ray

15.39 €

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

Broschur

39.99 €

Nationales Kulturgüter- und Denkmalschutzrecht Michael Anton

Hardcover

206.49 €

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

Broschur

9.39 €

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