"Structured Object-Oriented Formal Language and Method" - Information and Links:

Structured Object-Oriented Formal Language and Method - Info and Reading Options

10th International Workshop, SOFL+MSVL 2020, Singapore, March 1, 2021, Revised Selected Papers

"Structured Object-Oriented Formal Language and Method" was published by Springer International Publishing AG in 2021 - Cham, it has 1 pages and the language of the book is English.


“Structured Object-Oriented Formal Language and Method” Metadata:

  • Title: ➤  Structured Object-Oriented Formal Language and Method
  • Authors:
  • Language: English
  • Number of Pages: 1
  • Publisher: ➤  Springer International Publishing AG
  • Publish Date:
  • Publish Location: Cham

“Structured Object-Oriented Formal Language and Method” Subjects and Themes:

Edition Specifications:

  • Weight: 0.454
  • Pagination: viii, 205

Edition Identifiers:

AI-generated Review of “Structured Object-Oriented Formal Language and Method”:


"Structured Object-Oriented Formal Language and Method" Description:

Open Data:

Intro -- Preface -- Organization -- Contents -- Modeling and Specification -- An MSVL-Based Modeling Framework for Back Propagation Neural Networks -- 1 Introduction -- 2 Background -- 2.1 The Language MSVL -- 2.2 Back Propagation Neural Network -- 3 Design of the Modeling Framework -- 3.1 Design Principles -- 3.2 Sketch of the Modeling Framework -- 3.3 Modeling of the Structure -- 3.4 Modeling of the Behavior -- 4 Implementation of the Modeling Framework -- 4.1 Implementation of the Data Structures -- 4.2 Implementation of Operations -- 4.3 Construction of a BP Neural Network -- 5 Experiment -- 6 Conclusions -- References -- A Case Study on Combining Agile Requirements Development and SOFL -- 1 Introduction -- 2 Background -- 3 Requirements Development Process -- 3.1 Informal Specification -- 3.2 Semi-formal Specification -- 3.3 A Combined Requirement Development Process -- 4 Case Study -- 4.1 Results -- 4.2 Findings -- 5 Related Work -- 6 Conclusions -- References -- Formal Modeling and Verification of Microservice-Based Cyber-Physical System -- 1 Introduction -- 2 Related Work -- 3 Microservice-Based CPS Framework -- 4 CSP -- 5 The Transformation Between MSBF and CSP -- 6 The Museum System Architecture -- 7 Museum System Modeling -- 8 The Verification of Museum System Model -- 9 Conclusion -- References -- Design and Implementation of Virtual Reality Geometric Modeling in Apla+VR -- 1 Introduction -- 2 Related Work -- 2.1 Virtual Reality Geometric Modeling -- 2.2 MAXScript Geometric Modeling Language and 3DSMax Framework -- 2.3 PAR Platform -- 3 Apla+VR Language Design and Code Generator Development -- 3.1 Apla+VR Syntax -- 3.2 Code Generator -- 3.3 Development Steps of Virtual Reality Models Based on PAR Method -- 4 A Case Study -- 4.1 Apla+VR Implementation of 3D Model -- 4.2 Generation -- 4.3 Formal Verification -- 5 Conclusions

Read “Structured Object-Oriented Formal Language and Method”:

Read “Structured Object-Oriented Formal Language and Method” by choosing from the options below.

Search for “Structured Object-Oriented Formal Language and Method” downloads:

Visit our Downloads Search page to see if downloads are available.

Find “Structured Object-Oriented Formal Language and Method” in Libraries Near You:

Read or borrow “Structured Object-Oriented Formal Language and Method” from your local library.

Buy “Structured Object-Oriented Formal Language and Method” online:

Shop for “Structured Object-Oriented Formal Language and Method” on popular online marketplaces.