System Analysis and Modeling: Models and Reusability

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

  • Daniel Amyot
  • Pau Fonseca i Casas
  • Gunter Mussbacher

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

Table of contents

  1. Front Matter
  2. Reuse

    1. Øystein Haugen, Ommund Øgård
      Pages 1-15
    2. Amine El Kouhen, Abdelouahed Gherbi, Cédric Dumoulin, Pierre Boulet, Sébastien Gérard
      Pages 16-31
    3. Daniel Liabeuf, Xavier Le Pallec, José Rouillard
      Pages 32-47
  3. Availability, Safety and Optimization

    1. Havva Gülay Gürbüz, Nagehan Pala Er, Bedir Tekinerdogan
      Pages 64-79
    2. Joachim Denil, Maris Jukss, Clark Verbrugge, Hans Vangheluwe
      Pages 80-95
  4. Sequences and Interactions

    1. Gregor v. Bochmann
      Pages 96-109
    2. Alexander Knapp, Harald Störrle
      Pages 110-125
  5. Testing

    1. Mohamed Mussa, Ferhat Khendek
      Pages 158-173
    2. Delcino Picinin Júnior, Cristian Koliver, Celso A. S. Santos, Jean-Marie Farines
      Pages 174-189
    3. Wei Dou, Domenico Bianculli, Lionel Briand
      Pages 190-197
    4. Julien Deltour, Alain Faivre, Emmanuel Gaudin, Arnault Lapitre
      Pages 198-206
  6. Metrics, Constraints and Repositories

    1. Lukas Mäurer, Tanja Hebecker, Torben Stolte, Michael Lipaczewski, Uwe Möhrstädt, Frank Ortmeier
      Pages 207-222
    2. Shaukat Ali, Tao Yue, Muhammad Zohaib Iqbal, Rajwinder Kaur Panesar-Walawege
      Pages 223-238
    3. Markus Scheidgen, Joachim Fischer
      Pages 239-254
  7. SDL and V&V

    1. Georg Hackenberg, Alarico Campetelli, Christoph Legat, Jakob Mund, Sabine Teufl, Birgit Vogel-Heuser
      Pages 287-303
    2. Andreas Blunk, Joachim Fischer
      Pages 304-311
  8. Back Matter

About these proceedings


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.


ITU availability modeling behavioral modeling distributed systems domain-specific languages embedded systems model checking model reuse model-driven development product lines reusability software design software repositories software safety specification and description language validation and verification variability modeling visual languages

Editors and affiliations

  • Daniel Amyot
    • 1
  • Pau Fonseca i Casas
    • 2
  • Gunter Mussbacher
    • 3
  1. 1.School of Electrical Engineering and Computer SienceUniversity of OttawaOttawaCanada
  2. 2.Department of Statistics and Operations ResearchUniversitat Politècnica de Catalunya - Barcelona TechBarcelonaSpain
  3. 3.Department of Electrical and Computer EngineeringMcGill UniversityMontrealCanada

Bibliographic information

  • DOI
  • Copyright Information Springer International Publishing Switzerland 2014
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-11742-3
  • Online ISBN 978-3-319-11743-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Energy, Utilities & Environment