Ceek.jp Altmetrics (α ver.)
文献ランキング
合計
1ヶ月間
1週間
1日間
文献カレンダー
新着文献
すべて
2 Users
5 Users
10 Users
新着投稿
Yahoo!知恵袋
レファレンス協同データベース
教えて!goo
はてなブックマーク
OKWave
Twitter
Wikipedia
検索
ウェブ検索
ニュース検索
ホーム
文献詳細
12
0
0
0
Alloyを用いたRuby on Railsアプリケーションの開発支援
著者
水谷 浩明
結縁 祥治
出版者
一般社団法人電子情報通信学会
雑誌
電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス
(
ISSN:09135685
)
巻号頁・発行日
vol.111, no.481, pp.43-48, 2012-03-06
本稿では,Ruby on Railsアプリケーションのソースコードをモデル規範形式仕様記述言語Alloyによる記述に変換して検証することで,不具合の効率的な検出を支援する手法を提案する.Alloyではスコープを指定することにより,短時間で限られた探索範囲を自動的に解析することが可能である.ソースコードをAlloyによる記述に変換するツールを作成し,Alloyを用いてRuby on Railsアプリケーションの開発を支援する.
言及状況
変動(ピーク前後)
変動(月別)
分布
はてなブックマーク
(3 users, 5 posts)
[cinii][thesis][ruby-on-rails]
[cinii][thesis][ruby-on-rails]
きになる
きになる
Twitter
(9 users, 10 posts, 10 favorites)
きになる / “CiNii 論文 - Alloyを用いたRuby on Railsアプリケーションの開発支援” http://t.co/1e1CPe84i6
「Alloyを用いたRuby on Railsアプリケーションの開発支援」 http://t.co/ur7A5wJogu 早くこの論文読みたいんだけど、これって会員になったら「2年間非公開」ってなってるけど読めるのかしら。
Alloyを用いたRuby on Railsアプリケーションの開発支援 http://t.co/ur7A5wrf2m 超読みたい
収集済み URL リスト
https://ci.nii.ac.jp/naid/110009546258
(12)