企業IT
DCクラウド
製品導入

Web担当者
EC担当者
ソフト開発
IoT・AI
研究・調査

エネルギー
ドローン
イベント・セミナー

デジタルビジネスを加速する専門情報サイト IT Leaders

twitter
facebook
rss

経営課題
テクノロジー
特集

業務改革; 事業創出; データ活用; ワークスタイル; 組織と人材; CIOコンピタンス
more経営課題一覧へ

ユーザー動向; プロセスマイニング; AI; RPA; セキュリティ; データマネジメント
moreテクノロジー一覧へ

IT Leaders トップ＞ ["Z言語"]

["Z言語"]

スキルアップ (2009/10/02)

システム仕様を数式に変換─Z言語で要求仕様を厳密に記述する：第13回

UML / Z言語 / 要求仕様

IT Leaders 会員登録

インプレスID会員になるとIT Leadersの会員限定公開記事を読むことができます。
IT Leadersのメルマガを購読できます
Impress Business Libraryもご利用いただけます。

・インプレスIDとは

お知らせ

[IT Leadersをご利用のインプレスID会員の皆様へ] 機能強化に関するご案内（2023/4/19）
記事の続きが読めないなどの不具合発生時の対応につきまして（2022/12/14）
定期メンテナンスのお知らせ（2022/10/14）
[IT Leaders編集部より] 編集スタッフ募集のお知らせ（Recruiting）

トピックス [Sponsored]

生成AI時代に欠かせないデータの集約管理をFlashBladeが具現化する
業務システムは「使いにくい」が当たり前？
従業員と開発部門の生産性向上に役立つ「戦略的ビジネスUI」とは
階層別ダッシュボードによる意思の共通化は組み込みBIで実現する
Gemini搭載でGoogle CloudのAIプラットフォーム「Vertex AI」が大幅アップデート。企業の生成AI活用に不可欠なデータマネジメントとは
これからのMDMには“迅速さ”が不可欠。LLMによるデータ活用がトレンドに！
SAP S/4HANAのデータを意思決定に生かすために必要となる情報活用基盤のあるべき姿
メタデータを適切に管理し100％活用する「データインテリジェンス」とは？
データサイロとともに組織・文化の壁も乗り越える
光化時代のマスターデータ連携の技術要件
高速・低遅延環境の分散処理でボトルネックにならないDBとは
データカタログの構築と運用で「現場の集中力」と「組織の競争力」を実現！
改革を成功に導く「体験ファースト」の鉄則
生成AI活用のポイントはデータ連携、セゾンテクノロジーが明かす社内導入時のポイント
AIやIoTから生まれるデータの海を新たな価値に変える「データファブリック」という考え方
データ駆動経営の加速を視野にIT部門の役割とスキルを再定義する
データマネジメントの進展に伴い変化する課題、持続的な成長を実現するには？
なぜ先進企業は生成AIと共にデータマネジメントの再構築を急ぐのか
レガシーモダナイゼーションは生成AIで次の段階へ
難易度の高いプロジェクトを成功に導く2つのアプローチとは
大型化、狭額縁化だけじゃないモニターの進化！ “機能”と“信頼性”を両輪に差別化を推し進めるレノボの「ThinkVision」
WalkMeが2023年のデジタルアダプションアワードを発表。「えきねっと」におけるUX向上事例など、ユーザー間でノウハウを共有するイベントを開催
ThinkPadがビジネスPCの「定番」である理由
時代に合わせた「創造と破壊」の舞台裏とは？
Lenovo Tech World Japan 2023 特別対談
「レノボ×マイクロソフト」が語る生成AI活用の“現在地”と“近未来”
異プラットフォーム間でのスムーズなデータ連携と
生成 AI の活用によって加速する“データの民主化”
ソフトウェア活用の第一歩は“ユーザーファーストの視点”。真の UX 向上とその方法とは？
あらゆるユーザーにAI活用を！
「Lenovo Tech World Japan」で提示される企業コンピューティングの近未来像とは？
クラウドスマート時代に必要なセキュリティ機能とは？
ダイレクトクラウドがDirectCloud AIを披露
クラウドストレージでさらなるドキュメント活用を支援！
リモートワークの生産性向上を大きく後押し
IT部門のDXへの注力も支援する新サービスとは？
セキュリティ対策の最後の砦「ゼロトラスト」
Cloudflareはなぜ導入のハードルを超えられるのか？
多様化するランサムウェア攻撃への新しいアプローチ
ゼロデイ攻撃にも対抗できる「脅威除去」とは
EDRで検知できないID脅威にITDRで対抗
ログイン時等の認証のふるまい監視が対応の鍵に
真のゼロトラストへの“処方箋”　XDRで大量のログから攻撃の全体像を炙り出せ！

