Skip to main content
SpringerLink
Log in
Book cover

System Analysis and Modeling: Models and Reusability

8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedings

  • Conference proceedings
  • © 2014

Overview

Editors:
  1. Daniel Amyot

    1. School of Electrical Engineering and Computer Sience, University of Ottawa, Ottawa, Canada

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Pau Fonseca i Casas

    1. Department of Statistics and Operations Research, Universitat Politècnica de Catalunya - Barcelona Tech, Barcelona, Spain

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Gunter Mussbacher

    1. Department of Electrical and Computer Engineering, McGill University, Montreal, Canada

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 8769)

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: SAM 2014.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (21 papers)

  1. Front Matter

    Download chapter PDF

  2. Reuse

    1. BVR – Better Variability Results

      • Øystein Haugen, Ommund Øgård
      Pages 1-15

    2. MID: A MetaCASE Tool for a Better Reuse of Visual Notations

      • Amine El Kouhen, Abdelouahed Gherbi, Cédric Dumoulin, Pierre Boulet, Sébastien Gérard
      Pages 16-31

    3. An Empirical Study on the Anticipation of the Result of Copying and Pasting among UML Editors

      • Daniel Liabeuf, Xavier Le Pallec, José Rouillard
      Pages 32-47

  3. Availability, Safety and Optimization

    1. Toward a UCM-Based Approach for Recovering System Availability Requirements from Execution Traces

      • Jameleddine Hassine, Abdelwahab Hamou-Lhadj
      Pages 48-63

    2. Architecture Framework for Software Safety

      • Havva Gülay Gürbüz, Nagehan Pala Er, Bedir Tekinerdogan
      Pages 64-79

    3. Search-Based Model Optimization Using Model Transformations

      • Joachim Denil, Maris Jukss, Clark Verbrugge, Hans Vangheluwe
      Pages 80-95

  4. Sequences and Interactions

    1. Associativity between Weak and Strict Sequencing

      • Gregor v. Bochmann
      Pages 96-109

    2. Efficient Representation of Timed UML 2 Interactions

      • Alexander Knapp, Harald Störrle
      Pages 110-125

    3. Integrating Graph Transformations and Modal Sequence Diagrams for Specifying Structurally Dynamic Reactive Systems

      • Sabine Winetzhammer, Joel Greenyer, Matthias Tichy
      Pages 126-141

  5. Testing

    1. A Systematic Approach to Automatically Derive Test Cases from Use Cases Specified in Restricted Natural Languages

      • Man Zhang, Tao Yue, Shaukat Ali, Huihui Zhang, Ji Wu
      Pages 142-157

    2. Acceptance Test Optimization

      • Mohamed Mussa, Ferhat Khendek
      Pages 158-173

    3. Verifying Hypermedia Applications by Using an MDE Approach

      • Delcino Picinin Júnior, Cristian Koliver, Celso A. S. Santos, Jean-Marie Farines
      Pages 174-189

    4. Revisiting Model-Driven Engineering for Run-Time Verification of Business Processes

      • Wei Dou, Domenico Bianculli, Lionel Briand
      Pages 190-197

    5. Model-Based Testing: An Approach with SDL/RTDS and DIVERSITY

      • Julien Deltour, Alain Faivre, Emmanuel Gaudin, Arnault Lapitre
      Pages 198-206

  6. Metrics, Constraints and Repositories

    1. On Bringing Object-Oriented Software Metrics into the Model-Based World – Verifying ISO 26262 Compliance in Simulink

      • Lukas Mäurer, Tanja Hebecker, Torben Stolte, Michael Lipaczewski, Uwe Möhrstädt, Frank Ortmeier
      Pages 207-222

    2. Insights on the Use of OCL in Diverse Industrial Applications

      • Shaukat Ali, Tao Yue, Muhammad Zohaib Iqbal, Rajwinder Kaur Panesar-Walawege
      Pages 223-238

    3. Model-Based Mining of Source Code Repositories

      • Markus Scheidgen, Joachim Fischer
      Pages 239-254
Back to top

Other volumes

  1. System Analysis and Modeling: Models and Reusability

Keywords

About this book

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.

Editors and Affiliations

  • School of Electrical Engineering and Computer Sience, University of Ottawa, Ottawa, Canada

    Daniel Amyot

  • Department of Statistics and Operations Research, Universitat Politècnica de Catalunya - Barcelona Tech, Barcelona, Spain

    Pau Fonseca i Casas

  • Department of Electrical and Computer Engineering, McGill University, Montreal, Canada

    Gunter Mussbacher

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation