形式的仕様記述の英語

エディタ制御手段100 は、この決定された仕様形式で利用者に仕様を記述させるべく、複数のエディタ102-1 〜102-n のうち決定された仕様形式に対応するエディタを自動的に起動する。例文帳に追加

In order to allow the user to describe a specification, an editor control means 100 automatically starts an editor corresponding to the decided specification form in plural editors 102-1 to 102-n. - 特許庁

プログラムの記述内容を形式的手法による検証が可能な形式的仕様に変換した回路記述の検証を簡便ならしめることができる回路記述の抽象化装置及び検証装置、回路記述の抽象化プログラム及び検証プログラム、並びに回路記述の抽象化方法及び検証方法を提供する。例文帳に追加

To provide an abstraction device and a verification device of circuit description, an abstraction program and a verification program of the circuit description, and an abstraction method and a verification method of the circuit description, allowing facilitation of verification of the circuit description converted into a formal specification, wherein description contents of a program can be verified by a formal technique. - 特許庁

次いで、形式仕様からフロントエンドコードを自動的に生成し、Ｊａｖａ（登録商標）プログラミング言語等の第１のコンピュータ言語で記述する。例文帳に追加

Then, a front end code is automatically generated from the format specification, and described in first computer language such as Java (registered trademark) programming language. - 特許庁

あらかじめ形式的に記述しておいた仕様（例えばメソッドの事前条件と事後条件）に従って、プログラムの動作状況を自動的に検証、プログラム内の誤っている箇所の範囲、つまり挙動を確認すべき範囲を自動的に絞り込む。例文帳に追加

In the information processor, an operation situation of the program is automatically verified according to previously formally described specifications (e.g. a precondition and a postcondition of a method), and a range of an erroneous position inside the program, that is, a range wherein behavior should be confirmed is automatically narrowed down. - 特許庁