イチオシ特集

[特集]データドリブン経営への新基軸─生成AI時代、データマネジメントは2.0へ

生成AIの活用効果は、出力の源となるデータマネジメントの巧拙がカギを握る。従来にない新たなアプローチからデータドリブン経営を実現するために、IT部門やデータ活用推進者は今、何をなすべきか。イチオシ特集ページへ＞

アクセスランキング（総合）

1
SBI証券、国内株式のオンライン取引システムをAWSに移行、取引金額は1日2兆円超
2
住信SBIネット銀行、生成AIを活用したデータ分析・業務支援システム「Shadow」を内製開発
3
Slackでアドオン型の生成AI「Slack AI」が利用可能に、会話データを要約/検索
4
マルウェア配信に悪用されるSaaS、1位は「OneDrive」─Netskope調査
5
経産省と東証、「SX銘柄2024」15社を選定、持続的な企業価値向上の取り組みを評価
6
経営層/社員の継続的な対話を支援する「従業員エンゲージメント育みサービス」─日立ソリューションズ・クリエイト
7
総務省と経産省が「AI事業者ガイドライン」第1.0版を公開、生成AIの普及を捉えて既存文書を統合・改訂
8
「アミノ酸から新天地開拓へ」─事業成長と社会課題解決に向けた味の素のDX
9
人事・総務業務アウトソーシング市場の拡大が続く、人材関連が8割超─矢野経済研究所
10
富士通、Catena-Xなどの欧州データスペースに接続するデジタルトラスト技術を開発

イベント

ライブウェビナー2024/4/18(木)

IT Leaders Tech Strategy LIVE [ハイパーオートメーション]実現への道筋
ライブウェビナー開催終了

IT Leaders Tech Strategy LIVE ゼロトラストセキュリティ最新像
ライブウェビナー開催終了

プロセスマイニングコンファレンス 2023 LIVE
ライブウェビナー開催終了

IT Leaders Tech Strategy LIVE［ビジネスプロセス刷新］その最新手法と先行事例
ライブウェビナー開催終了

IT Leaders Tech Strategy LIVE 2022年以降の「デジタルワークプレイス」その必要条件

電子版のご案内

雑誌バックナンバー（2016年まで）

IT Leadersは、企業の情報システム部門にご所属、または経営に携わるお客様を対象としたIT専門誌です。事業部門、研究開発部門、間接部門等にご所属のお客様でも、ご所属企業（または団体）におけるIT化を推進されるお立場の方にもお読みいただけます。

詳細はこちらmore

このサイトについて
利用規約
メルマガ購読
広告掲載のご案内
会社案内
プライバシーポリシー
特定商取引法に基づく表示
サイトマップ

お問合せ
よくある質問

関連グループサイト

株式会社インプレス
クラウド&データセンター完全ガイド
Think IT
Web担当者Forum
インプレス総合研究所
クラウド Watch
SmartGridフォーラム
ネットショップ担当者フォーラム
Impress Business Library
DIGITAL X
ドローンジャーナル
インプレス・アカデミー

Copyright ©2024 Impress Corporation. All rights reserved.
CIO Insight is a trademark of QuinStreet Inc.