Structured Object-Oriented Formal Language and Method - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

13

(FIVE YEARS 13)

H-INDEX

0

(FIVE YEARS 0)

Published By Springer International Publishing

9783030774738, 9783030774745

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Runtime Verification of Ethereum Smart Contracts Based on MSVL

Structured Object-Oriented Formal Language and Method - Lecture Notes in Computer Science ◽

10.1007/978-3-030-77474-5_10 ◽

2021 ◽

pp. 142-153

Author(s):

Bin Yu ◽

Xu Lu ◽

Hao Chen ◽

Ming Lei ◽

Xiaobing Wang

Keyword(s):

Runtime Verification ◽

Smart Contracts

Download Full-text

Pointer Program Synthesis as Non-deterministic Planning

Structured Object-Oriented Formal Language and Method - Lecture Notes in Computer Science ◽

10.1007/978-3-030-77474-5_9 ◽

2021 ◽

pp. 126-141

Author(s):

Xu Lu ◽

Bin Yu

Keyword(s):

Program Synthesis

Download Full-text

A Formal Approach to Secure Design of RESTful Web APIs Using SOFL

Structured Object-Oriented Formal Language and Method - Lecture Notes in Computer Science ◽

10.1007/978-3-030-77474-5_8 ◽

2021 ◽

pp. 105-125

Author(s):

Busalire Emeka ◽

Soichiro Hidaka ◽

Shaoying Liu

Keyword(s):

Formal Approach

Download Full-text

Design and Implementation of Virtual Reality Geometric Modeling in Apla+VR

Structured Object-Oriented Formal Language and Method - Lecture Notes in Computer Science ◽

10.1007/978-3-030-77474-5_4 ◽

2021 ◽

pp. 54-65

Author(s):

Jiewen Huang ◽

Jinyun Xue ◽

Zhen You ◽

Zhehong Zhou

Keyword(s):

Virtual Reality ◽

Geometric Modeling ◽

Design And Implementation

Download Full-text

Formal Modeling and Verification of Microservice-Based Cyber-Physical System

Structured Object-Oriented Formal Language and Method - Lecture Notes in Computer Science ◽

10.1007/978-3-030-77474-5_3 ◽

2021 ◽

pp. 34-53

Author(s):

Jingzi Wang ◽

Hongyan Mao ◽

Ningkang Jiang

Keyword(s):

Physical System ◽

Formal Modeling ◽

Cyber Physical System

Download Full-text

An Unified Model Checking Approach of APTL

Structured Object-Oriented Formal Language and Method - Lecture Notes in Computer Science ◽

10.1007/978-3-030-77474-5_5 ◽

2021 ◽

pp. 69-78

Author(s):

Haiyang Wang

Keyword(s):

Model Checking ◽

Download Full-text

A Case Study on Combining Agile Requirements Development and SOFL

Structured Object-Oriented Formal Language and Method - Lecture Notes in Computer Science ◽

10.1007/978-3-030-77474-5_2 ◽

2021 ◽

pp. 23-33

Author(s):

Fumiko Nagoya

Keyword(s):

Requirements Development ◽

Agile Requirements

Download Full-text

An MSVL-Based Modeling Framework for Back Propagation Neural Networks

Structured Object-Oriented Formal Language and Method - Lecture Notes in Computer Science ◽

10.1007/978-3-030-77474-5_1 ◽

2021 ◽

pp. 3-22

Author(s):

Liang Zhao ◽

Zhe Feng ◽

Xiaobing Wang ◽

Xinfeng Shu

Keyword(s):

Neural Networks ◽

Back Propagation ◽

Modeling Framework ◽

Back Propagation Neural Networks

Download Full-text

Formalizing Spark Applications with MSVL

Structured Object-Oriented Formal Language and Method - Lecture Notes in Computer Science ◽

10.1007/978-3-030-77474-5_13 ◽

2021 ◽

pp. 193-204

Author(s):

Meng Wang ◽

Shushan Li

Download Full-text

Software Testing with Statistical Partial Oracles

Structured Object-Oriented Formal Language and Method - Lecture Notes in Computer Science ◽

10.1007/978-3-030-77474-5_12 ◽

2021 ◽

pp. 175-192

Author(s):

Shin Nakajima

Keyword(s):

Software Testing

Download Full-text