cofoja - Project Hosting on Google Code

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

github.com/nhatminhle

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

コメント

9

記事へのコメント9件

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

teppeis 契約プログラミング。んー。

java

2012/12/09 リンク

udzura 契約プログラミン for Java

2011/11/14 リンク

YasuyukiMiura メソッドの入出力の制約を定義しておき、検証できるみたい。

2011/05/07 リンク

yugui DbC for Java

2011/02/28 リンク

sa-y DbC

2011/02/10 リンク

tetram 契約プログラミング！

Java
Google

2011/02/10 リンク

bloominfeeling javaDebug

2011/02/09 リンク

aoe-tk DbCのためのツールと言ったところか

java
dbc

2011/02/09 リンク

koko1000ban 契約プログラミング

java

2011/02/08 リンク

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

規約違反を報告

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

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

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

アプリをダウンロード

関連記事

{{ total_bookmarks_with_user_postfix }}{{ root_title }}

cofoja - Project Hosting on Google Code

Contracts for Java, or Cofoja for short, is a contract programming framework and test tool for Ja... Contracts for Java, or Cofoja for short, is a contract programming framework and test tool for Java, which uses annotation processing and bytecode instrumentation to provide run-time checking. (In particular, this is not a static analysis tool.) I originally wrote Cofoja when interning at Google in 2010, based on prior work on Modern Jass. It was open-sourced in early 2011, and has since been main

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

teppeis2012/12/09
Hayato2012/01/07
udzura2011/11/14
kensei_realdeal2011/06/13
YasuyukiMiura2011/05/07
toshipon1232011/03/19
yugui2011/02/28
yoppiblog2011/02/20
javouhey2011/02/17
tezukam2011/02/12
himorogi2011/02/10
sasaplus12011/02/10
giffie112011/02/10
sa-y2011/02/10
twainy2011/02/10
chikuchikugonzalez2011/02/10
masakielastic22011/02/10
tetram2011/02/10

いま人気の記事

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

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

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

新着記事 - テクノロジー

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

設定を変更しましたx