「仕様記述言語」に関連した英語例文の一覧と使い方 - Weblio英語例文検索

言語記述出力手段12は，そのコマンド構造表現データ３を参照し，オペレーションシステムとネットワーク管理システムとのインタフェース仕様を表すインタフェース定義記述言語仕様４を出力する。例文帳に追加

While referring to these command structure expression data 3, a language description output means 12 outputs an interface definition description language specification 4 expressing the specification of an interface between the operation system and a network managing system. - 特許庁

既存の仕様および記述を再利用可能にするとともに、既存のアプリケーションを進化させるために、ＳＤＬ言語で書かれた仕様をＵＭＬ−ＲＴ言語で書かれた仕様に翻訳する自動翻訳方法を安価で提供する。例文帳に追加

To inexpensively provide an automatic translating method which translates specifications written in an SDL language into specifications written in a UML-RT language while making the existing specifications and description reusable and also to evolve the existing application. - 特許庁

仕様書に記述されている機能ブロックすべてが、ハードウェア記述言語で実装されているかどうかを確かめるための手段を得る。例文帳に追加

To obtain a means for confirming whether functional blocks described in specifications are all mounted in a hardware description language. - 特許庁

プロパティ言語で生成されたプロパティ記述から仕様書を逆生成し、逆生成した仕様書と元の仕様書とを比較してプロパティ記述のミスを訂正する検証支援装置等を提供する。例文帳に追加

To provide a verification support device, etc. for reverse-generating specifications from a property description described in a property language, and correcting mistakes in the property description by comparing the reverse-generated specifications and original specifications. - 特許庁

ワークステーション（プログラム開発装置に相当）上で、汎用言語ソースプログラム（図ではＣ言語）のプリプロセッサ記述部に、独自仕様言語ソースプログラム（図ではＡＴＬ）の記述を埋め込んだ異種言語混在ソースプログラムを作成する（ステップＳ１１０）。例文帳に追加

In a workstation (corresponding to a program development device), a different language mixed source program is prepared by padding the description of an original specification language source program (ATL in a Fig.) in a preprocessor description part of a general language source program (language C in a Fig.) (step S110). - 特許庁

高度な仕様や、ＩＰ間にまたがる仕様を記述できるプロパティ記述言語で書かれたアサーションを処理するデジタル回路検証のための装置及び方法を提供する。例文帳に追加

To provide a device and method for digital circuit verification, which processes assertions written in a property specification language capable of describing high-level specifications and specifications on IPs. - 特許庁

機能仕様が自然言語で記述された機能仕様書をソフトウェアのデータフロー図に基づいて自動生成する機能仕様書自動生成装置を得ること。例文帳に追加

To provide a function specification automatic generation device automatically generating a function specification wherein a function specification is described by a natural language based on a data flow diagram of software. - 特許庁

要求仕様からモデル検査ツールSPINのモデル記述言語の実行モデルを自動生成し早期の段階で要求仕様の検証を行う要求仕様自動検証方式を提供する。例文帳に追加

To provide a requirement specification automatic verification system which automatically generating an execution model in the description language of a model verification tool SPIN from requirement specifications to verify requirement specifications in an early stage. - 特許庁

プログラム言語で記述された仕様によって要求される機能をソフトウェアとハードウェアとへより容易且つ適切に割り当てる。例文帳に追加

To more easily and suitably assign functions required by specifications described in a program language to software and hardware. - 特許庁

ＳＤＬによる視覚的な仕様記述からＪａｖａ（登録商標）言語へのソースコードヘの変換を可能とする。例文帳に追加

To convert a visual specification description by SDL to the source code for Java (registered trademark) language. - 特許庁

高級言語で記述された仕様に基づいてシステムＬＳＩを短期間で設計可能とする設計方法を提供する。例文帳に追加

To provide a design method for designing a system LSI in a short period based on specifications described in high class language. - 特許庁

アプリケーションデータを記述したＸＭＬ文書５０に含まれる各データ要素の仕様を、各データ要素が他のデータ要素との関連で満たすべき条件または該条件の検証手順を人が記述や理解のし易い言語で記述したデータ仕様記述文書３０を作成する。例文帳に追加

