- 0 Ergebnisse
Kleinster Preis: € 121,97, größter Preis: € 163,55, Mittelwert: € 138,32
1
Verification and Validation in Systems Engineering : Assessing UML/SysML Design Models - Mourad Debbabi
Bestellen
bei ZVAB.com
€ 121,97
Versand: € 0,001
Bestellengesponserter Link
Mourad Debbabi:

Verification and Validation in Systems Engineering : Assessing UML/SysML Design Models - gebunden oder broschiert

2010, ISBN: 3642152279

[EAN: 9783642152276], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], EDV / THEORIE SOFTWARE-ENTW. SOFTWARE ENGINEERING; MODELCHECKING; PERFORMANCE; PERFORMANCEANALYSIS; PROGRAMANAL… Mehr…

NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
2
Verification and Validation in Systems Engineering Assessing UML/SysML Design Models - Debbabi, Mourad; Hassaïne, Fawzi; Alawneh, Luay; Soeanu, Andrei; Jarraya, Yosr
Bestellen
bei Achtung-Buecher.de
€ 133,46
Versand: € 0,001
Bestellengesponserter Link

Debbabi, Mourad; Hassaïne, Fawzi; Alawneh, Luay; Soeanu, Andrei; Jarraya, Yosr:

Verification and Validation in Systems Engineering Assessing UML/SysML Design Models - gebunden oder broschiert

2010, ISBN: 3642152279

2010 Gebundene Ausgabe EDV / Theorie / Software-Entw. / Software Engineering, Wartung und Reparaturen, IT, Betriebssysteme, Software Engineering, Systemanalyse und -design, modelcheckin… Mehr…

Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
3
Verification and Validation in Systems Engineering Assessing UML/SysML Design Models - Debbabi, Mourad; Hassaïne, Fawzi; Alawneh, Luay; Soeanu, Andrei; Jarraya, Yosr
Bestellen
bei Achtung-Buecher.de
€ 133,46
Versand: € 0,001
Bestellengesponserter Link
Debbabi, Mourad; Hassaïne, Fawzi; Alawneh, Luay; Soeanu, Andrei; Jarraya, Yosr:
Verification and Validation in Systems Engineering Assessing UML/SysML Design Models - gebunden oder broschiert

2010

ISBN: 3642152279

2010 Gebundene Ausgabe EDV / Theorie / Software-Entw. / Software Engineering, Software Engineering, Systemanalyse und -design, modelchecking; Performance; performanceanalysis; ProgramAn… Mehr…

Versandkosten:Sans frais d'envoi en Allemagne. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
4
Bestellen
bei AbeBooks.de
€ 163,55
Versand: € 3,631
Bestellengesponserter Link
Mourad Debbabi, Fawzi HassaA ne, Yosr Jarraya:
Verification and Validation in Systems Engineering: Assessing UML/SysML Design Models - gebunden oder broschiert

2010, ISBN: 3642152279

[EAN: 9783642152276], Neubuch, [PU: Springer 2010-11-18], Books

NEW BOOK. Versandkosten: EUR 3.63 Chiron Media, Wallingford, United Kingdom [55661942] [Rating: 4 (von 5)]
5
Verification and Validation in Systems Engineering - Mourad Debbabi
Bestellen
bei Blackwells.co.uk
£ 118,78
(ca. € 139,16)
Versand: € 7,621
Bestellengesponserter Link
Mourad Debbabi:
Verification and Validation in Systems Engineering - gebunden oder broschiert

ISBN: 9783642152276

hardback, [PU: Springer, Berlin/Heidelberg/New York, NY]

in stock. Versandkosten:Unknown. (EUR 7.62) Blackwells.co.uk

1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.
Details zum Buch
Verification and Validation in Systems Engineering: Assessing UML/SysML Design Models

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 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.

Detailangaben zum Buch - Verification and Validation in Systems Engineering: Assessing UML/SysML Design Models


EAN (ISBN-13): 9783642152276
ISBN (ISBN-10): 3642152279
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2010
Herausgeber: Springer
248 Seiten
Gewicht: 0,545 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 2009-11-06T05:49:03+01:00 (Vienna)
Detailseite zuletzt geändert am 2022-07-31T01:53:31+02:00 (Vienna)
ISBN/EAN: 9783642152276

ISBN - alternative Schreibweisen:
3-642-15227-9, 978-3-642-15227-6


Daten vom Verlag:

Autor/in: Mourad Debbabi; Fawzi Hassaïne; Yosr Jarraya; Andrei Soeanu; Luay Alawneh
Titel: Verification and Validation in Systems Engineering - Assessing UML/SysML Design Models
Verlag: Springer; Springer Berlin
248 Seiten
Erscheinungsjahr: 2010-11-18
Berlin; Heidelberg; DE
Gedruckt / Hergestellt in Niederlande.
Gewicht: 0,582 kg
Sprache: Englisch
128,39 € (DE)
131,99 € (AT)
141,50 CHF (CH)
POD
XXVI, 248 p.

BB; Book; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; Informatik; Model Checking; Performance; Performance Analysis; Program Analysis; Software Engineering; Software Metrics; Software Validation; Software Verification; SysML; System; Text; UML; algorithms; B; Software Engineering/Programming and Operating Systems; Software Engineering; System Performance and Evaluation; Management of Computing and Information Systems; Software Engineering; System Performance and Evaluation; IT Operations; Computer Science; Systemanalyse und -design; Wirtschaftsmathematik und -informatik, IT-Management; BC; EA

Architecture Frameworks, Model-Driven Architecture, and Simulation.- Unified Modeling Language.- Systems Modeling Language.- Verification, Validation, and Accreditation.- Automatic Approach for Synergistic Verification and Validation.- Software Engineering Metrics in the Context of Systems Engineering.- Verification and Validation of UML Behavioral Diagrams.- Probabilistic Model Checking of SysML Activity Diagrams.- Performance Analysis of Time-Constrained SysML Activity Diagrams.- Semantic Foundations of SysML Activity Diagrams.- Soundness of the Translation Algorithm.- Conclusion.

< zum Archiv...