2014, ISBN: 9783642423161
Kartoniert, 276 Seiten, 235mm x 155mm x 16mm, Sprache(n): eng Broad and comprehensive overview of software verification and validation techniques Close integration with the UML standard … Mehr…
buchfreund.de MARZIES 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 - Taschenbuch
2014, ISBN: 3642423167
[EAN: 9783642423161], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], MODELCHECKING; PERFORMANCE; PERFORMANCEANALYSIS; PROGRAMANALYSIS; SOFTWAREENGINEERING; SYSTEM; TEXT; ALGORITHMS… Mehr…
ZVAB.com AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) Details... |
Verification and Validation in Systems Engineering : Assessing UML/SysML Design Models - Taschenbuch
2014, ISBN: 3642423167
[EAN: 9783642423161], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], MODELCHECKING; PERFORMANCE; PERFORMANCEANALYSIS; PROGRAMANALYSIS; SOFTWAREENGINEERING; SOFTWAREMETRICS; SOFTWAR… Mehr…
ZVAB.com AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Versandkosten:Versandkostenfrei. (EUR 0.00) Details... |
2014, ISBN: 3642423167
2010 Kartoniert / Broschiert Software Engineering, Systemanalyse und -design, modelchecking; Performance; performanceanalysis; ProgramAnalysis; Softwareengineering; system; Text; algori… Mehr…
Achtung-Buecher.de MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien Versandkosten:No shipping costs within Germany. (EUR 0.00) Details... |
2014, ISBN: 9783642423161
Taschenbuch
Assessing UML/SysML Design Models, Buch, Softcover, 2010, [PU: Springer Berlin], Springer Berlin, 2014
lehmanns.de Versandkosten:Versand in 10-14 Tagen. (EUR 0.00) Details... |
2014, ISBN: 9783642423161
Kartoniert, 276 Seiten, 235mm x 155mm x 16mm, Sprache(n): eng Broad and comprehensive overview of software verification and validation techniques Close integration with the UML standard … Mehr…
Mourad Debbabi:
Verification and Validation in Systems Engineering : Assessing UML/SysML Design Models - Taschenbuch2014, ISBN: 3642423167
[EAN: 9783642423161], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], MODELCHECKING; PERFORMANCE; PERFORMANCEANALYSIS; PROGRAMANALYSIS; SOFTWAREENGINEERING; SYSTEM; TEXT; ALGORITHMS… Mehr…
Verification and Validation in Systems Engineering : Assessing UML/SysML Design Models - Taschenbuch
2014
ISBN: 3642423167
[EAN: 9783642423161], Neubuch, [SC: 0.0], [PU: Springer Berlin Heidelberg], MODELCHECKING; PERFORMANCE; PERFORMANCEANALYSIS; PROGRAMANALYSIS; SOFTWAREENGINEERING; SOFTWAREMETRICS; SOFTWAR… Mehr…
2014, ISBN: 3642423167
2010 Kartoniert / Broschiert Software Engineering, Systemanalyse und -design, modelchecking; Performance; performanceanalysis; ProgramAnalysis; Softwareengineering; system; Text; algori… Mehr…
2014, ISBN: 9783642423161
Taschenbuch
Assessing UML/SysML Design Models, Buch, Softcover, 2010, [PU: Springer Berlin], Springer Berlin, 2014
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Verification and Validation in Systems Engineering
EAN (ISBN-13): 9783642423161
ISBN (ISBN-10): 3642423167
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 2014
Herausgeber: Springer Berlin
Buch in der Datenbank seit 2015-08-16T15:05:30+02:00 (Vienna)
Detailseite zuletzt geändert am 2023-11-23T11:05:52+01:00 (Vienna)
ISBN/EAN: 9783642423161
ISBN - alternative Schreibweisen:
3-642-42316-7, 978-3-642-42316-1
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: hass, debbabi, mourad
Titel des Buches: uml, validation, sysml
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: 2014-11-13
Berlin; Heidelberg; DE
Gedruckt / Hergestellt in Niederlande.
Sprache: Englisch
117,69 € (DE)
120,99 € (AT)
130,00 CHF (CH)
POD
XXVI, 248 p.
BC; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; 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; BB
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:
9783642152283 Verification and Validation in Systems Engineering (Mourad Debbabi; Fawzi Hassaïne; Yosr Jarraya; Andrei Soeanu; Luay Alawneh)
< zum Archiv...