A data specification description document 30 is created which describes the specification of each data element contained in an XML document 50 describing application data in a condition each data element should satisfy in relation to other data elements, or a verification procedure of the condition in a language easy for a person to describe or understand. - 特許庁

そして、その異種言語混在ソースプログラムから汎用言語ソースプログラム記述部と独自仕様言語ソースプログラム記述部を取り出して、それぞれのコンパイラでコンパイルし、得られたそれぞれのオブジェクトコードを結合して、一つのオブジェクトファイルを生成する（ステップＳ１２０）。例文帳に追加

The general language source program description part and the original specification language source program description part are extracted from the different language mixed source program and compiled by respective compilers and respective obtained object codes are combined to generate one object file (step S120). - 特許庁

識別子を用いて記述した論理回路の仕様書から自動抽出した論理検証項目と、ハードウェア記述言語により記述した論理システムおよび動作仕様記述の等価性を判定し論理検証をおこなう論理検証装置が用いる動作仕様記述を生成する装置から自動抽出した論理検証項目を比較する装置。例文帳に追加

Disclosed is a device which compares logic verification items automatically extracted from specifications of a logic circuit described by using identifiers with logic verification items automatically extracted from a device generating an operation specification description that a logic system described in a hardware description language and a logic verifying device performing logic verification by deciding equivalence of the operation specification description use. - 特許庁

システム仕様記述言語に沿って作成された仕様を部品化しておき、詳細化前のシステムレベルの設計段階において適切な部品を検索し、仕様に組み込んで有効に再利用することのできる仕様交換装置を提供すること例文帳に追加

To provide a specification exchange device to divide specifications prepared according to a system specification description language into parts and search parts appropriate for a design step at a system level before detailing and allowing to be incorporated into the specifications and effectively being reused. - 特許庁

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

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

Ｃ言語によって集積回路の仕様が記述されると（ステップ１００）、この仕様にかかる機能を複数に分割する機能ブロックのデータベースが作成される（ステップ１１０）。例文帳に追加

When the specifications of the integrated circuit are described in a C language (step 100), a database of a function block for dividing the function related to the specifications into a plurality of parts is created (step 110). - 特許庁

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

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

処理（ＳＴ１）では、半導体集積回路の設計仕様３１に対してハードウェア記述言語を用いてＲＴＬ（Ｒｅｇｉｓｔｏｒ Ｔｒａｎｓｆｅｒ Ｌｅｖｅｌ）で記述され、複数のレジスタを表すＲＴＬデータ３２を生成する。例文帳に追加

In a processing (ST1), RTL (Register Transfer Level) data 32 described by the RTL and expressing a plurality of registers is generated using a hardware description language to a design specification 31 of a semiconductor integrated circuit. - 特許庁

本発明は、高位言語で記述されたアルゴリズム仕様からレジスタトランスファレベルのハードウェア記述言語への変換を行う動作合成装置、動作合成制御方法、動作合成制御プログラム及び記録媒体に関する。例文帳に追加

To provide a behavioral synthesis apparatus that converts an algorithm specification described in a higher-order language to a hardware description language on a register transfer level, a method of controlling behavioral synthesis, a program for controlling behavioral synthesis, and a recording medium. - 特許庁

ソフトウェアの要求仕様書自動生成ツール構成方法に関し、生成されるソースコードの制約を受けることなく、平易な自然言語記述によるソフトウェア要件１０２の記述を基に、ソフトウェア要求仕様書１０４を自動生成する。例文帳に追加

To automatically generate software request specifications 104 on the basis of description of a software condition 102 by plane natural language description regarding a method for comprising a software request specifications automatic generation tool without being restricted by a source code to be generated. - 特許庁

ユーザは、上位言語入力ファイル１０の解析結果として抽象構文木記憶部２２０に記憶される抽象構文木の使用を記述した抽象構文木仕様定義ファイル３０を作成し、プログラミング言語変換プログラム開発支援装置１００に入力する。例文帳に追加

