Groups
Sign in
Groups
Formal Methods Forum
Conversations
About
Send feedback
Help
「情報系の実稼働システムを対象とした形式手法適用実験報告書」の公開
53 views
Skip to first unread message
tmiya
unread,
Apr 20, 2012, 10:01:29 PM
4/20/12
Reply to author
Sign in to reply to author
Forward
Sign in to forward
Delete
You do not have permission to delete messages in this group
Copy link
Report message
Show original message
Either email addresses are anonymous for this group or you need the view member email addresses permission to view the original message
to fm-f...@googlegroups.com
「情報系の実稼働システムを対象とした形式手法適用実験報告書」の公開
http://sec.ipa.go.jp/reports/20120420.html
というのが公開されてます。次回、このレポートをみんなで読んで議論してみませんか?
#もしかしてこのGoogle groupにレポートの「中の人」とかいたりします?
chit...@mail.goo.ne.jp
unread,
Apr 24, 2012, 12:38:02 AM
4/24/12
Reply to author
Sign in to reply to author
Forward
Sign in to forward
Delete
You do not have permission to delete messages in this group
Copy link
Report message
Show original message
Either email addresses are anonymous for this group or you need the view member email addresses permission to view the original message
to fm-f...@googlegroups.com
ご存知だとは思いますが、追加情報です。
形式手法の活用ガイドの最終版を公開、東証のシステムでの実証実験結果を反映
http://techon.nikkeibp.co.jp/article/NEWS/20120423/214529/?ST=edaonline
DSFの形式手法活用ガイドならびに参考資料(ダウンロード)
http://www.nttdata.co.jp/dsf/dl.html
Reply all
Reply to author
Forward
0 new messages