000			02721cam a22004815i 4500
001			21661296
005			20250121152553.0
006			m |o d |
007			cr |||||||||||
008			180925s2018 gw |||| o |||| 0|eng
010			_a 2019737882
020			_a9783030010416
024	7		_a10.1007/978-3-030-01042-3 _2doi
035			_a(DE-He213)978-3-030-01042-3
040			_aDLC _beng _epn _erda _cDLC
050			_aQA76.758 _b.S995 2018
072		7	_aUMZ _2bicssc
072		7	_aCOM051230 _2bisacsh
072		7	_aUMZ _2thema
082	0	4	_a005.1 _223
245	0	0	_aSystem Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering : _b10th International Conference, SAM 2018, Copenhagen, Denmark, October 15-16, 2018, Proceedings / _cedited by Ferhat Khendek, Reinhard Gotzhein.
250			_a1st ed. 2018.
260			_aCham, Switzerland: _bSpringer, _c2018.
300			_aXII, 245 Pages ; _b66 illustrations: _c23 cm.
490	1		_aProgramming and Software Engineering ; _v11150
520			_aThis book constitutes the refereed proceedings of the 10th International Conference on System Analysis and Modeling, SAM 2018, held in Copenhagen Denmark, in October 2018. The 12 full papers and 2 short papers presented were carefully reviewed and selected from 24 submissions. The papers describe innovations, trends, and experiences in modeling and analysis of complex systems using ITU-T's Specification and Description Language (SDL-2010) and Message Sequence Chart (MSC) notations, as well as related system design languages - including UML, ASN.1, TTCN, SysML and the User Requirements Notation (URN). This year's edition of SAM will be under the theme "Languages, Methods, and Tools for Systems Engineering", including languages and methods standardized by the ITU-T, and domain-specific languages. Also included are software engineering technologies, such as for requirements engineering, software verification and validation, and automated code generation.
650		0	_aSoftware Engineering.
650		0	_aComputer Hardware.
650		0	_aComputer Organization.
650		0	_aManagement information Systems.
650		0	_aComputer Science.
650	1	4	_aSoftware Engineering.
650	2	4	_aComputer Hardware.
650	2	4	_aComputer Systems Organization and Communication Networks.
650	2	4	_aManagement of Computing and Information Systems.
700	1		_aKhendek, Ferhat. _eeditor.
700	1		_aGotzhein, Reinhard. _eeditor.
776	0	8	_iPrinted edition: _z9783030010416
776	0	8	_iPrinted edition: _z9783030010430
830		0	_aProgramming and Software Engineering ; _v11150
906			_a0 _bibc _corigres _du _encip _f20 _gy-gencatlg
942			_2lcc _cBK
999			_c6827 _d6827