JPH03292531A - Back-up device for development of program - Google Patents

Back-up device for development of program

Info

Publication number
JPH03292531A
JPH03292531A JP9557790A JP9557790A JPH03292531A JP H03292531 A JPH03292531 A JP H03292531A JP 9557790 A JP9557790 A JP 9557790A JP 9557790 A JP9557790 A JP 9557790A JP H03292531 A JPH03292531 A JP H03292531A
Authority
JP
Japan
Prior art keywords
sentence
control
conditional
program
statement
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Pending
Application number
JP9557790A
Other languages
Japanese (ja)
Inventor
Toshiyuki Ando
敏之 安藤
Takashi Ueno
植野 隆司
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Nissan Motor Co Ltd
Original Assignee
Nissan Motor Co Ltd
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Nissan Motor Co Ltd filed Critical Nissan Motor Co Ltd
Priority to JP9557790A priority Critical patent/JPH03292531A/en
Publication of JPH03292531A publication Critical patent/JPH03292531A/en
Pending legal-status Critical Current

Links

Abstract

PURPOSE:To easily recognize a control program by extracting a judging sentence out of a program in order to decode a conditional sentence and at the same time extracting a control sentence corresponding to the decoded conditional sentence for output of the control sentence with correspondence secured to the conditional sentence. CONSTITUTION:A judging sentence extracting means 101 is provided together with a conditional sentence decoding means 102 which decodes a conditional sentence based on the extracting result of the means 101, a control sentence extracting means 103 which extracts a control sentence corresponding to the decoded conditional sentence, and an output means 104 which outputs the extracted control sentence with correspondence secured to the conditional sentence. That is, the judging sentence is extracted for 'if', 'then', 'else', etc., and a conditional sentence is decoded. Then a control sentence corresponding to the decoded conditional sentence is extracted. Both the conditional and control sentences are outputted to a CRT, etc., with correspondence secured between them. Thus the contents of a program described in a high-level language like a C language, etc., can be outputted in an easier-to-understand way.

Description

【発明の詳細な説明】 A、産業上の利用分野 本発明は、制御用マイクロプロセッサのプログラム開発
に使用される開発支援装置に関する。
DETAILED DESCRIPTION OF THE INVENTION A. Field of Industrial Application The present invention relates to a development support device used for program development for a control microprocessor.

B、従来の技術 自動車のエンジン電子制御のように高速動作が要求され
る場合、そのソースプログラムがアセンブリ言語やC言
語などの高級言語で記述されることが多い。このような
高級言語で記述された制御用プログラムにあっては、プ
ログラム言語に定義されたif、then、elseな
どの記述から判断文を判別し、それらの組合せにより記
述された制御内容を解読する必要がある。
B. Prior Art When high-speed operation is required, such as in the electronic control of an automobile engine, the source program is often written in a high-level language such as assembly language or C language. In a control program written in such a high-level language, judgment statements are determined from descriptions of if, then, else, etc. defined in the programming language, and the control content written by a combination of these is deciphered. There is a need.

第3図はエンジン電子制御用プログラムリストの一部を
模式的に示すもので、このプログラムリストには次のよ
うな制御内容が記述されている。
FIG. 3 schematically shows a part of the engine electronic control program list, and the following control contents are described in this program list.

