|
|
|
|
| LEADER |
02818nam a22005655i 4500 |
| 001 |
978-3-319-11743-0 |
| 003 |
DE-He213 |
| 005 |
20151116135754.0 |
| 007 |
cr nn 008mamaa |
| 008 |
140924s2014 gw | 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
|
| 040 |
|
|
|d GrThAP
|
| 050 |
|
4 |
|a QA76.758
|
| 072 |
|
7 |
|a UMZ
|2 bicssc
|
| 072 |
|
7 |
|a COM051230
|2 bisacsh
|
| 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.
|
| 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 Lecture Notes in Computer Science,
|x 0302-9743 ;
|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 Computer science.
|
| 650 |
|
0 |
|a Computer communication systems.
|
| 650 |
|
0 |
|a Software engineering.
|
| 650 |
|
0 |
|a Programming languages (Electronic computers).
|
| 650 |
|
0 |
|a Computer logic.
|
| 650 |
|
0 |
|a Management information systems.
|
| 650 |
1 |
4 |
|a Computer Science.
|
| 650 |
2 |
4 |
|a Software Engineering.
|
| 650 |
2 |
4 |
|a Computer Communication Networks.
|
| 650 |
2 |
4 |
|a Programming Languages, Compilers, Interpreters.
|
| 650 |
2 |
4 |
|a Management of Computing and Information Systems.
|
| 650 |
2 |
4 |
|a Logics and Meanings of Programs.
|
| 700 |
1 |
|
|a Amyot, Daniel.
|e editor.
|
| 700 |
1 |
|
|a Fonseca i Casas, Pau.
|e editor.
|
| 700 |
1 |
|
|a Mussbacher, Gunter.
|e editor.
|
| 710 |
2 |
|
|a SpringerLink (Online service)
|
| 773 |
0 |
|
|t Springer eBooks
|
| 776 |
0 |
8 |
|i Printed edition:
|z 9783319117423
|
| 830 |
|
0 |
|a Lecture Notes in Computer Science,
|x 0302-9743 ;
|v 8769
|
| 856 |
4 |
0 |
|u http://dx.doi.org/10.1007/978-3-319-11743-0
|z Full Text via HEAL-Link
|
| 912 |
|
|
|a ZDB-2-SCS
|
| 912 |
|
|
|a ZDB-2-LNC
|
| 950 |
|
|
|a Computer Science (Springer-11645)
|
