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

Software and Data Technologies

Overview of attention for book
Cover of 'Software and Data Technologies'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Data, Context, Situation: On the Usefulness of Semantic Layers for Designing Context-Aware Systems
  3. Altmetric Badge
    Chapter 2 Fencing the Lamb: A Chart Parser for ModelCC
  4. Altmetric Badge
    Chapter 3 Cross-Platform Application Development Using AXIOM as an Agile Model-Driven Approach
  5. Altmetric Badge
    Chapter 4 Rapidly Implementing EMF Applications with EMF Components
  6. Altmetric Badge
    Chapter 5 Generic Programming in Pharo
  7. Altmetric Badge
    Chapter 6 Peer-to-Peer Remote Service Discovery in Pervasive Computing
  8. Altmetric Badge
    Chapter 7 Model Checking Combined Fragments of Sequence Diagrams
  9. Altmetric Badge
    Chapter 8 A Large-Scale Elastic Environment for Scientific Computing
  10. Altmetric Badge
    Chapter 9 Improving Estimates by Hybriding CMMI and Requirement Engineering Maturity Models – A LEGO Application
  11. Altmetric Badge
    Chapter 10 Metamodel Independence in Domain Specific Modeling Languages
  12. Altmetric Badge
    Chapter 11 Service-Oriented Integration of Metamodels’ Behavioural Semantics
  13. Altmetric Badge
    Chapter 12 Fine-Grained Role- and Attribute-Based Access Control for Web Applications
  14. Altmetric Badge
    Chapter 13 An Approach to Context Modeling in Software Development
  15. Altmetric Badge
    Chapter 14 Linear Software Models Are Theoretical Standards of Modularity
Attention for Chapter 7: Model Checking Combined Fragments of Sequence Diagrams
Altmetric Badge

Readers on

mendeley
1 Mendeley
Summary
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.
Chapter title
Model Checking Combined Fragments of Sequence Diagrams
Chapter number 7
Book title
Software and Data Technologies
Published by
Springer, Berlin, Heidelberg, July 2012
DOI 10.1007/978-3-642-45404-2_7
Book ISBNs
978-3-64-245403-5, 978-3-64-245404-2
Authors

Hui Shen, Mark Robinson, Jianwei Niu, Shen, Hui, Robinson, Mark, Niu, Jianwei

View on publisher site
Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
Unknown 1 100%

Demographic breakdown

Readers by professional status Count As %
Student > Bachelor 1 100%
Readers by discipline Count As %
Computer Science 1 100%

This page is provided by Altmetric.