Alloy
about alloy Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switching networks. An Alloy model is a collection of constraints that describes (implicitly) a set of structures, for example: all the possible security configurations of a web application, or all
なごやまつり (2013/08/25 13:30〜)
名古屋な祭りがいまここに！ 日本の夏祭りは風物詩として私たちの生活にとけ込んでいます。 名古屋の夏の風物詩とはなにであろうか。名古屋でお祭りに参加して楽しみたい。ならばやりましょう。名古屋のお祭り！ 名古屋ではここには書ききれない程のたくさんの夏が楽しめるはずです。 #llmatsuri に対抗したかっただけ 懇親会はこちらから申し込めます。 今回のお祭りは「あなたの思う名古屋」というテーマで15分から30分前後の発表を予定しています。 発表者募集中です。発表してみたい方はぜひご連絡ください。 -> twitter : kyon_mm -> mail : kyon.mm at gmail.com
LLまつり - Lightweight Language Matsuri
開催案内 11回目となる今回は8月24日(土)にすみだ産業会館で開催します。 ぜひみなさん、ふるってご参加ください！祭だ祭だ！ プログラム 各セッションの概要を記載しています。また、あわせてタイムテーブルもご覧ください。 アンケートのお願い 参加者の皆様、あるいは参加されなかった皆様に、是非アンケートにお答えいただければと思います。Googleフォームよりご回答ください。 チケット 前売り券の販売を終了しました。当日チケットもございますのでぜひとも足をお運びください。 物販ブース＆見本誌展示 例年行なっております物販及び見本誌展示のご案内です。 LL QUIZ 2013 昨年御好評いただきましたLL QUIZを今年も開催します。ふるってご参加ください！ 募集 ※ プレゼンテーション発表者募集、ライトニングトーク発表者募集、当日スタッフ募集は締め切りました。ご応募ありがとうございました！ ア
TDDの自殺 #kyon_mmAdvent - うさぎ組
はじめに 僕は熱心にTDDを勧めているエンジニアです。 ですが、この2年でTDDが銀の弾丸ではないことも気付き始めました。 その気づきの一つがこのTDDの自殺です。 先にFacebookで投稿したところ、評価をもらえたので投稿します。 「読み手を選ぶエントリーです、(`・ω・´)ｷﾘｯ」 これを読んで「kyon_mmも落ちたものだ」と思ってもらっても構いませんし、「迷惑な話だ」ということであれば僕に猛抗議をしてもかまいません。 TDDとはなにか TDDは開発者を支援するフレームワークと定義します。 TDDは「開発者の意図を確認すること」「開発者が心地よいコードを書き始める事」を支援するフレームワークです。 TDDの基礎 TDDを支えるものとして次の要素があります。 客観的で頻繁にも実施できる検査群、確認し易い検査結果群、RED,GREEN,REFACTORのライフサイクル。 これらによって
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
