単語単位のプログラムからなるシステムにおける、出力データを生成するための単語単位プログラムの処理を、無駄な繰り返しを排除して最少実行回数で完了する。本発明は、経路作用要素も単語の１つみなし、単語の関係を定義している単語単位のプログラムとして、要件を定義する。この経路作用要素の定義式実行条件を、その条件が成立するときに経路作用要素が指定する基本構造に属する単語の定義式実行条件に置くことによって経
路作用要素を排除し、システム全体の構造を１つにまとめる。こうして得られた単一化されたシステム全体の単語単位のプログラム群（経路作用要素を含めない）に対して、トポロジカルソートを行って単語単位のプログラム群を最適順序に並び替える。これにより、例えば無駄な繰返しを回避することができる。
（もっと読む）

所望のグラフィックユーザーインターフェース（GUI）が、素描されてからスキャンされてメモリに読み込まれるか、あるいは動きが追跡されてメモリに記録されるスタイラスを使って素描されるかする。素描されたウィンドウ、リスト、ボタン、フレームのようなオブジェクトは自動的に認識され、作成されるべきGUIのために正規化される。オブジェクトどうしの間の包含関係はツリー階層構造に記録される。ツリー階層構造には素描におけるレイアウト情報および注釈からの情報が添加される。ツリー階層構造は次いで目標プラットフォーム上でのGUIの生成のために整形される。
（もっと読む）

差分開発によるユーザーインタフェースソフトウェア設計開発の効率化を図るために、ルール処理手段が、未整理設計データ格納手段に格納された、個々のソフトウェア設計者により設計され蓄積されてきた未整理設計データ、および、ルール格納手段に格納された整理ルール群を読み出し、読み出した未整理設計データに整理ルール群の各整理ルールを逐次適用し、これを解析することにより、その未整理設計データに対して分割、統合等の変換を施すことにより、再利用性の良い整理済み設計データとする。
（もっと読む）

光記憶担体に、インタラクティブサービス、例えば、ゲーム、インタラクティブＡ／Ｖコンテンツ再生、ウェブブラウジングを可能にするJavaオブジェクトとしてインプリメントされたアプリケーションがロードされている。各Javaオブジェクトは、アプリケーションをインアクティブ状態、ポーズ状態又はアクティブ状態に設定する３つのメソッドを少なくとも含む。光記憶担体にはまた、メインメソッドを含むローダアプリケーションがロードされている。ローダアプリケーションは、担体上に存する全てのJavaオブジェクトの対応するライフサイクルを制御し、Javaオブジェクトの対応するメソッドを制御する。ローダアプリケーションは、一度に１つのJavaオブジェクトしか動作することを許可しない。ローダアプリケーションのライフサイクルは、ディスクにリンクされ、ローダアプリケーションは、ディスクが装置に挿入されるとメモリにロードされ、ディスクが取り除かれると切られる。装置は、トップでローダアプリケーションが動作するように構成されるJava仮想マシンを動作させる。ローダアプリケーションのライフサイクルはディスクにリンクされるので、Java仮想マシンは、ディスクが装置に挿入されている間動作し、Javaオブジェクトがポーズされるか又は切られても切られない。
（もっと読む）

ソフトウェアアプリケーションのメモリ待ち時間を低減する方法及び装置が開示される。開示されたシステムは、メモリ待ち時間及び／又はキャッシュミスによるメインスレッドのパフォーマンスボトルネックを低減すべく変数をプリフェッチする１以上のヘルパースレッドを用いる。パフォーマンス解析ツールは、ソフトウェアアプリケーションのリソース使用量をプロファイルすべく使用され、パフォーマンスボトルネックを受けるソフトウェアアプリケーションのエリアを特定する。コンパイラランタイム命令は、ヘルパースレッドを生成して管理すべく、ソフトウェアアプリケーション内に生成される。ヘルパースレッドは、パフォーマンスボトルネックを受けるソフトウェアアプリケーションの特定されたエリア内データをプリフェッチする。ヘルパースレッドの実行をメインスレッドと調整すべく、そしてプリフェッチされたデータをメインスレッドが利用可能になる前にプリフェッチされたデータがキャッシュから削除されないようにすべく、カウントメカニズムがヘルパースレッドに挿入され、かつカウントメカニズムがメインスレッドに挿入される。

（もっと読む）

