Muutke küpsiste eelistusi

System Analysis and Modeling: Models and Reusability: 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedings 2014 ed. [Pehme köide]

Edited by , Edited by , Edited by
  • Formaat: Paperback / softback, 314 pages, kõrgus x laius: 235x155 mm, kaal: 5095 g, 124 Illustrations, black and white; XXII, 314 p. 124 illus., 1 Paperback / softback
  • Sari: Programming and Software Engineering 8769
  • Ilmumisaeg: 12-Sep-2014
  • Kirjastus: Springer International Publishing AG
  • ISBN-10: 3319117424
  • ISBN-13: 9783319117423
Teised raamatud teemal:
  • Pehme köide
  • Hind: 48,70 €*
  • * hind on lõplik, st. muud allahindlused enam ei rakendu
  • Tavahind: 57,29 €
  • Säästad 15%
  • Raamatu kohalejõudmiseks kirjastusest kulub orienteeruvalt 2-4 nädalat
  • Kogus:
  • Lisa ostukorvi
  • Tasuta tarne
  • Tellimisaeg 2-4 nädalat
  • Lisa soovinimekirja
System Analysis and Modeling: Models and Reusability: 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedings 2014 ed.Suurem pilt
  • Formaat: Paperback / softback, 314 pages, kõrgus x laius: 235x155 mm, kaal: 5095 g, 124 Illustrations, black and white; XXII, 314 p. 124 illus., 1 Paperback / softback
  • Sari: Programming and Software Engineering 8769
  • Ilmumisaeg: 12-Sep-2014
  • Kirjastus: Springer International Publishing AG
  • ISBN-10: 3319117424
  • ISBN-13: 9783319117423
Teised raamatud teemal:
Püsilink: https://www.kriso.ee/db/9783319117423.html
Märksõnad:
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.

Reuse.- Availability, safety and optimization.- Sequences and interactions.- Testing.- Metrics, constraints and repositories.- SDL and V&V.
Reuse
BVR -- Better Variability Results
1(15)
Øystein Haugen
Ommund Øgard
MID: A MetaCASE Tool for a Better Reuse of Visual Notations
16(16)
Amine El Kouhen
Abdelouahed Gherbi
Cedric Dumoulin
Pierre Boulet
Sebastien Gerard
An Empirical Study on the Anticipation of the Result of Copying and Pasting among UML Editors
32(16)
Daniel Liabeuf
Xavier Le Pallec
Jose Rouillard
Availability, Safety and Optimization
Toward a UCM-Based Approach for Recovering System Availability Requirements from Execution Traces
48(16)
Jameleddine Bassine
Abdelwahab Hamou-Lhadj
Architecture Framework for Software Safety
64(16)
Havva Gulay Gurbuz
Nagehan Pala Er
Bedir Tekinerdogan
Search-Based Model Optimization Using Model Transformations
80(16)
Joachim Denil
Maris Jukss
Clark Verbrugge
Hans Vangheluwe
Sequences and Interactions
Associativity between Weak and Strict Sequencing
96(14)
Gregor v. Bochmann
Efficient Representation of Timed UML 2 Interactions
110(16)
Alexander Knapp
Harald Storrle
Integrating Graph Transformations and Modal Sequence Diagrams for Specifying Structurally Dynamic Reactive Systems
126(16)
Sabine Winetzhammer
Joel Greenyer
Matthias Tichy
Testing
A Systematic Approach to Automatically Derive Test Cases from Use Cases Specified in Restricted Natural Languages
142(16)
Man Zhang
Tao Yue
Shaukat Ali
Huihui Zhang
Ji Wu
Acceptance Test Optimization
158(16)
Mohamed Mussa
Ferhat Khendek
Verifying Hypermedia Applications by Using an MDE Approach
174(16)
Delcino Picinin Junior
Cristian Koliver
Celso A.S. Santos
Jean-Marie Farines
Revisiting Model-Driven Engineering for Run-Time Verification of Business Processes
190(8)
Wei Dou
Domenico Bianculli
Lionel Briand
Model-Based Testing: An Approach with SDL/RTDS and DIVERSITY
198(9)
Julien Deltour
Alain Faivre
Emmanuel Gaudin
Arnault Lapitre
Metrics, Constraints and Repositories
On Bringing Object-Oriented Software Metrics into the Model-Based World - Verifying ISO 26262 Compliance in Simulink
207(16)
Lukas Maurer
Tanja Hebecker
Torben Stolte
Michael Lipaczewski
Uwe Mohrstadt
Frank Ortmeier
Insights on the Use of OCL in Diverse Industrial Applications
223(16)
Shaukat Ali
Tao Yue
Muhammad Zohaib Iqbal
Rajwinder Kaur Panesar- Walawege
Model-Based Mining of Source Code Repositories
239(16)
Markus Scheidgen
Joachim Fischer
SDL and V&V
Towards an Extensible Modeling and Validation Framework for SDL-UML
255(16)
Alexander Kraas
SDL Implementations for Wireless Sensor Networks -- Incorporation of PragmaDev's RTDS into the Deterministic Protocol Stack BiPS
271(16)
Tobias Braun
Dennis Christmann
Reinhard Gotzhein
Alexander Mater
Formal Technical Process Specification and Verification for Automated Production Systems
287(1)
Georg Hackenberg
Alarico Campetelli
Christoph Legat
Jakob Mund
Sabine Teufl
Birgit Vogel-Heuseri
Prototyping SDL Extensions
287(26)
Andreas Blunk
Joachim Fischer
Author Index 313