■[水温TWが25℃未満ならば」(条件文a)。■[If the water temperature TW is less than 25°C] (conditional sentence a).

「Aという処理制御を行う」 (制御文b)。"Perform processing control A" (control statement b).

■「水温TWが25℃未満かつスタータオン後300秒
未満ならば」 (条件文C)、「Bという処理制御を行
う」 (制御文d)。
■ "If the water temperature TW is less than 25° C. and less than 300 seconds after the starter is turned on" (conditional statement C), "perform the process control B" (control statement d).

■「水温TWが25℃未満でスタータオン後300秒以
上ならば」 (条件文e)、「Cという処理制御を行う
」 (制御文f)。
■ "If the water temperature TW is less than 25° C. and 300 seconds or more after the starter is turned on" (conditional statement e), "perform process control C" (control statement f).

C9発明が解決しようとする課題 しかしながら、第3図に示す程度のステップ数の制御プ
ログラムでさえ、条件文eの解読が離しい、ましてや、
これ以上の階層構造になると第3者はもとより、作成者
でさえ内容を解読するのに時間を要し、デバグの効率が
悪い、あるいは、再利用性や伝承性が悪いという問題が
ある。
C9 Problems to be Solved by the Invention However, even with a control program having as many steps as shown in FIG. 3, it is difficult to decipher the conditional statement e.
If the hierarchical structure is more than this, it will take time for not only a third party but even the creator to decipher the contents, leading to problems such as poor debugging efficiency, poor reusability, and poor propagation.

本発明の目的は、C言語のような高級言語で記述された
プログラムの内容をよりわかりやすく出力できるプログ
ラム開発支援装置を提供することにある。
An object of the present invention is to provide a program development support device that can output the contents of a program written in a high-level language such as the C language in a more understandable manner.

90課題を解決するための手段 クレーム対応図である第1図に対応づけて本発明を説明
すると、本発明は、判断文9条件文および制御文を含む
プログラムを作成するための開発支援装置に適用され、
上述の問題点は、判断文を抽出する判断文抽出手段10
1と、この抽出結果から条件文を解読する条件文解読手
段102と、解読した条件文に対応する制御文を抽出す
る制御文抽出手段103と、抽出された制御文を条件文
と対応づけて出力する出力手段104とを具備すること
により解決される。
To explain the present invention in conjunction with FIG. 1, which is a claim correspondence diagram, the present invention provides a development support device for creating a program including judgment statements, nine conditional statements, and control statements. applied,
The above-mentioned problem lies in the judgment sentence extraction means 10 for extracting judgment sentences.
1, a conditional sentence decoding means 102 for decoding a conditional sentence from this extraction result, a control sentence extraction means 103 for extracting a control sentence corresponding to the decoded conditional sentence, and a conditional sentence decoding means 103 for associating the extracted control sentence with the conditional sentence. This can be solved by providing an output means 104 for outputting the output.

80作用 if、then、elseなどの判断文を抽出して条件
文を解読する。さらに解読された条件文に対応する制御
文を抽出し、条件文と制御文とを対応づけてCRTなど
に出力する。
80 actions Extract judgment sentences such as if, then, else and decipher conditional sentences. Furthermore, a control statement corresponding to the decoded conditional statement is extracted, and the conditional statement and control statement are associated with each other and output to a CRT or the like.

F、実施例 第2図は本発明に係るプログラム開発支援装置の概略の
構成を示す。1は、コマンドなどを入力するキーボード
やマウスなどの入力装置、2は、入力された文字を表示
するCRTなどの表示装置、3は1条件文と制御文とを
対応させた一覧表などのデータベースを記憶する外部記
憶装置、4は、データベース作成用あるいは検索用プロ
グラムなどを記憶する内部記憶装置、5はそれらを制御
する制御装置である。
F. Embodiment FIG. 2 shows a schematic configuration of a program development support device according to the present invention. 1 is an input device such as a keyboard or mouse for inputting commands, etc., 2 is a display device such as a CRT that displays input characters, and 3 is a database such as a list of correspondence between conditional statements and control statements. 4 is an internal storage device that stores database creation or search programs, and 5 is a control device that controls them.

ここで、第3図のプログラムリストについて説明すると
、このプログラムリストに記述された条件、制御内容な
どは第4図に示す一覧表形式のデータベースとして外部
記憶装置3に記憶される。
Here, the program list shown in FIG. 3 will be explained. The conditions, control contents, etc. described in this program list are stored in the external storage device 3 as a database in the form of a list shown in FIG.

内部記憶装!!4には後述する第5図および第6図のプ
ログラムが記憶されており、外部記憶装置3に記憶され
る第4図に示すデータベースはこれらのプログラムに従
って作成される。さらに、データベースは第7図に示す
プログラムに従って検索される。
Internal memory! ! 4 stores programs shown in FIGS. 5 and 6 which will be described later, and the database shown in FIG. 4 stored in the external storage device 3 is created according to these programs. Furthermore, the database is searched according to the program shown in FIG.

第5図は、制御プログラムから判断文を抽出して条件文
と制御文とを対応づけるとともに、その結果の表示、登
録あるいは置換を行うプログラムを示す。
FIG. 5 shows a program that extracts a judgment statement from a control program, associates a conditional statement with a control statement, and displays, registers, or replaces the result.

まずステップSIOが実行されると、読み取られた制御
プログラムから判断文を抽出して条件文の解読、制御文
の抽出を行う。この詳細プログラムを第6図に示す。
First, when step SIO is executed, judgment statements are extracted from the read control program, conditional statements are deciphered, and control statements are extracted. This detailed program is shown in FIG.

ここでプログラムは#if”else”tt(II、4
1)”2条件文、制御文から成るものとし、このアルゴ
リズムはファンクション名の後からサーチし、プログラ
ムは、”if”else“(71%)”2条件文、制御
文毎に取り込むようにしている。
Here the program is #if"else"tt(II, 4
1) It is assumed that the algorithm consists of two conditional statements and a control statement, and this algorithm searches after the function name, and the program reads "if" else "(71%)" for each two conditional statements and control statement. There is.

