インプレス ビジネスメディア

モデリング技術の新しい動向

記事一覧

モデリングとしてのオントロジと関連ツール

オントロジとは「オントロジ」という言葉を聞き慣れない方も多いでしょう。もともとは哲学の用語であり、存在論あるいは存在に関する体系的な理論を指します。工学分野におけるオントロジとは、対象世界に存在して対象世界を形造っている概念と概念との関係を、体系的にまとめて記述したものを指します。オントロジを使えば

西村 泰保

2010年9月29日 20:00

  • 開発ツール
  • 技術解説

形式手法とモデリング - AlloyAnalyzerを中心に

1. 初めにソフトウエアの欠陥がもたらす影響がクリティカルになるにつれて、より間違いの少ない開発手法に注目が集まっています。そんな中で注目されている技術の1つが、形式手法です。形式手法とは、数学をベースにしたシステム開発手法の総称です。ですが、従来の形式手法は、数学の専門知識が必要だったほか、大がか

小林 健一

2010年9月22日 20:00

  • 開発ツール
  • 技術解説

SysMLを利用可能なモデリング・ツール「Enterprise Architect」

今回（第2回）は、モデリングの手段としてSysMLを使うことのメリットを、モデリング・ツールの機能解説を通じて探ります。説明上、SysMLを利用可能なモデリング・ツールとして、オーストラリアのSparx Systemsが開発した「Enterprise Architect」を使います。SysMLを利用

河野 岳史

2010年9月15日 20:00

  • 設計／手法／テスト
  • 開発ツール
  • 技術解説

UMLの現状とSysMLの最新動向

本連載の予定「モデリング技術の新しい動向」というテーマで、4回の連載を行います。UMLやSysMLといったポピュラなものだけでなく、今回は、形式手法やオントロジといった、ちょっと今までとは違った切り口で、モデリングの可能性を見ていきます。また、それぞれの技術をサポートするツールも紹介します。第1週:

皆川 誠

2010年9月8日 20:00

  • 設計／手法／テスト
  • システム運用
  • 技術解説

人気記事トップ10

地理情報データの閲覧に便利な閲覧ツール「DBeaver」を使ってみよう 3D世界生成モデル「Echo」発表、テキストや画像からバーチャル空間を生成ほか 日本初のクラウド勘定系を実現した次世代バンキングシステムの設計と運用 【最新アップデート】GPT-5.1/Gemini 3/Claude 4.5はそれぞれ何が変わったのか System76、Linuxディストリビューション「Pop!_OS 24.04 LTS」をリリース 新しい構造のLinuxディストリビューション「Chimera Linux 20.12.2025」リリース Wayland拡張「Wayland Protocols 1.47」リリース Javaを学ぶならこの1冊！初心者のためのJava学習書の決定版『スッキリわかるJava入門 第4版』を5名様にプレゼント！ Xrealの新型デバイス「Project Aura」初クリップ公開、発売は2026年予定ほか 「LibreOffice 25.8.4 Community」リリース
【最新アップデート】GPT-5.1/Gemini 3/Claude 4.5はそれぞれ何が変わったのか Xrealの新型デバイス「Project Aura」初クリップ公開、発売は2026年予定ほか 「MySQL」と「PostgreSQL」の基本的な情報と導入方法 Javaを学ぶならこの1冊！初心者のためのJava学習書の決定版『スッキリわかるJava入門 第4版』を5名様にプレゼント！ 地理情報データの閲覧に便利な閲覧ツール「DBeaver」を使ってみよう 250環境を5人で運用、構築時間は30分に ーKINTOテクノロジーズが語るインフラ基盤組織の作り方 Zabbix Summit2025、SCSKの生成AIエージェントを活用したセッションを紹介 生成AI EXPO登壇陣が断言―「エンジニア不要論」への答え、個人から大企業まで実証する50倍生産性向上の実態 「Terraform」で状態ファイルに「リモートバックエンド」を設定してみよう 日本初のクラウド勘定系を実現した次世代バンキングシステムの設計と運用
【最新アップデート】GPT-5.1/Gemini 3/Claude 4.5はそれぞれ何が変わったのか 生成AI EXPO登壇陣が断言―「エンジニア不要論」への答え、個人から大企業まで実証する50倍生産性向上の実態 Xrealの新型デバイス「Project Aura」初クリップ公開、発売は2026年予定ほか Zabbix Summit2025、SCSKの生成AIエージェントを活用したセッションを紹介 Javaを学ぶならこの1冊！初心者のためのJava学習書の決定版『スッキリわかるJava入門 第4版』を5名様にプレゼント！ 「MySQL」と「PostgreSQL」の基本的な情報と導入方法 地理情報データの閲覧に便利な閲覧ツール「DBeaver」を使ってみよう API GatewayのKongがニューヨークでテックカンファレンスを開催。初日のキーノートを紹介 全社のアクセルとブレーキを握る「コーポレートPMO」 250環境を5人で運用、構築時間は30分に ーKINTOテクノロジーズが語るインフラ基盤組織の作り方
人気記事ランキングをもっと見る

新着記事

3D世界生成モデル「Echo」発表、テキストや画像からバーチャル空間を生成ほか 6:00 地理情報データの閲覧に便利な閲覧ツール「DBeaver」を使ってみよう 12月19日 6:30 日本初のクラウド勘定系を実現した次世代バンキングシステムの設計と運用 12月19日 6:00 250環境を5人で運用、構築時間は30分に ーKINTOテクノロジーズが語るインフラ基盤組織の作り方 12月18日 6:30 今後の「DevRelの在り方」を考える 12月18日 6:30

企画広告も役立つ情報バッチリ！ Sponsored

250環境を5人で運用、構築時間は30分に ーKINTOテクノロジーズが語るインフラ基盤組織の作り方 12月18日 6:30 新たな自動化で熱視線！ AIエージェントの「推論能力」を支える2つのコンポーネントとは？ 11月28日 6:30 IoTに生成AIを掛け合わせる「AI-driven IoT」で現場のIoTデータ活用を加速 11月26日 6:30 アイレット、KDDIの属人化問題を生成AIアシスタントの精度を高め解消へ 11月21日 6:30 「Grafana Cloud」の先進的ユーザーであるグリーが10年をかけて到達した「オブザーバービリティ」とは 5月15日 6:30 Grafana Labs CTOのTom Wilkie氏インタビュー。スクラップアンドビルドから産まれた「トラブルシューティングの民主化」とは 4月21日 6:30 API管理をより簡単にする「Kong Konnect」が解決する課題とその主要機能 3月5日 5:30 目指すはプロセス連結によるサイロ化の打破! ガバナンス強化にも寄与する自動化プラットフォームとは 1月15日 6:30 AIで激変する「DevOpsの未来」と「IT組織のリーダーが備えるべきこと」とは 2024年11月26日 8:53 仕様書からテストケースを自動生成! Autify Genesisが変えるソフトウェアテストの未来 2024年11月21日 8:04