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…
booklooker.de |
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…
booklooker.de |
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…
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) Details... |
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…
Biblio.co.uk |
2010, ISBN: 9783642152276
Gebundene Ausgabe
Assessing UML/SysML Design Models, Buch, Hardcover, 2010, [PU: Springer Berlin], Springer Berlin, 2010
lehmanns.de Versandkosten:Versand in 10-14 Tagen. (EUR 0.00) Details... |
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…
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 broschiert2010, 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…
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…
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…
2010, ISBN: 9783642152276
Gebundene Ausgabe
Assessing UML/SysML Design Models, Buch, Hardcover, 2010, [PU: Springer Berlin], Springer Berlin, 2010
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
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
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9783642423161 Verification and Validation in Systems Engineering (Mourad Debbabi; Fawzi Hassaïne; Yosr Jarraya; Andrei Soeanu; Luay Alawneh)
< zum Archiv...