Google ワンタップ・30 秒 ／ ログイン
法人向け
有限会社プレシステムは、ソフトウェア工学における形式手法を応用した独自のモデル検査ツール「NHK^#」の開発・提供を主要事業としています。同社のツールは、ビジネスプロセスのモデリングとシミュレーションを可能にし、BPMN、ペトリネット、シーケンス図、デシジョンテーブルなどで記述されたプロセスの情報フローを可視化し、安全訓練への刺激を提供します。また、線形時相論理で記述されたプロパティの充足可能性を検証し、反例を報告する検証・妥当性確認機能も有しており、プロセスに障害を注入した場合の動作確認も可能です。 特に、同社のモデル検査ツールは、システムのライフサイクルにおけるモデルの検証と、C言語などのプログラミング言語で記述された実際のコードのテストの両方に使用できる点が強みです。GDB上でバイナリコードを実行し、モデルとコードの構成を検査することで、検証プロセスで使用したモデルをテストプロセスで再利用することを可能にします。さらに、人間が引き起こす障害に起因する手順の堅牢性を分析するためのモデル検査アプローチも提案しており、障害注入手法を用いて、安全上重要な領域における信頼性と堅牢性を確保するための回復タスクの有効性を検証します。 提供サービスには、プロセス代数、時相論理、プログラミングに関するトレーニング、手順書プロトタイピング、検証・妥当性確認、自動堅牢性チェック、安全教育支援システムの提供が含まれます。同社のツールは、他のワークフロー管理ツールやモデル分析ツールへの組み込みも可能であり、幅広い顧客層のシステム開発や運用における信頼性向上に貢献しています。
2026年4月30日 時点。この概要は AI を利用して公開情報から抽出しています。事実と異なる箇所がある場合は お問い合わせください。
このデータをAIで活用
Claude / ChatGPT / Cursor などの MCP 対応クライアントから、有限会社プレシステムの決算・登記履歴・役員・関係企業・知財・公共調達などの構造化データを直接取得できます。無料 20 クレジット/月で利用可能、9 種類のツールを提供。
接続方法を見るダイヤネットシステム株式会社
ダイヤネットシステム株式会社は、30数年にわたる豊富な経験とノウハウを活かし、多岐にわたる業種・業態に対応した販売・在庫管理システム、および生産管理ソフトの開発…
株式会社メディア・テクノロジー
株式会社メディア・テクノロジーは、1997年の設立以来、千葉県船橋市を拠点に、システム開発とホームページ制作を二本柱として事業を展開しています。同社は20数年に…
株式会社サイファーソフト
株式会社サイファーソフトは、コンピュータソフトウェアおよびコンピュータシステムの開発、企画、設計、販売、そして輸出入を主要な事業として展開しています。同社は、顧…
株式会社ティー・パートナーズ
株式会社ティー・パートナーズは、ウェブサイトの企画、設計、開発、運営及び販売、コンピュータソフトウェアの企画、設計、開発、販売、保守及び顧客へのサポート業務、出…
株式会社インターローカス
株式会社インターローカスは、東京科学大学（旧：東京工業大学）萩原研究室から起業した「東工大発ベンチャー32号」として、主に塗装・リフォーム業界向けのシステム開発…
ドリームカーゴシステム株式会社
ドリームカーゴシステム株式会社は、国際物流に特化したソフトウェアの開発、販売、保守、および関連コンサルティングを手掛ける独立系ソフトハウスです。同社は、国際航空…
株式会社ラムテック
株式会社ラムテックは、「技術屋の集団」として設立され、医用画像を中心とした放射線科向けの医用ソフトウェア開発を長年にわたり手掛けています。DICOM規格創成期か…
株式会社テレマ
株式会社テレマは、千葉県千葉市に本社を置き、栃木県宇都宮市にも拠点を構えるソフトウェア開発企業です。同社は、WEBシステムやスマートフォンアプリの開発を主軸に、…
アビッドテクノロジー株式会社
アビッドテクノロジー株式会社は、メディア業界のクリエイター向けに革新的なソリューションを提供する企業です。同社は、映画、テレビ番組、ニュース、スポーツ、音楽制作…
株式会社クリップサイト
株式会社クリップサイトは、ホテル・旅館向けの総合管理システム「支配人くんNEXT」の開発・提供を主要事業としています。同社の「支配人くんNEXT」は、クラウド対…
株式会社タロスシステムズ
株式会社タロスシステムズは、リユース業界に特化したPOSレジシステムのリーディングカンパニーとして、各種パッケージ・システム開発、TALOSシリーズの開発・販売…
株式会社イーエスケイ
株式会社イーエスケイは、1991年に日本製鉄（旧新日本製鐵株式会社）のパートナー企業として設立され、創業以来、鉄鋼業の基幹システムを支えるITサービスを提供して…
株式会社ダイナコム
株式会社ダイナコムは、「顧客の声をカタチに」をモットーに、最新技術を駆使して顧客のニーズに応えるITソリューション企業です。同社は、コンピュータサイエンスと分子…
株式会社創源
株式会社創源は、1991年の創業以来、「ソフトウェアテクノロジーへの挑戦」を掲げ、多岐にわたるITソリューションを提供しています。同社の主要事業は、会社概要に記…
京葉システム株式会社
京葉システム株式会社は、人事労務分野に特化したソフトウェア製品の開発、販売、保守、およびクラウドサービスの提供を主軸とするIT企業です。同社は、人事・給与計算、…
アールアイコンピュータシステム有限会社
アールアイコンピュータシステム有限会社は、主にソフトウェアの企画・開発・販売、およびWeb-shopの企画・運営を手掛けています。同社の主要事業であるソフトウェ…
有限会社赤黄緑青紫
有限会社赤黄緑青紫（カラーズ）は、インターネット・Webソリューション関連事業を幅広く展開する企業です。同社は、Webアプリケーションの企画・開発・制作・運営、…
株式会社ピーキューブ
株式会社ピーキューブは、「笑み溢れる社会」の実現を目指し、情報システムに関する多岐にわたるサービスを提供しています。同社の主要事業は、アプリケーションパッケージ…
株式会社シンプレックス
株式会社シンプレックスは、Windows専用の数式エディターおよび技術計算ソフト「カルキング」シリーズの開発・販売を主軸とする企業です。同社は30年以上にわたり…
クレッシー株式会社
クレッシー株式会社は、ソフトウェアやソリューションの提供を通じて、顧客企業のビジネス成功を支援するIT企業です。同社は、特にMicrosoft Dynamics…
ログオーシャン株式会社
ログオーシャン株式会社は、汎用性と拡張性を重視した高速ログインデックスエンジン「LogOcean」の開発・販売を主軸とする企業です。同社の「LogOcean」は…
株式会社ＣＡＤＥＮＡＳ
株式会社ＣＡＤＥＮＡＳは、ウェブ・ツー・キャドジャパン株式会社が培った日本の製造業におけるノウハウとドイツCADENAS社の先進テクノロジーを融合し、2007年…
ビッグバン株式会社
ビッグバン株式会社は、1988年の設立以来、ソフトウェア・システム製品の開発から販売、サポートまでを一貫して手掛ける企業です。同社の主要事業は、CAD、DB、フ…
株式会社ＡＲＱＩＴ
株式会社ARQITは、各種ウェブサイトの企画、制作、販売、運営、管理、およびそれらに関するコンサルティング業務を主軸に事業を展開しています。特にECサイトの導入…
合同会社ＡＮＹＣＡＳＴ
合同会社ANYCASTは、メディアワークフローの革新を推進する企業であり、ファイルベースとIPネットワークを中心とした新しいアーキテクチャへの移行を支援するシス…
株式会社メディカルアイ
株式会社メディカルアイは、統合医療システム「Medical7」の開発および導入を主要事業として展開しており、医療機関の業務効率化と質の高い医療サービス提供を強力…
株式会社エー・エー・オー
株式会社エー・エー・オーは、ソフトウェア開発、情報処理・提供サービス、およびIT支援を専門とする企業です。同社は特にテレワークツールの導入支援に強みを持ち、長年…
合資会社エクレシア
合資会社エクレシアは2003年7月1日に設立され、Optenso社の日本総代理店として、同社が開発した光学設計プログラム「OpTaliX」の販売とサポートを主要…
株式会社マジックアワー
株式会社マジックアワーは、間取り図、画像、3Dグラフィックスに特化した独自の製品開発実績を基盤とし、不動産業、インテリアショップ、インテリアデザイン、住宅設備と…
Ｍｅｓｓａｇｅ Ｃｏｄｅ Ｉｎｔｅｒｎａｔｉｏｎａｌ Ｔｅｃｈｎｏｌｏｇｉｅｓ株式会社
Ｍｅｓｓａｇｅ Ｃｏｄｅ Ｉｎｔｅｒｎａｔｉｏｎａｌ Ｔｅｃｈｎｏｌｏｇｉｅｓ株式会社は、アナログとデジタルを融合する革新的な新デザインコード「メッセージコード…
グルーブテクノロジー株式会社
グルーブテクノロジー株式会社は、2006年10月10日に設立され、「一人でも多くのお客様に喜んでいただけるソフトウエアとサービスを生み出していく」という理念のも…
株式会社エスアールエヌ
株式会社エスアールエヌは、医療分野におけるIoT化を推進するため、RFID自動認識技術を活用した「RFIDを用いた真空採血管情報一括読取り・集中管理システム」の…
スマートワークエンジニアリング株式会社
スマートワークエンジニアリング株式会社は、お客様の日々のビジネスシーンにITを身近に取り入れ、課題解決を支援するソリューションを提供する企業です。同社は「情報化…
エイシーティ株式会社
エイシーティ株式会社は、CAEの構築と推進を支援する専門企業です。同社は、設計・加工プロセス解析シミュレーションを通じて、製造業における製品開発の効率化と品質向…
