↓ 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
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

policy
1 policy source

Readers on

mendeley
1 Mendeley
Summary Policy documents
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
Structured Object-Oriented Formal Language and Method
Published by
Springer International Publishing, April 2019
DOI 10.1007/978-3-030-13651-2
ISBNs
978-3-03-013650-5, 978-3-03-013651-2
Editors

Duan, Zhenhua, Liu, Shaoying, Tian, Cong, Nagoya, Fumiko

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.