まず、ステップ5101では、階層の深さを示す変数i
に1を代入して初期化する(i=1は無条件で実行され
る制御文の階層である)。そしてステップ5102で「
(」であるか否かを判定し、「(」であると判定されれ
ばステップ8108に進む。ステップ3108では階層
毎のフラグK(i)に1を代入し、再びステップ510
2に戻る。
First, in step 5101, a variable i indicating the depth of the hierarchy is
Initialize by assigning 1 to (i=1 is the level of control statements that are executed unconditionally). Then, in step 5102, "
If it is determined that it is "(", the process proceeds to step 8108. In step 3108, 1 is assigned to the flag K(i) for each layer, and again in step 510.
Return to 2.

ステップ5102が否定されると、ステップ5103に
進んで[]f」であるか否かを判定し。
If step 5102 is negative, the process proceeds to step 5103, where it is determined whether or not []f''.

rif」であると判定されればステップ5109に進む
。ステップ5109では、iにi+1を挿入する。すな
わち、階層を一層分深くして配列C(i)にifの後の
条件文を格納しステップ5102に戻る。
If it is determined that it is ".rif", the process advances to step 5109. In step 5109, i+1 is inserted into i. That is, the hierarchy is made deeper, the conditional statement after if is stored in array C(i), and the process returns to step 5102.

ステップ5103が否定されると、ステップ5104に
進んでre l s eJであるか否かを判定し、re
lseJであると判定されればステップS 110 ニ
進む。スーrツブ511oでは、  i=i+1を挿入
して配列C(i)にC(i)の否定文を格納してステッ
プ5102に戻る。
If step 5103 is negative, the process proceeds to step 5104, where it is determined whether or not re l s eJ, and re
If it is determined that it is lseJ, the process proceeds to step S110D. In the subroutine 511o, i=i+1 is inserted, the negative statement of C(i) is stored in the array C(i), and the process returns to step 5102.

ステップ5104が否定されると、ステップ5105に
進んで「)」であるか否かを判定し、「)」であると判
定されれば、ステップ8106に進み、否定されればス
テップ5111に進む。
If step 5104 is negative, the process proceeds to step 5105 to determine whether it is ")". If it is determined to be ")", the process proceeds to step 8106, and if negative, the process proceeds to step 5111.

ここで、ステップ5102で否定、ステップ5103で
否定、ステップ5104で否定、ステップ5105で否
定、条件文はrifJの後に存在するため、取り込まれ
ているプログラムのステートメントは、制御文である6
ステツプ5111では、変数nに変数iの値を代入し、
メモリSに「無条件」を格納してメモリSの初期化を行
った後、ステップ5112に進む。
Here, negation in step 5102, negation in step 5103, negation in step 5104, negation in step 5105.Since the conditional statement exists after rifJ, the statement of the program being imported is a control statement6.
In step 5111, the value of variable i is assigned to variable n,
After storing "unconditional" in the memory S and initializing the memory S, the process advances to step 5112.

ステップ5112ではn=1であるかを判定する。ステ
ップ5112が否定されるとステップ5113に進み、
メモリSに「それまでSに格納されていた条件」かつr
C(n)Jという条件を新たに格納し、nにn−1を挿
入する。すなわち。
In step 5112, it is determined whether n=1. If step 5112 is negative, proceed to step 5113;
In memory S, "the conditions previously stored in S" and r
A new condition C(n)J is stored and n-1 is inserted into n. Namely.

階層を一層だけ浅くしたあとで、ステップ5l12に戻
る。
After making the hierarchy one layer shallower, the process returns to step 5l12.

