形式仕様記述の英語

利用者が作成した仕様記述に従ってプログラムを自動生成するプログラム自動生成装置において、利用者が自動生成しようとしているプログラムが持つ機能毎に最適な仕様形式を装置自体が決定し、この決定した仕様形式で利用者に仕様を記述させる。例文帳に追加

To allow a user to describe a specification by an optimal specification form which is decided by a device itself for every function of a program to be automatically generated by the user based on specification description generated by the user. - 特許庁

エディタ制御手段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. - 特許庁

利用者が自動生成しようとするプログラムが持つべき機能として幾つかの機能を指定すると、仕様形式決定手段101 は、利用者が指定した各機能毎に対応表110 を参照し、各機能の仕様を記述する仕様形式を決定する。例文帳に追加

When the user designates some functions as necessary functions of the program to be automatically generated by the user, a specification form deciding means 101 decides a specification form for describing the specification of each function by referring to the table by each function designed by the user. - 特許庁

ＵＩ仕様作成装置は、ユーザインタフェースの操作画面に表示される要素が動作する条件に関する情報と、要素が動作する処理の内容に関する情報とを所定の形式で記述させるフォーマットを表示し、該フォーマットを基に要素の仕様に関する記述を受け付ける。例文帳に追加

A UI specification creation device displays a format for describing information on conditions for elements displayed on an operation screen of the user interface to be operated and information on contents of processing in which elements are operated in a specified form, and receives description on specifications of the elements based on the format. - 特許庁

システム実装変換部１２は、実行制御表に基づいて、システム記述言語で記述された実行可能な形式を持つシステム仕様（２３）を生成する。例文帳に追加

A system mounting converting part 12 generates a system specification (23) having an executable format described in system descriptive language based on the execution control chart. - 特許庁

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

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. - 特許庁

設計モデルの記述形式に沿って記述されたオブジェクト指向のソフトウェアの設計情報、に基づいてソフトウェアの仕様書を作成する仕様書作成装置１００であって、対象設計情報を解析して仕様書の作成に必要な情報を抽出する設計情報解析手段１０と、設計情報解析手段１０において抽出された情報に基づいて、対象設計情報から生成されるソフトウェアの仕様書を出力する仕様書作成手段１４と、を含む仕様書作成装置により上記課題を解決できる。例文帳に追加

A specification creation apparatus 100 for creating software specifications according to design information about object-oriented software described along a description format of a design model includes a design information analyzing means 10 for analyzing target design information to extract information necessary to create specifications, and a specification creating means 14 for outputting specifications of software generated from the target design information according to the information extracted by the design information analyzing means 10. - 特許庁