A user prepares an abstract syntax tree specification definition file 30, which describes the use of the abstract syntax tree stored in an abstract syntax tree storage part 220 as the analyzed result of a high-order language input file 10, and inputs it to a programming language translation program development supporting device 100. - 特許庁

ＵＭＬで記述した仕様書とオブジェクト指向言語を用いることによって、仕様書からソースコードの自動生成まで一貫性を保ち、工数の削減、保守性の向上を実現した鉄鋼プラント制御プログラムの自動生成方法および装置を得る。例文帳に追加

To provide a method and apparatus for automatically generating a steel plant control program that maintain the consistency between specifications and automatically generated source code and implement reduced man-hour requirements and improved maintainability, by using the specifications described in UML and an object-oriented language. - 特許庁

文書スキーマ定義言語（DSDL）は複数部からなる国際標準となるはずのものであり、文書構造、データ型、および構造化情報資源におけるデータの関係を記述するための仕様のモジュール化されたセットを定義するものである。例文帳に追加

Document Schema Definition Language (DSDL) is to be a multipart International Standard defining a modular set of specifications for describing the document structures, data types, and data relationships in structured information resources.  - コンピューター用語辞典

XML利用ビジネスレポーティング言語(XBRL)は、以前XFRMLのコード名がつけられていたが、公共および私的企業のどちらにも適用できる財務報告書を記述するためのXMLベースのデータタグを用いるオープン仕様の一つである。例文帳に追加

Extensible Business Reporting Language (XBRL), formerly code-named XFRML, is an open specification which uses XML-based data tags to describe financial statements for both public and private companies.  - コンピューター用語辞典

データ構造定義がＡＳＮ．１仕様に準拠して記述され、そのデータ構造定義に基づくデータ構造の操作をオブジェクト指向言語で記述されたプログラムにより実行する際、そのプログラム実行時にデータ構造定義を与えて動的に型情報を割り当てることを可能にする。例文帳に追加

To dynamically assign type information by applying data structure definition described according to an ASN.1 specification at the time of executing a program described in an object-oriented language at the time of executing the operation of a data structure based on the data structure definition by the program. - 特許庁

例えば、ＩＣカードテスト装置１は、スクリプト言語で記述されたテストスクリプトから、ＩＣカードのプログラムインターフェース仕様に従い、１６進数のキャラクターで記述されたコマンドＡＰＤＵを生成し、生成したコマンドＡＰＤＵを用いてＩＣカードプログラムをテストする。例文帳に追加

For example, the IC card test device 1 generates a command APDU described with hexadecimal characters according to the program interface specifications of the IC card from the test script described in script language, and tests the IC card program by using the generated command APDU. - 特許庁

例えば、ＩＣカード発行装置１は、スクリプト言語で記述された発行スクリプトから、ＩＣカード２のプログラムインターフェース仕様に従い、１６進数のキャラクターで記述されたコマンドＡＰＤＵを生成し、生成したコマンドＡＰＤＵを用いてＩＣカード２を発行する。例文帳に追加

For example, the IC card issuing device 1 generates a command APDU described with hexadecimal characters according to the program interface specifications of the IC card 2 from the issue script described in the script language, and issues the IC card 2 by using the generated command APDU. - 特許庁

処理内容を自然言語で記述し処理の流れをフローで表した業務仕様から(S101)、処理内容に含まれる単語を抽出し(S102)、予めオントロジに定義された単語間の類似関係を用いて関連するコンポーネントを検索する(S104)。例文帳に追加

A word included in processed contents is sampled (S102) from the business specification which describes the processing contents with a natural language and is displayed by a processing flow (S101), and the correlated components are retrieved (S104) by using a similarity relation between words defined on ontology in advance. - 特許庁

マン・マシン・インタフェイスを用い、データベースに登録されたデータにアクセスする会話型アプリケーション・プログラムを、記述するプログラム言語や利用するハードウェアに拘わらず容易に実現できるようにすると共に、機能変更や仕様変更に柔軟に対応できるようにする。例文帳に追加

