↓ 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 1: Software Construction Monitoring and Predicting for Human-Machine Pair Programming
Altmetric Badge

Readers on

mendeley
5 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
Software Construction Monitoring and Predicting for Human-Machine Pair Programming
Chapter number 1
Book title
Structured Object-Oriented Formal Language and Method
Published by
Springer, Cham, November 2018
DOI 10.1007/978-3-030-13651-2_1
Book ISBNs
978-3-03-013650-5, 978-3-03-013651-2
Authors

Shaoying Liu

View on publisher site
Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
Unknown 5 100%

Demographic breakdown

Readers by professional status Count As %
Professor 1 20%
Lecturer 1 20%
Student > Doctoral Student 1 20%
Unknown 2 40%
Readers by discipline Count As %
Computer Science 2 40%
Engineering 1 20%
Unknown 2 40%

This page is provided by Altmetric.