|
|
|
|
LEADER |
00000nam a22000005i 4500 |
001 |
978-3-319-11743-0 |
003 |
DE-He213 |
005 |
20230810184034.0 |
007 |
cr nn 008mamaa |
008 |
140924s2014 sz | s |||| 0|eng d |
020 |
|
|
|a 9783319117430
|9 978-3-319-11743-0
|
024 |
7 |
|
|a 10.1007/978-3-319-11743-0
|2 doi
|
050 |
|
4 |
|a QA76.758
|
072 |
|
7 |
|a UMZ
|2 bicssc
|
072 |
|
7 |
|a COM051230
|2 bisacsh
|
072 |
|
7 |
|a UMZ
|2 thema
|
082 |
0 |
4 |
|a 005.1
|2 23
|
245 |
1 |
0 |
|a System Analysis and Modeling: Models and Reusability
|h [electronic resource] :
|b 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedings /
|c edited by Daniel Amyot, Pau Fonseca i Casas, Gunter Mussbacher.
|
250 |
|
|
|a 1st ed. 2014.
|
264 |
|
1 |
|a Cham :
|b Springer International Publishing :
|b Imprint: Springer,
|c 2014.
|
300 |
|
|
|a XXII, 314 p. 124 illus.
|b online resource.
|
336 |
|
|
|a text
|b txt
|2 rdacontent
|
337 |
|
|
|a computer
|b c
|2 rdamedia
|
338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|
347 |
|
|
|a text file
|b PDF
|2 rda
|
490 |
1 |
|
|a Programming and Software Engineering,
|x 2945-9168 ;
|v 8769
|
505 |
0 |
|
|a Reuse -- Availability, safety and optimization -- Sequences and interactions -- Testing -- Metrics, constraints and repositories.- SDL and V&V.
|
520 |
|
|
|a This 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 |
|a Software engineering.
|
650 |
|
0 |
|a Computer networks .
|
650 |
|
0 |
|a Compilers (Computer programs).
|
650 |
|
0 |
|a Electronic data processing
|x Management.
|
650 |
|
0 |
|a Computer science.
|
650 |
1 |
4 |
|a Software Engineering.
|
650 |
2 |
4 |
|a Computer Communication Networks.
|
650 |
2 |
4 |
|a Compilers and Interpreters.
|
650 |
2 |
4 |
|a IT Operations.
|
650 |
2 |
4 |
|a Computer Science Logic and Foundations of Programming.
|
700 |
1 |
|
|a Amyot, Daniel.
|e editor.
|4 edt
|4 http://id.loc.gov/vocabulary/relators/edt
|
700 |
1 |
|
|a Fonseca i Casas, Pau.
|e editor.
|0 (orcid)0000-0002-6747-9736
|1 https://orcid.org/0000-0002-6747-9736
|4 edt
|4 http://id.loc.gov/vocabulary/relators/edt
|
700 |
1 |
|
|a Mussbacher, Gunter.
|e editor.
|4 edt
|4 http://id.loc.gov/vocabulary/relators/edt
|
710 |
2 |
|
|a SpringerLink (Online service)
|
773 |
0 |
|
|t Springer Nature eBook
|
776 |
0 |
8 |
|i Printed edition:
|z 9783319117447
|
776 |
0 |
8 |
|i Printed edition:
|z 9783319117423
|
830 |
|
0 |
|a Programming and Software Engineering,
|x 2945-9168 ;
|v 8769
|
856 |
4 |
0 |
|u https://doi.uam.elogim.com/10.1007/978-3-319-11743-0
|z Texto Completo
|
912 |
|
|
|a ZDB-2-SCS
|
912 |
|
|
|a ZDB-2-SXCS
|
912 |
|
|
|a ZDB-2-LNC
|
950 |
|
|
|a Computer Science (SpringerNature-11645)
|
950 |
|
|
|a Computer Science (R0) (SpringerNature-43710)
|