• 関連の記事

「誰でも使える形式手法」関連の最新 ニュース・レビュー・解説 記事 まとめ

「誰でも使える形式手法」に関する情報が集まったページです。

誰でも使える形式手法(5):
VDMを用いた仕様記述・検証 〜 仕様検証編 〜
要求を仕様としてモデル化し、VDMで仕様を記述してきた本連載もいよいよ大詰め! 今回は“仕様の検証”について詳しく解説する。(2009/2/20)

誰でも使える形式手法(4):
VDMを用いた仕様記述・検証 〜 仕様記述編 〜
今回は、「LEGO Mindstorms NXT」のライントレース仕様をテーマに記述したUMLを基に、VDMによる仕様記述の手順を詳しく解説する!(2009/1/21)

誰でも使える形式手法(3):
VDMを用いた仕様記述・検証 〜 モデリング編 〜
今回は「LEGO Mindstorms NXT」を題材に、要求の分析からVDMを前提としたモデリング、UMLの記述までの流れを詳しく解説する。(2008/11/19)

誰でも使える形式手法(2):
VDMはソフトウェア開発でこう使う!
“VDMを開発プロセスの中でどのように活用すべきか”について、「導入」と「運用」に分けて、具体的な施策を示しながら解説する。(2008/10/20)

誰でも使える形式手法(1):
ライトウェイトな形式手法で高品質な仕様をこの手に!
仕様の“不確かさ”が原因で痛い目を見た。そんな経験をお持ちの皆さん、この機会に形式手法をマスターし、高品質な仕様を作成してみませんか。(2008/9/17)



ビットコインの大暴騰、「億り人」と呼ばれる仮想通貨長者の誕生、マウントゴックス以来の大事件となったNEM流出など、派手な話題に事欠かない。世界各国政府も対応に手を焼いているようだが、中には政府が公式に仮想通貨を発行する動きも出てきており、国家と通貨の関係性にも大きな変化が起こりつつある。

Amazonが先鞭をつけたAIスピーカープラットフォーム。スマホのアプリが巨大な市場を成したように、スマートスピーカー向けのスキル/アプリ、関連機器についても、大きな市場が生まれる可能性がある。ガジェットフリークのものと思われがちだが、画面とにらめっこが必要なスマホよりも優しいUIであり、子どもやシニアにもなじみやすいようだ。

「若者のテレビ離れが進んでいる」と言われるが、子どもが将来なりたい職業としてYouTuberがランクインする時代になった。Twitter上でのトレンドトピックがテレビから大きな影響を受けていることからも、マスメディア代表としてのテレビの地位はまだまだ盤石に感じるが、テレビよりもYouTubeを好む今の子ども達が大きくなっていくにつけ、少なくとも誰もが同じ情報に触れることは少なくなっていくのだろう。