000			02047dam a22004217a 4500
001			0000051980
003			0001
008			100909s2010 gw a b 001 0 eng d
015			_a10,N31 _2dnb
016	7		_a100522384X _2DE-101
020			_a9783642152283 (e-isbn)
020			_a9783642152276
020			_a3642152279
040			_aBTCTA _beng _cBTCTA _dYDXCP _dGWDNB _dSUC _dBWX _dOCLCQ _dOHX _dCDX _dDLC
042			_alccopycat
082	0	4	_a004.24 _222
084			_a004.24 _bVER _2GyFmDB
245	0	0	_aVerification and validation in systems engineering _h[Book] : _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.
521			_aAll.
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			_aSystementwicklung. _2swd.
650			_aUML. _2swd.
650			_aSysML. _2swd.
700			_aDebbabi, Mourad.
700	1		_aHassaine, Fawzi.
700	1		_aJarraya, Yosr.
700	1		_aSoeanu, Andrei.
700	1		_aAlawneh, Luay.
852			_p41149 _90.00 _dBooks
999			_c35851 _d35851