ステップ5112でn = 1であればステップ511
4に進む。ステップ5114ではメモリSに格納された
条件文ととりこまれている制御文を対応づけステップ5
115に進む。ステップ5l15ではK (i)=1で
あるかを判定する。ステップ5115が否定されると、
ステップ8116に進みiにi−1を挿入しステップ5
115に戻る。
If n = 1 in step 5112, step 511
Proceed to step 4. In step 5114, the conditional statement stored in the memory S and the imported control statement are matched, and in step 5
Proceed to 115. In step 5l15, it is determined whether K (i)=1. If step 5115 is negative,
Proceed to step 8116 and insert i-1 into i, step 5
Return to 115.

ステップ5115でK (i)=1ならば再びステップ
5102に戻る。
If K (i)=1 in step 5115, the process returns to step 5102 again.

ステップS L 、05で「)」であれば、ステップ8
106に進む。ステップ5106では、K(i)には0
をiにはi−1をそれぞれ挿入してステップ5107に
進む。ステップ5107ではi=0であるか判定し否定
されれば再びステップ5102に戻る。i=0であれば
処理を終了する。
If step SL, 05 is ")", step 8
Proceed to step 106. In step 5106, K(i) is 0.
and i-1 are inserted into i, respectively, and the process proceeds to step 5107. In step 5107, it is determined whether i=0, and if negative, the process returns to step 5102 again. If i=0, the process ends.

以上の処理が終了すると第5図のステップS20に進み
、その結果を表示する。今、第8図に示す制御プログラ
ムに対して以上の処理を行うと、条件文と制御文は第9
図に示すように一覧表の形で対応づけられ、この−覧表
がCRTなどの画面上に表示される。オペレータがこの
画面を見てどの範囲を’ItliAするかを入力すると
(ステップ530)、ステップS40で登録を実行する
。これにより、第9図に示すような条件文と制御文の一
覧表が外部記憶装置3にデータベースとして記憶される
。その後ステップS50に進み、プログラムリスト内の
条件文の記述を実際の状態で表示するような置換処理を
行うかを判定し、肯定されるとステップS60で置換を
行って処理を終了し、否定されると置換しないで処理を
終了する。
When the above processing is completed, the process proceeds to step S20 in FIG. 5, and the results are displayed. Now, when the above processing is performed on the control program shown in Figure 8, the conditional statement and control statement are
As shown in the figure, they are associated in the form of a list, and this list is displayed on a screen such as a CRT. When the operator looks at this screen and inputs which range is to be 'ItliA'ed (step 530), registration is executed in step S40. As a result, a list of conditional statements and control statements as shown in FIG. 9 is stored in the external storage device 3 as a database. After that, the process proceeds to step S50, and it is determined whether to perform a replacement process that displays the description of the conditional statement in the program list in its actual state. , the process ends without replacing.

第10図は、第3図のプログラムリスト内の条件文を解
読しプログラムリスト内に置換した状態を示している。
FIG. 10 shows the state in which the conditional statement in the program list of FIG. 3 has been decoded and replaced in the program list.

なお、このような置換処理が行われると、第4図に示す
ように、条件とその条件の具体的な内容と制御内容とが
一覧表としてデータベース化される。
Note that when such replacement processing is performed, the conditions, specific contents of the conditions, and control contents are compiled into a database as a list, as shown in FIG.

次に第7図に基づいて、外部記憶装W3に既登録のデー
タベースの検索処理について説明する。
Next, based on FIG. 7, a search process for a database already registered in the external storage device W3 will be explained.

