| 000 | 02910nam a22005655i 4500 | ||
|---|---|---|---|
| 001 | vtls000544121 | ||
| 003 | RU-ToGU | ||
| 005 | 20210922082903.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 160915s2014 gw | s |||| 0|eng d | ||
| 020 |
_a9783319117430 _9978-3-319-11743-0 |
||
| 024 | 7 |
_a10.1007/978-3-319-11743-0 _2doi |
|
| 035 | _ato000544121 | ||
| 040 |
_aSpringer _cSpringer _dRU-ToGU |
||
| 050 | 4 | _aQA76.758 | |
| 072 | 7 |
_aUMZ _2bicssc |
|
| 072 | 7 |
_aCOM051230 _2bisacsh |
|
| 082 | 0 | 4 |
_a005.1 _223 |
| 245 | 1 | 0 |
_aSystem Analysis and Modeling: Models and Reusability _helectronic resource _b8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedings / _cedited by Daniel Amyot, Pau Fonseca i Casas, Gunter Mussbacher. |
| 260 |
_aCham : _bSpringer International Publishing : _bImprint: Springer, _c2014. |
||
| 300 |
_aXXII, 314 p. 124 illus. _bonline resource. |
||
| 336 |
_atext _btxt _2rdacontent |
||
| 337 |
_acomputer _bc _2rdamedia |
||
| 338 |
_aonline resource _bcr _2rdacarrier |
||
| 490 | 1 |
_aLecture Notes in Computer Science, _x0302-9743 ; _v8769 |
|
| 505 | 0 | _aReuse -- Availability, safety and optimization -- Sequences and interactions -- Testing -- Metrics, constraints and repositories.- SDL and V&V. | |
| 520 | _aThis book constitutes the refereed papers of the proceedings of the 8th International Conference on System Analysis and Modeling, SAM 2014, held in Valencia, Spain, in September 2014. The 18 full papers and the 3 short papers presented together with 2 keynotes were carefully reviewed and selected from 71 submissions. The contributions are organized in topical sections named: reuse; availability, safety and optimization; sequences and interactions; testing; metrics, constraints and repositories; and SDL and V&V. | ||
| 650 | 0 |
_aComputer Science. _9155490 |
|
| 650 | 0 |
_aComputer Communication Networks. _9566243 |
|
| 650 | 0 |
_aSoftware engineering. _9566225 |
|
| 650 | 0 |
_aLogic design. _9306256 |
|
| 650 | 0 |
_aInformation systems. _9303226 |
|
| 650 | 1 | 4 |
_aComputer Science. _9155490 |
| 650 | 2 | 4 |
_aSoftware Engineering. _9566285 |
| 650 | 2 | 4 |
_aComputer Communication Networks. _9566243 |
| 650 | 2 | 4 |
_aProgramming Languages, Compilers, Interpreters. _9303287 |
| 650 | 2 | 4 |
_aManagement of Computing and Information Systems. _9303227 |
| 650 | 2 | 4 |
_aLogics and Meanings of Programs. _9306257 |
| 700 | 1 |
_aAmyot, Daniel. _eeditor. _9320944 |
|
| 700 | 1 |
_aFonseca i Casas, Pau. _eeditor. _9451316 |
|
| 700 | 1 |
_aMussbacher, Gunter. _eeditor. _9451317 |
|
| 710 | 2 |
_aSpringerLink (Online service) _9143950 |
|
| 773 | 0 | _tSpringer eBooks | |
| 830 | 0 |
_aLecture Notes in Computer Science, _9279505 |
|
| 856 | 4 | 0 | _uhttp://dx.doi.org/10.1007/978-3-319-11743-0 |
| 912 | _aZDB-2-SCS | ||
| 912 | _aZDB-2-LNC | ||
| 999 | _c401792 | ||