MARC Record from Library of Congress

LEADER: 02236nam a22004697a 4500
001 2010936711
003 DLC
005 20110822113026.0
008 100909s2010 gw a b 001 0 eng d
010 $a 2010936711
015 $a10,N31$2dnb
016 7 $a100522384X$2DE-101
020 $a9783642152276
020 $a3642152279
035 $a(OCoLC)ocn662409358
040 $aBTCTA$beng$cBTCTA$dYDXCP$dGWDNB$dSUC$dBWX$dOCLCQ$dOHX$dCDX$dDLC
042 $alccopycat
050 00 $aQA76.76.E95$bV47 2010
082 04 $a004.24$222
084 $a004$2GyFmDB
245 00 $aVerification and validation in systems engineering :$bassessing UML/SysML design models /$cMourad Debbabi ... [et al.]
260 $aHeidelberg ;$aNew York :$bSpringer,$cc2010.
300 $axxvi, 248 p.$c24 cm.
504 $aIncludes bibliographical references (p. 227-239) and index.
505 0 $aIntroduction -- 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 foundation of SysML activity diagrams -- Soundness of the translation algorithm.
650 0 $aSystems engineering.
650 0 $aExpert systems (Computer science)$xVerification.
650 0 $aExpert systems (Computer science)$xValidation.
650 0 $aUML (Computer science)
650 0 $aSysML (Computer science)
650 07 $aSystementwicklung$2swd
650 07 $aUML$2swd
650 07 $aSysML$2swd
650 07 $aSoftware Engineering$2swd
650 07 $aSoftwaremetrie$2swd
650 07 $aProgrammanalyse$2swd
650 07 $aVerifikation$2swd
650 07 $aValidierung$2swd
650 07 $aLeistungsbewertung$2swd
700 1 $aDebbabi, Mourad.
856 42 $uhttp://d-nb.info/100522384X/04$3Inhaltsverzeichnis
856 42 $qtext/html$uhttp://deposit.d-nb.de/cgi-bin/dokserv?id=3518844&prov=M&dok_var=1&dok_ext=htm$3Inhaltstext