000 03095nam a22006135i 4500
003 DE-He213
005 20191014035018.0
007 cr nn 008mamaa
008 130613s2013 gw | s |||| 0|eng d
020 6 4 _a9783642389115
_9978-3-642-38911-5
024 8 7 _a10.1007/978-3-642-38911-5
_2doi
050 8 4 _aLibro electrónico
050 8 4 _aTK5105.5-5105.9
072 8 7 _aUT
_2bicssc
072 8 7 _aCOM067000
_2bisacsh
082 _a004.6
_223
100 8 1 _aKhendek, Ferhat.
_eeditor.
_9209452
245 9 7 _aSDL 2013: Model-Driven Dependability Engineering
_h[electronic resource] :
_b16th International SDL Forum, Montreal, Canada, June 26-28, 2013. Proceedings /
_cedited by Ferhat Khendek, Maria Toeroe, Abdelouahed Gherbi, Rick Reed.
001 000074355
300 6 4 _aXII, 291 p. 138 illus.
_bonline resource.
490 8 1 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v7916
505 8 0 _aVerification and testing -- Dependability engineering -- Analysis -- Domain specific languages -- Model transformation -- Specification and description language.-Evolution.
520 6 4 _aThis book constitutes the refereed proceedings of the 16th System Design Languages Forum, SDL 2013, held in Montreal, QC, Canada, in June 2013. The 16 revised, high-quality, full papers presented were carefully reviewed and selected from 30 submissions. The papers are organized in topical sections on verification and testing; dependability engineering; analysis; domain specific languages; model transformation; specification and description language and evolution.
650 8 0 _aComputer science.
_9209453
650 8 0 _aComputer network architectures.
_9209454
650 8 0 _aComputer Communication Networks.
_9209455
650 8 0 _aSoftware engineering.
_99213
650 8 0 _aLogic design.
_9209456
650 8 0 _aInformation Systems.
_9209457
650 _aComputer Science.
_9209458
650 _aComputer Systems Organization and Communication Networks.
_9209459
650 _aSoftware Engineering.
_99213
650 _aLogics and Meanings of Programs.
_913880
650 _aProgramming Languages, Compilers, Interpreters.
_99471
650 _aComputer Communication Networks.
_9209455
650 _aManagement of Computing and Information Systems.
_99204
700 8 1 _aToeroe, Maria.
_eeditor.
_9209460
700 8 1 _aGherbi, Abdelouahed.
_eeditor.
_9209461
700 8 1 _aReed, Rick.
_eeditor.
_9209462
710 8 2 _aSpringerLink (Online service)
_9209463
773 8 0 _tSpringer eBooks
776 _iPrinted edition:
_z9783642389108
830 8 0 _aLecture Notes in Computer Science,
_x0302-9743 ;
_v7916
_9209464
856 _uhttp://dx.doi.org/10.1007/978-3-642-38911-5
_zde clik aquí para ver el libro electrónico
264 8 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c2013.
336 6 4 _atext
_btxt
_2rdacontent
337 6 4 _acomputer
_bc
_2rdamedia
338 6 4 _aonline resource
_bcr
_2rdacarrier
347 6 4 _atext file
_bPDF
_2rda
912 6 4 _aZDB-2-SCS
912 6 4 _aZDB-2-LNC
999 _c74085
_d74085
942 _c05