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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783030136505, 9783030136512

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Blockchain Implementation of an Attendance Management System

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

10.1007/978-3-030-13651-2_10 ◽

2019 ◽

pp. 169-182

Author(s):

Jingyao Tu ◽

Zhenhua Duan ◽

Cong Tian ◽

Nan Zhang ◽

Ying Wu

Keyword(s):

Management System

Download Full-text

Formal Specification and Verification for Real-Time Scheduling Based on PAR

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

10.1007/978-3-030-13651-2_7 ◽

2019 ◽

pp. 108-122

Author(s):

Zhen You ◽

Zhuo Cheng ◽

Jinyun Xue ◽

Qimin Hu ◽

Wuping Xie

Keyword(s):

Real Time ◽

Formal Specification ◽

Real Time Scheduling ◽

Formal Specification And Verification ◽

Time Scheduling ◽

Specification And Verification

Download Full-text

Formal Semantics and Tool Support for a Syntactically Restricted Dialect of SOFL

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

10.1007/978-3-030-13651-2_8 ◽

2019 ◽

pp. 125-145

Author(s):

Johan van der Berg ◽

Stefan Gruner

Keyword(s):

Formal Semantics ◽

Tool Support

Download Full-text

Runtime Verification Method for Social Network Security Based on Source Code Instrumentation

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

10.1007/978-3-030-13651-2_4 ◽

2019 ◽

pp. 55-70

Author(s):

Xiaobing Wang ◽

Wenxuan Guo ◽

Liang Zhao ◽

Xinfeng Shu

Keyword(s):

Social Network ◽

Network Security ◽

Source Code ◽

Runtime Verification ◽

Verification Method ◽

Code Instrumentation

Download Full-text

Dataset Diversity for Metamorphic Testing of Machine Learning Software

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

10.1007/978-3-030-13651-2_2 ◽

2019 ◽

pp. 21-38 ◽

Cited By ~ 2

Author(s):

Shin Nakajima

Keyword(s):

Machine Learning ◽

Metamorphic Testing ◽

Learning Software

Download Full-text

State-of-the-Art and Future Trends of Blockchain Based on DAG Structure

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

10.1007/978-3-030-13651-2_11 ◽

2019 ◽

pp. 183-196 ◽

Cited By ~ 2

Author(s):

Chong Bai

Keyword(s):

State Of The Art ◽

Future Trends

Download Full-text

Verification of SysML Activity Diagrams Using Hoare Logic and SOFL

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

10.1007/978-3-030-13651-2_5 ◽

2019 ◽

pp. 71-88

Author(s):

Yufei Yin ◽

Shaoying Liu ◽

Yixiang Chen

Keyword(s):

Hoare Logic ◽

Activity Diagrams ◽

Sysml Activity Diagrams

Download Full-text

On Semantics for Mediator: A Coalgebraic Perspective

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

10.1007/978-3-030-13651-2_9 ◽

2019 ◽

pp. 146-165

Author(s):

Ai Liu ◽

Shun Wang ◽

Yi Li ◽

Meng Sun

Download Full-text

Model Checking Java Programs with MSVL

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

10.1007/978-3-030-13651-2_6 ◽

2019 ◽

pp. 89-107 ◽

Cited By ~ 1

Author(s):

Xinfeng Shu ◽

Na Luo ◽

Bo Wang ◽

Xiaobing Wang ◽

Liang Zhao

Keyword(s):

Model Checking ◽

Java Programs

Download Full-text

Research Review on Web Service Composition Testing

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

10.1007/978-3-030-13651-2_3 ◽

2019 ◽

pp. 39-51

Author(s):

Zhoujie Du ◽

Huaikou Miao

Keyword(s):

Web Service ◽

Service Composition ◽

Web Service Composition ◽

Research Review

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

A Blockchain Implementation of an Attendance Management System

Formal Specification and Verification for Real-Time Scheduling Based on PAR

Formal Semantics and Tool Support for a Syntactically Restricted Dialect of SOFL

Runtime Verification Method for Social Network Security Based on Source Code Instrumentation

Dataset Diversity for Metamorphic Testing of Machine Learning Software

State-of-the-Art and Future Trends of Blockchain Based on DAG Structure

Verification of SysML Activity Diagrams Using Hoare Logic and SOFL

On Semantics for Mediator: A Coalgebraic Perspective

Model Checking Java Programs with MSVL

Research Review on Web Service Composition Testing

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