ADSL by Bocete

テクノロジーカテゴリーの変更を依頼記事元:

bocete.github.io

36users がブックマークコメント

コメント

2

記事へのコメント2件

注目コメント
新着コメント

masterq ActiveRecord上の不変条件を検証できるの？これはすごいのでは

2017/08/24 リンク

t-wada DSL で ActiveRecord に関する不変条件を書いておくことで、 Rails アプリのコードを構文解析して不変条件に違反する操作が無いかの検証 (Formal Verification) を行うツール

ruby
rails

2014/07/18 リンク

注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています

規約違反を報告

アプリのスクリーンショット

いまの話題をアプリでチェック！

バナー広告なし
ミュート機能あり
ダークモード搭載

アプリをダウンロード

関連記事

{{ total_bookmarks_with_user_postfix }}{{ root_title }}

ADSL by Bocete

ADSL - Abstract Data Store Library Project maintained by Bocete Hosted on GitHub Pages — Theme by... ADSL - Abstract Data Store Library Project maintained by Bocete Hosted on GitHub Pages — Theme by mattgraham ADSL - Abstract Data Store Library ADSL is a gem for formal verification of Ruby on Rails models. Simply include it in your Gemfile, write a few invariants (rules) about ActiveRecord data that you wish to verify (for example, that at any given moment, every Address has a User) and run rake

ブックマークしたユーザー

masterq2017/08/24
denymain2014/07/19
uid01302014/07/18
todesking2014/07/18
screwbound2014/07/18
yojik2014/07/18
t-wada2014/07/18
somemo2014/07/18
love0hate2014/07/17
barlog2014/07/17
daiki_172014/07/17
advblog2014/07/17
asonas2014/07/17
tkpyoi2014/07/17
kenmitsu2014/07/17
CLSmooth2014/07/17
komlow2014/07/17
sylph012014/07/17

いま人気の記事

いま人気の記事をもっと読む

いま人気の記事 - テクノロジー

いま人気の記事 - テクノロジーをもっと読む

新着記事 - テクノロジー

新着記事 - テクノロジーをもっと読む

いま人気の記事 - 企業メディア

企業メディアをもっと読む

設定を変更しましたx