Structured Object-Oriented Formal Language and Method by Zhenhua Duan & Shaoying Liu & Cong Tian & Fumiko Nagoya

Author:Zhenhua Duan & Shaoying Liu & Cong Tian & Fumiko Nagoya
Language: eng
Format: epub
ISBN: 9783030136512
Publisher: Springer International Publishing

where n is an integer and x is a variable. The elementary statements in MSVL are defined as follows:

where x is a variable, e is an arbitrary expression, b is a boolean expression, and are all MSVL statements. The immediate assignment , unit assignment , empty, lbf(x) and frame(x) are basic statements, and the left composite ones.

For convenience of modeling complex software and hardware systems, MSVL takes the divide-and-conquer strategy and employees functions as the basic components like C programming language does. The general grammar of MSVL function is as follows [24]:

Download

Copyright Disclaimer:
This site does not store any files on its server. We only index and link to content provided by other sites. Please contact the content providers to delete copyright contents if any and email us, we'll remove relevant links or contents immediately.