↓ Skip to main content
What is this page? Embed badge

System Analysis and Modeling: Models and Reusability

Overview of attention for book
Cover of 'System Analysis and Modeling: Models and Reusability'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 BVR – Better Variability Results
  3. Altmetric Badge
    Chapter 2 MID: A MetaCASE Tool for a Better Reuse of Visual Notations
  4. Altmetric Badge
    Chapter 3 An Empirical Study on the Anticipation of the Result of Copying and Pasting among UML Editors
  5. Altmetric Badge
    Chapter 4 Toward a UCM-Based Approach for Recovering System Availability Requirements from Execution Traces
  6. Altmetric Badge
    Chapter 5 Architecture Framework for Software Safety
  7. Altmetric Badge
    Chapter 6 Search-Based Model Optimization Using Model Transformations
  8. Altmetric Badge
    Chapter 7 Associativity between Weak and Strict Sequencing
  9. Altmetric Badge
    Chapter 8 Efficient Representation of Timed UML 2 Interactions
  10. Altmetric Badge
    Chapter 9 Integrating Graph Transformations and Modal Sequence Diagrams for Specifying Structurally Dynamic Reactive Systems
  11. Altmetric Badge
    Chapter 10 A Systematic Approach to Automatically Derive Test Cases from Use Cases Specified in Restricted Natural Languages
  12. Altmetric Badge
    Chapter 11 Acceptance Test Optimization
  13. Altmetric Badge
    Chapter 12 Verifying Hypermedia Applications by Using an MDE Approach
  14. Altmetric Badge
    Chapter 13 Revisiting Model-Driven Engineering for Run-Time Verification of Business Processes
  15. Altmetric Badge
    Chapter 14 Model-Based Testing: An Approach with SDL/RTDS and DIVERSITY
  16. Altmetric Badge
    Chapter 15 On Bringing Object-Oriented Software Metrics into the Model-Based World – Verifying ISO 26262 Compliance in Simulink
  17. Altmetric Badge
    Chapter 16 Insights on the Use of OCL in Diverse Industrial Applications
  18. Altmetric Badge
    Chapter 17 Model-Based Mining of Source Code Repositories
  19. Altmetric Badge
    Chapter 18 Towards an Extensible Modeling and Validation Framework for SDL-UML
  20. Altmetric Badge
    Chapter 19 SDL Implementations for Wireless Sensor Networks – Incorporation of PragmaDev’s RTDS into the Deterministic Protocol Stack BiPS
  21. Altmetric Badge
    Chapter 20 Formal Technical Process Specification and Verification for Automated Production Systems
  22. Altmetric Badge
    Chapter 21 Prototyping SDL Extensions
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

wikipedia
6 Wikipedia pages

Readers on

mendeley
15 Mendeley
Summary Wikipedia
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Title
System Analysis and Modeling: Models and Reusability
Published by
Springer, September 2014
DOI 10.1007/978-3-319-11743-0
ISBNs
978-3-31-911743-0, 978-3-31-911742-3
Editors

Daniel Amyot, Pau Fonseca i Casas, Gunter Mussbacher

View on publisher site Google Preview
Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 15 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
France 1 7%
Unknown 14 93%

Demographic breakdown

Readers by professional status Count As %
Student > Master 4 27%
Student > Bachelor 3 20%
Researcher 3 20%
Student > Ph. D. Student 2 13%
Lecturer > Senior Lecturer 1 7%
Other 2 13%
Readers by discipline Count As %
Computer Science 12 80%
Engineering 2 13%
Business, Management and Accounting 1 7%

This page is provided by Altmetric.