- 5 Ergebnisse
Kleinster Preis: € 111,60, größter Preis: € 166,03, Mittelwert: € 131,26
1
Verification and Validation in Systems Engineering / Assessing UML/SysML Design Models / Mourad Debbabi (u. a.) / Buch / HC runder Rücken kaschiert / XXVI / Englisch / 2010 / Springer Berlin - Debbabi, Mourad
Bestellen
bei booklooker.de
€ 116,84
Versand: € 0,001
Bestellengesponserter Link
Debbabi, Mourad:

Verification and Validation in Systems Engineering / Assessing UML/SysML Design Models / Mourad Debbabi (u. a.) / Buch / HC runder Rücken kaschiert / XXVI / Englisch / 2010 / Springer Berlin - gebunden oder broschiert

2010, ISBN: 9783642152276

[ED: Gebunden], [PU: Springer Berlin], At the dawn of the 21st century and the information age, communication and c- puting power are becoming ever increasingly available, virtually perva… Mehr…

Versandkosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Buchbär
2
Verification and Validation in Systems Engineering | Assessing UML/SysML Design Models | Mourad Debbabi (u. a.) | Buch | HC runder Rücken kaschiert | XXVI | Englisch | 2010 | Springer Berlin - Debbabi, Mourad
Bestellen
bei booklooker.de
€ 111,60
Versand: € 0,001
Bestellengesponserter Link

Debbabi, Mourad:

Verification and Validation in Systems Engineering | Assessing UML/SysML Design Models | Mourad Debbabi (u. a.) | Buch | HC runder Rücken kaschiert | XXVI | Englisch | 2010 | Springer Berlin - gebunden oder broschiert

2010, ISBN: 9783642152276

[ED: Gebunden], [PU: Springer Berlin], At the dawn of the 21st century and the information age, communication and c- puting power are becoming ever increasingly available, virtually perva… Mehr…

Versandkosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) preigu
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, ProgramAnalysis; Softwareengineering; softwaremetrics; Sof… Mehr…

Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
4
Bestellen
bei Biblio.co.uk
$ 181,89
(ca. € 166,03)
Versand: € 11,681
Bestellengesponserter Link
Mourad Debbabi:
Verification and Validation in Systems Engineering: Assessing UML/SysML Design Models - gebunden oder broschiert

ISBN: 9783642152276

Hardback. New. As well as an overview of UML and the more recent SysML, Debbabi and his co-authors investigate varied methodologies and techniques for the automatic verification and vali… Mehr…

Versandkosten: EUR 11.68 The Saint Bookstore
5
Verification and Validation in Systems Engineering - Mourad Debbabi; Fawzi Hassaïne; Yosr Jarraya; Andrei Soeanu; Luay Alawneh
Bestellen
bei lehmanns.de
€ 128,39
Versand: € 0,001
Bestellengesponserter Link
Mourad Debbabi; Fawzi Hassaïne; Yosr Jarraya; Andrei Soeanu; Luay Alawneh:
Verification and Validation in Systems Engineering - Erstausgabe

2010, ISBN: 9783642152276

Gebundene Ausgabe

Assessing UML/SysML Design Models, Buch, Hardcover, 2010, [PU: Springer Berlin], Springer Berlin, 2010

Versandkosten:Versand in 10-14 Tagen. (EUR 0.00)

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.

Bibliographische Daten des bestpassenden Buches

Details zum Buch
Verification and Validation in Systems Engineering

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


EAN (ISBN-13): 9783642152276
ISBN (ISBN-10): 3642152279
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2010
Herausgeber: Springer Berlin
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 2023-12-15T19:33:17+01:00 (Vienna)
ISBN/EAN: 9783642152276

ISBN - alternative Schreibweisen:
3-642-15227-9, 978-3-642-15227-6
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: alawneh, debbabi, mourad
Titel des Buches: systems engineering, uml, validation, sysml, design systems, mourad


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.
Sprache: Englisch
128,39 € (DE)
131,99 € (AT)
142,00 CHF (CH)
POD
XXVI, 248 p.

BB; 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; Software Engineering; System Performance and Evaluation; IT Operations; Systemanalyse und -design; Wirtschaftsmathematik und -informatik, IT-Management; EA; BC

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.
Broad and comprehensive overview of software verification and validation techniques Close integration with the UML standard Theoretical presentation complemented by numerous case studies Includes supplementary material: sn.pub/extras

< zum Archiv...