000			03318nam a22006617a 4500
001			sulb-eb0025638
003			BD-SySUS
005			20160413122537.0
007			cr nn 008mamaa
008			130919s2013 gw | s |||| 0|eng d
020			_a9783642415333 _9978-3-642-41533-3
024	7		_a10.1007/978-3-642-41533-3 _2doi
050		4	_aQA76.7-76.73
050		4	_aQA76.76.C65
072		7	_aUMX _2bicssc
072		7	_aUMC _2bicssc
072		7	_aCOM051010 _2bisacsh
072		7	_aCOM010000 _2bisacsh
082	0	4	_a005.13 _223
245	1	0	_aModel-Driven Engineering Languages and Systems _h[electronic resource] : _b16th International Conference, MODELS 2013, Miami, FL, USA, September 29 – October 4, 2013. Proceedings / _cedited by Ana Moreira, Bernhard Schätz, Jeff Gray, Antonio Vallecillo, Peter Clarke.
264		1	_aBerlin, Heidelberg : _bSpringer Berlin Heidelberg : _bImprint: Springer, _c2013.
300			_aXXVIII, 792 p. 299 illus. _bonline resource.
336			_atext _btxt _2rdacontent
337			_acomputer _bc _2rdamedia
338			_aonline resource _bcr _2rdacarrier
347			_atext file _bPDF _2rda
490	1		_aLecture Notes in Computer Science, _x0302-9743 ; _v8107
505	0		_aTool support -- Dependability -- Comprehensibility -- Testing -- Evolution -- Verification -- Product lines -- Semantics -- Domain-specific modeling languages -- Design and architecture -- Model transformation -- Model analysis.- System synthesis.
520			_aThis book constitutes the refereed proceedings of the 16th International Conference on Model Driven Engineering Languages and Systems, MODELS 2013, held in Miami, FL, USA, in September/October 2013. The 47 full papers presented in this volume were carefully reviewed and selected from a total of 180 submissions. They are organized in topical sections named: tool support; dependability; comprehensibility; testing; evolution; verification; product lines; semantics; domain-specific modeling languages; models@RT; design and architecture; model transformation; model analysis; and system synthesis.
650		0	_aComputer science.
650		0	_aComputer system failures.
650		0	_aSoftware engineering.
650		0	_aProgramming languages (Electronic computers).
650		0	_aComputer logic.
650		0	_aComputer simulation.
650		0	_aManagement information systems.
650	1	4	_aComputer Science.
650	2	4	_aProgramming Languages, Compilers, Interpreters.
650	2	4	_aSoftware Engineering.
650	2	4	_aLogics and Meanings of Programs.
650	2	4	_aManagement of Computing and Information Systems.
650	2	4	_aSimulation and Modeling.
650	2	4	_aSystem Performance and Evaluation.
700	1		_aMoreira, Ana. _eeditor.
700	1		_aSchätz, Bernhard. _eeditor.
700	1		_aGray, Jeff. _eeditor.
700	1		_aVallecillo, Antonio. _eeditor.
700	1		_aClarke, Peter. _eeditor.
710	2		_aSpringerLink (Online service)
773	0		_tSpringer eBooks
776	0	8	_iPrinted edition: _z9783642415326
830		0	_aLecture Notes in Computer Science, _x0302-9743 ; _v8107
856	4	0	_uhttp://dx.doi.org/10.1007/978-3-642-41533-3
912			_aZDB-2-SCS
912			_aZDB-2-LNC
942			_2Dewey Decimal Classification _ceBooks
999			_c47730 _d47730