↓ 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 Combining Specification-Based Testing, Correctness Proof, and Inspection for Program Verification in Practice
  3. Altmetric Badge
    Chapter 2 Theory of Test Modeling Based on Regular Expressions
  4. Altmetric Badge
    Chapter 3 Integrating Separation Logic with PPTL
  5. Altmetric Badge
    Chapter 4 Improved Net Reductions for LTL $$\setminus $$ \ X Model Checking
  6. Altmetric Badge
    Chapter 5 Formalizing and Implementing Types in MSVL
  7. Altmetric Badge
    Chapter 6 Present-Future Form of Linear Time $$\mu $$ -Calculus
  8. Altmetric Badge
    Chapter 7 Prototype Tool for Supporting a Formal Engineering Approach to Service-Based Software Modeling
  9. Altmetric Badge
    Chapter 8 A Supporting Tool for Syntactic Analysis of SOFL Formal Specifications and Automatic Generation of Functional Scenarios
  10. Altmetric Badge
    Chapter 9 SOFL Specification Animation with Tool Support
  11. Altmetric Badge
    Chapter 10 An Approach to Declaring Data Types for Formal Specifications
  12. Altmetric Badge
    Chapter 11 Detection Method of the Second-Order SQL Injection in Web Applications
  13. Altmetric Badge
    Chapter 12 Applying SOFL to Constructing a Smart Traffic Light Specification
  14. Altmetric Badge
    Chapter 13 Checking Internal Consistency of SOFL Specification: A Hybrid Approach
Attention for Chapter 13: Checking Internal Consistency of SOFL Specification: A Hybrid Approach
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
Checking Internal Consistency of SOFL Specification: A Hybrid Approach
Chapter number 13
Book title
Structured Object-Oriented Formal Language and Method
Published by
Springer, Cham, October 2013
DOI 10.1007/978-3-319-04915-1_13
Book ISBNs
978-3-31-904914-4, 978-3-31-904915-1
Authors

Yuting Chen, Chen, Yuting

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 %
Other 1 100%
Readers by discipline Count As %
Computer Science 1 100%

This page is provided by Altmetric.