To easily provide a conversational application program for using a man-machine interface and accessing data registered in a data base regardless of the program language describing the program or used hardware and to flexibly cope with function change and specification change. - 特許庁

Ｃ言語で記述された仕様５１からオブジェクトプログラム５７を生成する段階５２において、命令ライブラリ５３から命令コード４１を選択する際に、その命令コードを実行する追加処理ユニットを実レイアウトした評価データ４３に基づいて命令コードを選択する。例文帳に追加

In a stage 52 for generating an object program 57 from specifications 51 described in C language, at selecting an instruction code 41 from an instruction library 53, the instruction code is selected based on evaluation data 43 obtained by executing the actual layout of an additional processing unit for executing the instruction code. - 特許庁

プリンタ１０３のハードウェア仕様を表現したサポート情報をハードウェア仕様記述言語（ＸＤＨＬ）で作成してコンピュータ１０１に送出し、その情報内容を解読して各プリンタ毎のサポートレベルを認識し、サポートレベルに基づきマルチメディア情報をプリンタの印刷形態に対応して表示画面上に表示し、所望のマルチメディア情報のみを選択して印刷する。例文帳に追加

This device prepares support information representing the hardware specification of a printer 103 in a hardware specification description language (XDHL), transmits the support information to a computer 101, decodes the information contents to recognize the support level of each printer, displays the multimedia information on the display screen in accordance with the printing format of the printer on the basis of the support level and selects and prints only desired multimedia information. - 特許庁

印刷データ作成装置（ビューア端末１）は、印刷データ生成部１２が、２以上のページ記述言語で記述されパッケージ化された複数の印刷データを生成し、印刷データ送信１４部を介して複数の印刷データを印刷装置（ページプリンタ２）へ送信して印刷装置の仕様に適した印刷データの選択を可能にする。例文帳に追加

In this printing data creation device (viewer terminal 1), a printing data creation part 12 creates a plurality of pieces of printing data described in two or more page description languages and packaged, and transmits the plurality of pieces of printing data to a printer (page printer 2) via a printing data transmitting part 14 to make it possible to select the printing data suitable for the specifications of the printer. - 特許庁

分析装置１０に搭載するサーバ１８のインターフェースを、特定のベンダーに限定されない汎用的な標準技術であるＨＴＴＰやＳＯＡＰ等のＷｅｂサービス規格に準拠させるとともに、そのインターフェースの仕様を標準の記述言語であるＷＳＤＬで記述した文書２４を公開する。例文帳に追加

The interface of a server 18 loaded on the analyzer 10 is allowed to conform to a Web service specification of HTTP, SOAP or the like, which is a widely-used standard technology that is not restricted to specific vendors, and a document 24 formed by describing the interface specifications in WSDL, which is the standard description language is published. - 特許庁

異なるＳＱＬ言語仕様でＳＱＬを実行し、異なる構成のデータ辞書を有する複数のＳＱＬ処理装置上のプログラムでのＳＱＬ文の作成において、ＳＱＬ文記述の同一化を図り、プログラムソースを共用化したり移行性を高め、生産性を向上させるとともに、生産や保守のコストの削減を図ることを目的とする。例文帳に追加

To realize the uniformity of SQL sentence description, and to improve the sharing and transfer performance of a program source, and to improve the productivity, and to reduce the production or maintenance cost at the time of preparing SQL sentences in a program on a plurality of SQL processors having data dictionaries whose constitutions are different and executing SQL in different SQL language specifications. - 特許庁

更に、モデリング開発層コンピュータとケース開発層コンピュータと実装設計層コンピュータとが、ネットワーク（１０）を介して接続され、当該ネットワーク上に設けられ前記モデリング言語で記述された要求仕様データを格納し、前記各コンピュータからアクセス可能な設計共通データベース（６２）を有する。例文帳に追加

It also has a design common database 62 connected to the modeling development level computer, the CASE development level computer and the packaging design level computer via a network 10, provided on the network, storing the required specification data described in the modeling language, and allowing access from each of the computers. - 特許庁