「厳密な仕様記述における形式手法成功事例調査報告書」の公開 ：IPA 独立行政法人 情報処理推進機構
ソフトウェア開発現場では、日本語で作成する仕様書の記述内容が曖昧である事に起因する製品品質の低下やプログラム不具合対応などの手戻り作業に伴う開発コストの増加が問題視されています。「形式手法」(*1)は、こうした仕様記述の内容から曖昧さを排除し、誤解を招かない仕様書を作成する手法の一つとして注目されています。 国際規格においても、高い安全性を要求される製品に関連する規格であるIEC 61508(*2)や、自動車業界に対するISO 26262(*3)など、形式手法の使用を推奨しており、形式手法に対する国内企業の関心も高まってきています。 IPA/SECにおいても、「形式手法」が上流工程の品質向上に有効な手法のひとつとして、普及促進を行ってきました。 本調査では、仕様記述における形式手法導入の成功プロジェクトのキーパーソンに対し、「仕様書作成に係る諸問題の根本原因が何か」、「それを形式手法の活用
セブン＆アイ、「7月11日に7pay再開」説を否定
7月1日のサービス開始後まもなく不正アクセス被害が多発したセブン＆アイ・ホールディングスのスマホ決済「7pay（セブンペイ）」。同社は入金手続きと新規登録を停止し、5日には「セキュリティ対策プロジェクト」を設置したと発表した。同プロジェクトは不正アクセスを受けた原因や経路を特定するとともに、携帯電話のSMS（ショートメッセージ）を使った2段階の本人確認を導入するなど、脆弱だと批判を受けた不正アクセス対策を大幅に見直すという。 しかし、一度失った信用の回復は簡単ではなく、今後のセキュリティー強化についても不安視する声は多い。そんな中、SNSを中心に「セブン＆アイは7月11日までに7payの機能再開を目指している」という臆測が広がっている。 セブン＆アイは7月11日を「セブン-イレブンの日」と銘打ち、ここ数年はメーカーと共同で限定商品を開発・発売するなど、大規模な販促策を打ち出してきた。さらに
スケールドメテオフォール開発 - hogepiyohoo’s blog
序節：はじめに 近年、日本型の開発プロセスとして メテオフォール型開発 - 実践ゲーム製作メモ帳2 が注目を集めている。 eiki.hatenablog.jp 上記のメテオフォール開発では、適用対象は開発チームである。 （本稿ではこれをオリジナルMF開発とよぶ） 一方最新の研究では、これをより大きな企業レベルで適用する事により、更なる災厄効果をもたらす事が明らかになってきた。 本稿では、企業レベルでメテオフォール開発を適用する為の手法「スケールドメテオフォール開発」について、概要を説明する。 (オリジナルの方に迷惑かかるとアレなので補足:オリジナルMFを書いた方とは全然関係ない人のポストです) 第一節：スケールドメテオフォール開発 オリジナルMF開発では、単一の開発チームを想定している。 そしてこうなる。 一方、スケールドメテオフォール開発では、複数の開発チームを含む、企業全体が対象となる
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
ペアプロの心得