【嫌儲プログラミング部】 最近流行りの「形式手法」って知ってる？
1 ：番組の途中ですがアフィサイトへの転載は禁止です：
富士通ら、東京証券取引所の設計書で形式手法の有効性を実証実験
IPAは4月20日、東京証券取引所で運用しているシステムの設計書を対象に、
ディペンダブル・ソフトウェア・フォーラム(以下、DSF)の活動成果である形式手法活用ガイドに従って、
形式手法適用実証実験を2011年8月より行い、形式手法の有効性を実証したと発表した。
IPAは同実験の結果を報告書にまとめ、公式Webサイトで公開する。
DSF(Dependable Software Forum)は、障害を起こさないソフトウェアを実現するために、
実践的かつ系統的・論理的な設計技術を確立させる研究開発を行い、
ソフトウェアに起因するシステム障害の低減を目指し、2009年より活動してきた。
NTTデータ、富士通、日本電気、日立製作所、東芝、SCSKの6社および
大学共同利用機関法人 情報・システム研究機構 国立情報学研究所がDSFに参加している。
エンタプライズ系ソフトウェアの分野では開発現場への形式手法導入を支援するガイドがなかったことから、
DSFは形式手法の適用手順や典型的な形式記述の例をまとめたガイドを作成し、2011年7月21日に公開した。
今回の実験結果を受けてガイドを改訂し、最終版をDSF公式Webサイトで公開する。
IPAは昨今の形式手法の利用が進んでいない原因は参考となる形式手法を適用した事例情報がないからとして、
実運用中のシステムに形式手法を適用した時の効果と具体的な作業工数の測定を目的に、ガイドに従って2011年8月より実験を行っていた。
同実証実験において、東京証券取引所で実際に運用しているシステムのレビュー実施済みの設計書に形式手法を適用したところ、
設計書レビューでは発見されなかった指摘事項を発見した。東京証券取引所が設計書を修正すべきであると評価した指摘事項のうち半数以上は、
従来では実装やテストといった設計工程以降で発見されていたものだったが、今回の検査では、設計工程で発見できた。
これより、IPAでは設計工程以降に発生する作業の手戻りが削減できる可能性を示すことができたとしている。
http://news.mynavi.jp/news/2012/04/23/012/
IPAは4月20日、東京証券取引所で運用しているシステムの設計書を対象に、
ディペンダブル・ソフトウェア・フォーラム(以下、DSF)の活動成果である形式手法活用ガイドに従って、
形式手法適用実証実験を2011年8月より行い、形式手法の有効性を実証したと発表した。
IPAは同実験の結果を報告書にまとめ、公式Webサイトで公開する。
DSF(Dependable Software Forum)は、障害を起こさないソフトウェアを実現するために、
実践的かつ系統的・論理的な設計技術を確立させる研究開発を行い、
ソフトウェアに起因するシステム障害の低減を目指し、2009年より活動してきた。
NTTデータ、富士通、日本電気、日立製作所、東芝、SCSKの6社および
大学共同利用機関法人 情報・システム研究機構 国立情報学研究所がDSFに参加している。
エンタプライズ系ソフトウェアの分野では開発現場への形式手法導入を支援するガイドがなかったことから、
DSFは形式手法の適用手順や典型的な形式記述の例をまとめたガイドを作成し、2011年7月21日に公開した。
今回の実験結果を受けてガイドを改訂し、最終版をDSF公式Webサイトで公開する。
IPAは昨今の形式手法の利用が進んでいない原因は参考となる形式手法を適用した事例情報がないからとして、
実運用中のシステムに形式手法を適用した時の効果と具体的な作業工数の測定を目的に、ガイドに従って2011年8月より実験を行っていた。
同実証実験において、東京証券取引所で実際に運用しているシステムのレビュー実施済みの設計書に形式手法を適用したところ、
設計書レビューでは発見されなかった指摘事項を発見した。東京証券取引所が設計書を修正すべきであると評価した指摘事項のうち半数以上は、
従来では実装やテストといった設計工程以降で発見されていたものだったが、今回の検査では、設計工程で発見できた。
これより、IPAでは設計工程以降に発生する作業の手戻りが削減できる可能性を示すことができたとしている。
http://news.mynavi.jp/news/2012/04/23/012/
|
|
|
2 ：番組の途中ですがアフィサイトへの転載は禁止です：2012/04/23(月) 18:29:14.70 ID:UEzT0OqwP
なにそれ
3 ：番組の途中ですがアフィサイトへの転載は禁止です：2012/04/23(月) 18:31:42.79 ID:Xu03S06u0
知らん
4 ：番組の途中ですがアフィサイトへの転載は禁止です：2012/04/23(月) 18:33:28.68 ID:Gbp7xeCJ0
少し前から流行ってるよこれ
誤解を恐れずに言うと
完璧な仕様書を作ってそこから自動的にコードを生成する手法
誤解を恐れずに言うと
完璧な仕様書を作ってそこから自動的にコードを生成する手法
5 ：番組の途中ですがアフィサイトへの転載は禁止です：2012/04/23(月) 18:33:35.16 ID:0GM0J3Af0
Z言語
6 ：番組の途中ですがアフィサイトへの転載は禁止です：2012/04/23(月) 18:34:17.89 ID:Gbp7xeCJ0
ダイクストラの夢を具現化したような手法だわな
7 ：番組の途中ですがアフィサイトへの転載は禁止です：2012/04/23(月) 18:34:22.91 ID:5ZGD7cmn0
>>1
富士通は東証のシステムで度々ズッコケてるのに、よくもきられないもんだな
富士通は東証のシステムで度々ズッコケてるのに、よくもきられないもんだな
8 ：番組の途中ですがアフィサイトへの転載は禁止です：2012/04/23(月) 18:35:33.27 ID:zedeAiwd0
9 ：番組の途中ですがアフィサイトへの転載は禁止です：2012/04/23(月) 18:36:17.82 ID:3cPxfnQz0
また流行もん好きのやつがちょっとかじっただけで採用して
よう知らん奴が使えねーって言って廃れるのか
よう知らん奴が使えねーって言って廃れるのか
10 ：番組の途中ですがアフィサイトへの転載は禁止です：2012/04/23(月) 18:36:50.31 ID:5qCW2VsK0
S言語とかR言語とか何に使えるかマジで理解できなかったは
11 ：番組の途中ですがアフィサイトへの転載は禁止です：2012/04/23(月) 18:37:13.31 ID:bADw2keC0
まーたITトレンドか。もう飽きたわ
12 ：番組の途中ですがアフィサイトへの転載は禁止です：2012/04/23(月) 18:38:51.31 ID:0GM0J3Af0
あとVDMとかな
仕様に潜むバグを潰せる
仕様に潜むバグを潰せる
13 ：番組の途中ですがアフィサイトへの転載は禁止です：2012/04/23(月) 18:46:22.37 ID:daudk3E10
ビッグデータ（笑）
14 ：番組の途中ですがアフィサイトへの転載は禁止です：2012/04/23(月) 19:35:39.06 ID:LMPc+xLA0
良く判らないから8ビットマイコンBASICで例えてくれ
15 ：番組の途中ですがアフィサイトへの転載は禁止です：2012/04/23(月) 19:42:12.08 ID:bz039AUT0
>>4
B-Methodか
B-Methodか
16 ：番組の途中ですがアフィサイトへの転載は禁止です：2012/04/23(月) 20:02:04.49 ID:nWEeUlFs0
ラムダ式がどうこう
17 ：番組の途中ですがアフィサイトへの転載は禁止です：2012/04/23(月) 20:54:55.51 ID:hAHMAC6P0
なんのことか全然わからん。
なんか実装が特別なものがあるわけじゃなくって
上流での設計が特殊ってこと？
なんか実装が特別なものがあるわけじゃなくって
上流での設計が特殊ってこと？
18 ：番組の途中ですがアフィサイトへの転載は禁止です：2012/04/23(月) 21:36:57.14 ID:EHhzMVBx0
オブジェクト指向でプログラム書けねぇ
仕様くれれば書けるけど自分でうまく組めないんだが
仕様くれれば書けるけど自分でうまく組めないんだが
19 ：番組の途中ですがアフィサイトへの転載は禁止です：2012/04/23(月) 21:38:28.72 ID:cAPi0AWp0
どうしてもダラダラ長くなる
上手く分けられない
上手く分けられない
20 ：番組の途中ですがアフィサイトへの転載は禁止です：2012/04/23(月) 21:41:01.45 ID:0GM0J3Af0
意外と知らない人多いんだな
21 ：番組の途中ですがアフィサイトへの転載は禁止です：2012/04/23(月) 23:01:34.72 ID:x27hXNJf0
>>20
ここには底辺IT土方か無能趣味グラマしかいないんだから情強先生は参考リンクをばんばん貼っていっていいんだぞ！
ここには底辺IT土方か無能趣味グラマしかいないんだから情強先生は参考リンクをばんばん貼っていっていいんだぞ！
22 ：番組の途中ですがアフィサイトへの転載は禁止です：2012/04/23(月) 23:04:57.09 ID:jlTBGo4J0
銀の弾丸はないとか言っておけばいいんだろ
23 ：番組の途中ですがアフィサイトへの転載は禁止です：2012/04/23(月) 23:10:30.63 ID:M39gkbgI0
システムのダメっぷりに定評のある東証ですね
24 ： 忍法帖【Lv=12,xxxPT】 ：2012/04/23(月) 23:10:48.81 ID:pCKEvfpT0
てす
25 ：番組の途中ですがアフィサイトへの転載は禁止です：2012/04/23(月) 23:11:40.81 ID:71xilJwu0
26 ：番組の途中ですがアフィサイトへの転載は禁止です：2012/04/23(月) 23:15:03.11 ID:x1x2F+SQP
>>4
scaffoldの超すごい版って感じか
scaffoldの超すごい版って感じか
27 ：番組の途中ですがアフィサイトへの転載は禁止です：2012/04/23(月) 23:17:24.26 ID:z+fC1Rah0
AまたはBでないとき以外。
もしくはCかつDであるとき。
但しE以外の場合
またFであるとき
その他Gである場合
こういうクソ仕様を平然と出す
うちの会社の開発グループを殺したいわ
で、「または」はどこまでかかるのか
と聞くと「以前からこういう文体で仕様を書くので俺には
分からない」とか言いやがる
もしくはCかつDであるとき。
但しE以外の場合
またFであるとき
その他Gである場合
こういうクソ仕様を平然と出す
うちの会社の開発グループを殺したいわ
で、「または」はどこまでかかるのか
と聞くと「以前からこういう文体で仕様を書くので俺には
分からない」とか言いやがる
28 ：番組の途中ですがアフィサイトへの転載は禁止です：2012/04/23(月) 23:50:00.32 ID:EHhzMVBx0
研究室でRやらされとるわ
システムが大方できたからそっからデータマイニングやら統計やら
システムが大方できたからそっからデータマイニングやら統計やら
29 ：番組の途中ですがアフィサイトへの転載は禁止です：2012/04/24(火) 01:30:06.50 ID:cHvgvfy+0
単に昔からの方法だろｗ
今はスピード感とか柔軟性とかいって、馬鹿がてきとーな指示するために、
その逆やってるだけｗ
今はスピード感とか柔軟性とかいって、馬鹿がてきとーな指示するために、
その逆やってるだけｗ
30 ：番組の途中ですがアフィサイトへの転載は禁止です：2012/04/24(火) 01:34:08.26 ID:dRqTz7G20
ドカティにわかるように説明pls
31 ：番組の途中ですがアフィサイトへの転載は禁止です：2012/04/24(火) 01:42:30.90 ID:/U3RzA+O0
形式仕様記述でぐぐれば入門サイトとか引っかかると思うけど
あるいはZ言語とかVDM++みたいにそれ用の言語名で検索
あるいはZ言語とかVDM++みたいにそれ用の言語名で検索
32 ：番組の途中ですがアフィサイトへの転載は禁止です：
これ明日までの宿題な