System Analysis and Modeling: Models and Reusability 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedings / [electronic resource] :
edited by Daniel Amyot, Pau Fonseca i Casas, Gunter Mussbacher.
- XXII, 314 p. 124 illus. online resource.
- Lecture Notes in Computer Science, 8769 0302-9743 ; .
- Lecture Notes in Computer Science, 8769 .
Reuse -- Availability, safety and optimization -- Sequences and interactions -- Testing -- Metrics, constraints and repositories.- SDL and V&V.
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.
9783319117430
10.1007/978-3-319-11743-0 doi
Computer science.
Computer communication systems.
Software engineering.
Programming languages (Electronic computers).
Computer logic.
Management information systems.
Computer Science.
Software Engineering.
Computer Communication Networks.
Programming Languages, Compilers, Interpreters.
Management of Computing and Information Systems.
Logics and Meanings of Programs.
QA76.758
005.1
Reuse -- Availability, safety and optimization -- Sequences and interactions -- Testing -- Metrics, constraints and repositories.- SDL and V&V.
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.
9783319117430
10.1007/978-3-319-11743-0 doi
Computer science.
Computer communication systems.
Software engineering.
Programming languages (Electronic computers).
Computer logic.
Management information systems.
Computer Science.
Software Engineering.
Computer Communication Networks.
Programming Languages, Compilers, Interpreters.
Management of Computing and Information Systems.
Logics and Meanings of Programs.
QA76.758
005.1