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

Structured Object-Oriented Formal Language and Method

Overview of attention for book
Cover of 'Structured Object-Oriented Formal Language and Method'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Software Construction Monitoring and Predicting for Human-Machine Pair Programming
  3. Altmetric Badge
    Chapter 2 Dataset Diversity for Metamorphic Testing of Machine Learning Software
  4. Altmetric Badge
    Chapter 3 Research Review on Web Service Composition Testing
  5. Altmetric Badge
    Chapter 4 Runtime Verification Method for Social Network Security Based on Source Code Instrumentation
  6. Altmetric Badge
    Chapter 5 Verification of SysML Activity Diagrams Using Hoare Logic and SOFL
  7. Altmetric Badge
    Chapter 6 Model Checking Java Programs with MSVL
  8. Altmetric Badge
    Chapter 7 Formal Specification and Verification for Real-Time Scheduling Based on PAR
  9. Altmetric Badge
    Chapter 8 Formal Semantics and Tool Support for a Syntactically Restricted Dialect of SOFL
  10. Altmetric Badge
    Chapter 9 On Semantics for Mediator : A Coalgebraic Perspective
  11. Altmetric Badge
    Chapter 10 A Blockchain Implementation of an Attendance Management System
  12. Altmetric Badge
    Chapter 11 State-of-the-Art and Future Trends of Blockchain Based on DAG Structure
Attention for Chapter 9: On Semantics for Mediator : A Coalgebraic Perspective
Altmetric Badge

Readers on

mendeley
2 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
On Semantics for Mediator : A Coalgebraic Perspective
Chapter number 9
Book title
Structured Object-Oriented Formal Language and Method
Published by
Springer, Cham, November 2018
DOI 10.1007/978-3-030-13651-2_9
Book ISBNs
978-3-03-013650-5, 978-3-03-013651-2
Authors

Ai Liu, Shun Wang, Yi Li, Meng Sun

View on publisher site
Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
Unknown 2 100%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 1 50%
Professor > Associate Professor 1 50%
Readers by discipline Count As %
Unknown 2 100%

This page is provided by Altmetric.