ステップS71において、ある条件に応じた状態を検索
項目として入力する。ステップS72では、入力された
検索項目と同一の検索項目が外部記憶装置3のデータベ
ースにあるか判定し、あればステップS73において、
入力した条件と制御内容とを対にして表示する1例えば
、第3図、第4図の場合、rTW (25Jを入力する
と、「TW (25J と制御Aが表示される。
In step S71, a state corresponding to a certain condition is input as a search item. In step S72, it is determined whether the same search item as the input search item exists in the database of the external storage device 3, and if so, in step S73,
Displaying input conditions and control contents as a pair 1 For example, in the case of FIGS. 3 and 4, when rTW (25J is input, "TW (25J" and control A are displayed.

同一項目がなければステップS74に進み、類似項目、
包括項目あるいは部分的−数項目があるか判定する。い
ずれかがあればステップS75で。
If there are no identical items, the process advances to step S74, and similar items,
Determine if there are comprehensive items or partial-several items. If either exists, proceed to step S75.

入力された条件文と類似、包括あるいは部分的−致する
項目をそれに対応する制御内容とともに表示する。いず
れの項目もなければ、ステップ876においてその旨を
表示して終了する。
Items that are similar, comprehensive, or partially match the input conditional statement are displayed together with the corresponding control contents. If there is no item, a message to that effect is displayed in step 876 and the process ends.

ここで、例えば入力項目がrTW(25」の場合、rT
W(2oJのように内容が近い項目を類似項目といい、
包括項目とは、rTW<25かつt−5tart−on
<300JのようにrTW〈25」を含む項目であり、
部分的−数項目とは、rTW <25かツt−s ta
 rt−on (300Jを入力したときのrTW(2
5Jのような項目である。
Here, for example, if the input item is rTW (25), rT
W (items with similar content, such as 2oJ, are called similar items,
Inclusive items are rTW<25 and t-5 tart-on
Items that include rTW〈25'', such as <300J,
Partial-number items are rTW <25 or t-s ta
rt-on (rTW (2
It is an item like 5J.

以上のようなデータベースの検索は、既存の制御プログ
ラムを使用して新たに制御プログラムを作成するときな
どに使用され、第4図や第9図のような表示を見ること
により、検索項目として入力した条件とそれに対応する
制御内容を一目に理解できる。また、検索結果を置換す
れば、プログラムリストの中に条件を文章で入れ込んだ
第10図のようなリストが表示されるから、複雑な入れ
子構造のプログラムをビジュアルに表現できる。
The database search described above is used when creating a new control program using an existing control program, and by looking at the display as shown in Figures 4 and 9, you can enter search items. The conditions and corresponding control details can be understood at a glance. Furthermore, if the search results are replaced, a list like the one shown in FIG. 10 in which the conditions are written in the program list is displayed, so that complex nested programs can be visually expressed.

したがって、プログラム作成作業の効率化と伝承性が向
上する。
Therefore, the efficiency of program creation work and the ability to pass it on to others are improved.

なお、以上ではC言語で記述された自動車用制御プログ
ラムについて説明したが、本発明は判断文と条件文と制
御文から成る各種のプログラムの開発支援装置として利
用できる。
Although the above description has been given of an automobile control program written in C language, the present invention can be used as a development support device for various programs consisting of judgment statements, condition statements, and control statements.

以上の実施例の構成において、判断文抽出手段1o19
条件文解読手段102および制御文抽出手段103は制
御装置5で構成され、出力手段104はCRTなどの表
示装置2で構成される。
In the configuration of the above embodiment, the judgment sentence extraction means 1o19
The conditional sentence decoding means 102 and the control sentence extracting means 103 are constituted by the control device 5, and the output means 104 is constituted by the display device 2 such as a CRT.

G0発明の効果 本発明によれば、プログラムの中から判断文を抽出して
条件文を解読するとともに、解読された条件文に対応す
る制御文を抽出して条件文と対応づけて出力するように
したから、各種の判断文が複雑に関連しあうプログラム
でも条件が一目瞭然となり、しかもそれに対応する制御
内容も明確になり、制御プログラムの認識が容易となり
その伝承性も向上する。
G0 Effects of the Invention According to the present invention, a judgment statement is extracted from a program, a conditional statement is decoded, and a control statement corresponding to the decoded conditional statement is extracted and outputted in association with the conditional statement. As a result, even in a program where various judgment statements are intricately related, the conditions are clear at a glance, and the corresponding control contents are also clear, making it easier to recognize the control program and improving its transmission.

【図面の簡単な説明】[Brief explanation of the drawing]

第1図はクレーム対応図である。 第2図は本発明に係るプログラム開発支援装置の全体構
成を示すブロック図、第3図はプログラムリスト例を示
す図、第4図はデータベースの内容を示す図、第5図〜
第7図はデータベース作成プログラムおよび検索プログ
ラムを示すフローチャート、第8図および第9図は制御
プログラムリストとそれから対応づけた条件文と制御文
とを示す図、第10図は条件文をその状態を示す内容に
置換したプログラムリストを示す図である。 01 03 二人力装置 :外部記憶装置 :判断文抽出手段 :制御文抽出手段 02 04 :表示装置 :内部記憶装置 二条作文解読手段 :出力手段 第1図
FIG. 1 is a complaint correspondence diagram. FIG. 2 is a block diagram showing the overall configuration of the program development support device according to the present invention, FIG. 3 is a diagram showing an example of a program list, FIG. 4 is a diagram showing the contents of a database, and FIGS.
FIG. 7 is a flowchart showing the database creation program and search program, FIGS. 8 and 9 are diagrams showing the control program list and the conditional statements and control statements associated with it, and FIG. 10 shows the conditional statements and their states. FIG. 3 is a diagram showing a program list that has been replaced with the contents shown in FIG. 01 03 Two-man power device: External storage device: Judgment sentence extraction means: Control sentence extraction means 02 04: Display device: Internal storage device Two-article composition decoding means: Output means Fig. 1

Claims (1)

【特許請求の範囲】 判断文、条件文および制御文を含むプログラムを作成す
るための開発支援装置において、 前記判断文を抽出する判断文抽出手段と、 この抽出結果から条件文を解読する条件文解読手段と、 解読した条件文に対応する制御文を抽出する制御文抽出
手段と、 抽出された制御文を条件文と対応づけて出力する出力手
段とを具備することを特徴とするプログラム開発支援装
置。
[Scope of Claims] A development support device for creating a program including judgment statements, conditional statements, and control statements, comprising judgment sentence extraction means for extracting the judgment sentences, and condition statements for decoding the condition sentences from the extraction results. A program development support system comprising a decoding means, a control statement extraction means for extracting a control statement corresponding to the decoded conditional statement, and an output means for outputting the extracted control statement in association with the conditional statement. Device.
JP9557790A 1990-04-11 1990-04-11 Back-up device for development of program Pending JPH03292531A (en)

Priority Applications (1)

Application Number Priority Date Filing Date Title
JP9557790A JPH03292531A (en) 1990-04-11 1990-04-11 Back-up device for development of program

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
JP9557790A JPH03292531A (en) 1990-04-11 1990-04-11 Back-up device for development of program

Publications (1)

Publication Number Publication Date
JPH03292531A true JPH03292531A (en) 1991-12-24

Family

ID=14141446

Family Applications (1)

Application Number Title Priority Date Filing Date
JP9557790A Pending JPH03292531A (en) 1990-04-11 1990-04-11 Back-up device for development of program

Country Status (1)

Country Link
JP (1) JPH03292531A (en)

Cited By (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
WO2015008575A1 (en) * 2013-07-19 2015-01-22 日産自動車株式会社 Software inspection device, software inspection method, and software inspection program

Cited By (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
WO2015008575A1 (en) * 2013-07-19 2015-01-22 日産自動車株式会社 Software inspection device, software inspection method, and software inspection program
CN105556484A (en) * 2013-07-19 2016-05-04 日产自动车株式会社 Software inspection device, software inspection method, and software inspection program
JP6004110B2 (en) * 2013-07-19 2016-10-05 日産自動車株式会社 Software inspection device, software inspection method, software inspection program

Similar Documents

Publication Publication Date Title
Marx Algebraic relativization and arrow logic
US20090070747A1 (en) System for Adding Code Commentary to Source Code During Software Debugging
JPS6091450A (en) Table type language interpreter
Hulden Finite-state machine construction methods and algorithms for phonology and morphology
US20100058297A1 (en) Seamless debugging among different application views
JPH07191840A (en) Automatic program generator
CN102193789B (en) Method and equipment for realizing configurable skip link
JPH03292531A (en) Back-up device for development of program
US8972927B2 (en) Method and system for providing modeled components
Chen On the generative power of ω-grammars and ω-automata
Ibraheem et al. Adapting Big-Step Semantics to Small-Step Style: Coinductive Interpretations and" Higher-Order" Derivations.
MacLennan The Synmac syntax macroprocessor: Introduction and manual, version 5
CN111459483A (en) Interface processing method and device
Campbell et al. Epistemic semantics in guarded string models
CN114138425B (en) Method and device for generating form based on formula
JPH03292532A (en) Back-up device for development of program
JP5013506B2 (en) Application program execution method, apparatus and program
Rasmussen A Ruby proof system
JPH07182152A (en) Object type model production system, fault dyagnostic system and its production system
CN115794094A (en) Page construction method and device
CN114637778A (en) Visual data acceptance method and system
KR20020032889A (en) A Method for Analysing a Call-Hierarchy among JAVA Classes
Wong Formal verification of VIPER’s ALU
Mason Data programming for non-programmers
CN116992016A (en) Content processing method, device, computer equipment and storage medium