「evolutional system」を含む例文一覧(1)
- To provide a method and system for evolving a program to the program suitable for specifications, namely, the provably correct program using formal specifications and evolutional algorithm in which desired behaviors of the program is defined.
プログラムの所望の振る舞いを定義した形式仕様および進化的アルゴリズムを用いて、プログラムを仕様に合った、即ち正当性証明可能なプログラムに進化させる方法およびシステムを提供する。 - 特許庁
- 特許庁
- Copyright © Japan Patent office. All Rights Reserved.