計算機機器が実施する機能性モデルを生成することであって、前記モデルが、すべての実装が満足しなければならない少なくとも１つの制約条件を含んでおり、かつモデルにより指定された機能性を実施する少なくとも１つのソフトウェア部品を配置することとを含む、計算機機器の構成方法。
少なくとも１つのソフトウェア部品は、少なくとも１つの制約条件に関する値を返すための手段を含み、かつ、部品は前記値が前記制約条件を満足する場合にのみ選択される。 （もっと読む）

手続き型言語で書かれている従来のプログラムをＬｙｅｅ構造プログラムへ機械的に変換することを可能とする。 本発明は、所定の整形規則に基づきソース・プログラムを正規化して解析テーブルを生成するステップと、前記解析テーブルから端点単語に着目して該単語に係る生成論理情報を抽出するステップと、前記抽出された生成論理情報に基づき第１のＬｙｅｅＢＥＬＴ情報を決定するステップと、前記決定された第１のＬｙｅｅＢＥＬＴ情報を言語変換して第２のＬｙｅｅＢＥＬＴ情報を生成するステップと、 前記生成された第２のＬｙｅｅＢＥＬＴ情報をＬｙｅｅＡＬＬツール（テンプレート）の所望の位置に代入してコードを得るステップとを具備することを最も主要な特徴とする。ＬｙｅｅＢＥＬＴ上の正規化されたビジネスロジックにより、後のプログラム保守は、「スパゲッティ」問題がなくなり劇的に平易化され、その結果、ソフトウェアの進化が可能になる。 （もっと読む）

ソフトウェアの開発要件を、主語＝［名詞、属性］で定義し、
基本構造（ＳＦ）並びに前記基本構造の関係と成立条件をＰＲＤとしてとらえるステップと、
名詞の属性からベクトル（Ｌ４，Ｌ２，Ｌ３，Ｉ２，０４，Ｓ４，Ｒ４，Ｒ２Ｃ，Ｒ２，Ｒ３Ｒ，Ｒ３Ｃ，Ｒ３Ｄ，Ｒ３Ｍ，Ｒ３Ｅ）を決定し、各ベクトルの未定義部分に名詞の情報を埋め込むことにより前記ベクトルを形成するステップと、
ベクトルを基本構造ごとに、３つのパレット：
（０１）Ｗ０４ｉ＝Φ［｛｛Ｌ４｝＋｛０４｝＋｛Ｓ４｝＋Ｒ４｝ｉ］
（０２）Ｗ０２ｉ＝Φ［｛｛Ｌ２｝＋｛Ｉ２｝＋Ｒ２Ｃ＋Ｒ２｝ｉ］
（０３）Ｗ０３ｉ＝Φ［｛｛Ｌ３｝＋Ｒ３Ｒ＋Ｒ３Ｃ＋Ｒ３Ｄ＋Ｒ３Ｍ＋Ｒ３Ｅ｝ｉ］
に集合させるステップと、
パレット連鎖関数を用いて前記パレットをプログラム化するステップと、からなるソフトウェア開発方法。 （もっと読む）

プロセス代数を用いて、ソフトウェアの自動生成プロセス及びＬｙｅｅにより生成したソフトウェアの意味論を形式化する。 本発明は、１つのプログラムとして実装するユーザ要件を、論理体ごとに、該論理体上の単語ごとに、単語名、定義式、該定義式の実行条件、入出力属性、単語の値の属性によって宣言（規定）する第１のステップと、単語単位の宣言から、Ｌｙｅｅ計算法による入出力チャネルをそなえたプロセス・セルとしてモジュール化された論理要素（Ｌ_２、Ｌ_３、Ｌ_４）および、作用要素（Ｉ_２、Ｏ_４、Ｓ_４）を作成する第２のステップと、前記論理要素と作用要素を、同一画面からのコマンドで相互作用を起こすことを集合条件とする集合に集合化する第３のステップと、前記集合ごとに、１つの制御関数モジュールΦを配置する第４のステップと、前記プログラムに１つの制御関数モジュールΨを配置する第５のステップとを具備する。 （もっと読む）

【課題】バーチャルマシンにおける継続−受け渡しの方法及び機器。
【解決手段】バーチャルマシン（ＶＭ）における継続受け渡しの方法及び機器。無線装置における継続受け渡しを提供するバーチャルマシンを操作する方法が提供される。バーチャルマシンはスタックメモリを備える。本方法は、コンテクスト−生成トリガーに出会うことと、前記トリガーに応じて前記スタックメモリから生じるスタックフラグメントを備える継続ブロックを構築することと、評価インストラクションに出会うことと、前記評価インストラクションに応じて前記スタックメモリ上に前記継続ブロックからの前記スタックフラグメントを保存することと、を備える。 （もっと読む）