Google ワンタップ・30 秒 ／ ログイン
法人向け
業種・対象顧客は公開情報をもとに AI が推定したものです。持株会社など グループ経営の会社では、主要な事業会社の業種を表示します。実態と 異なる場合は お問い合わせください。
有限会社プレシステムは、ソフトウェア工学における形式手法を応用した独自のモデル検査ツール「NHK^#」の開発・提供を主要事業としています。同社のツールは、ビジネスプロセスのモデリングとシミュレーションを可能にし、BPMN、ペトリネット、シーケンス図、デシジョンテーブルなどで記述されたプロセスの情報フローを可視化し、安全訓練への刺激を提供します。また、線形時相論理で記述されたプロパティの充足可能性を検証し、反例を報告する検証・妥当性確認機能も有しており、プロセスに障害を注入した場合の動作確認も可能です。 特に、同社のモデル検査ツールは、システムのライフサイクルにおけるモデルの検証と、C言語などのプログラミング言語で記述された実際のコードのテストの両方に使用できる点が強みです。GDB上でバイナリコードを実行し、モデルとコードの構成を検査することで、検証プロセスで使用したモデルをテストプロセスで再利用することを可能にします。さらに、人間が引き起こす障害に起因する手順の堅牢性を分析するためのモデル検査アプローチも提案しており、障害注入手法を用いて、安全上重要な領域における信頼性と堅牢性を確保するための回復タスクの有効性を検証します。 提供サービスには、プロセス代数、時相論理、プログラミングに関するトレーニング、手順書プロトタイピング、検証・妥当性確認、自動堅牢性チェック、安全教育支援システムの提供が含まれます。同社のツールは、他のワークフロー管理ツールやモデル分析ツールへの組み込みも可能であり、幅広い顧客層のシステム開発や運用における信頼性向上に貢献しています。
2026年4月30日 時点。この概要は AI を利用して公開情報から抽出しています。事実と異なる箇所がある場合は お問い合わせください。
このデータをAIで活用
Claude / ChatGPT / Cursor などの MCP 対応クライアントから、有限会社プレシステムの決算・登記履歴・役員・関係企業・知財・公共調達などの構造化データを直接取得できます。無料 20 クレジット/月で利用可能、9 種類のツールを提供。
接続方法を見るダイヤネットシステム株式会社
ダイヤネットシステム株式会社は、30数年にわたる豊富な経験とノウハウを活かし、多岐にわたる業種・業態に対応した販売・在庫管理システム、および生産管理ソフトの開発…
株式会社メディア・テクノロジー
株式会社メディア・テクノロジーは、1997年の設立以来、千葉県船橋市を拠点に、システム開発とホームページ制作を二本柱として事業を展開しています。同社は20数年に…
株式会社サイファーソフト
株式会社サイファーソフトは、コンピュータソフトウェアおよびコンピュータシステムの開発、企画、設計、販売、そして輸出入を主要な事業として展開しています。同社は、顧…
株式会社ティー・パートナーズ
株式会社ティー・パートナーズは、ウェブサイトの企画、設計、開発、運営及び販売、コンピュータソフトウェアの企画、設計、開発、販売、保守及び顧客へのサポート業務、出…
株式会社オンネット・システムズ
株式会社オンネット・システムズは、企業向け基幹業務システム「オンネット統合業務」シリーズの開発・提供を主軸とするITソリューション企業です。同社は、販売、購買、…
株式会社インターローカス
株式会社インターローカスは、東京科学大学（旧：東京工業大学）萩原研究室から起業した「東工大発ベンチャー32号」として、主に塗装・リフォーム業界向けのシステム開発…
ＩＴＳ工房株式会社
ＩＴＳ工房株式会社は、建設専門工事業、特に内装工事業に向けたシステム開発、パッケージソフト販売、HP制作を主軸に置く企業である。同社は工事施工の実務経験を基盤に…
ユニビスタシステムズ株式会社
ユニビスタシステムズ株式会社は、社会福祉法人に特化した会計システムおよび関連業務支援ソフトウェアの開発・提供を主軸とする企業です。創業20年以上の経験と300団…
株式会社ラムテック
株式会社ラムテックは、「技術屋の集団」として設立され、医用画像を中心とした放射線科向けの医用ソフトウェア開発を長年にわたり手掛けています。DICOM規格創成期か…
喜多テクノシステム株式会社
喜多テクノシステム株式会社は、電気通信機器および情報通信システムの設計、販売、設置工事、運用管理を主軸とするICT企業です。また、ソフトウェアの開発、販売、保守…
アビッドテクノロジー株式会社
アビッドテクノロジー株式会社は、メディア業界のクリエイター向けに革新的なソリューションを提供する企業です。同社は、映画、テレビ番組、ニュース、スポーツ、音楽制作…
株式会社ユーアイ・テクノ・サービス
株式会社ユーアイ・テクノ・サービスは、情報通信技術（ICT）を活用したシステム開発、運用管理、およびパッケージソフトウェアの提供を主軸とする企業です。特に、自社…
株式会社クリップサイト
株式会社クリップサイトは、ホテル・旅館向けの総合管理システム「支配人くんNEXT」の開発・提供を主要事業としています。同社の「支配人くんNEXT」は、クラウド対…
ドリームカーゴシステム株式会社
ドリームカーゴシステム株式会社は、国際物流に特化したソフトウェアの開発、販売、保守、および関連コンサルティングを手掛ける独立系ソフトハウスです。同社は、国際航空…
株式会社アルファクス・フード・システム上場
