IDEA * IDEAドットインストール代表のライフハックブログ
Heroku | Cloud Application Platform
Spotlight Data on Heroku Build data-driven apps with fully managed data services. Move Fast Unleash your inner startup Choose Heroku for the same reasons disruptive startups do: it’s the best platform for building with modern architectures, innovating quickly, and scaling precisely to meet demand. Developers Focus on your apps Invest in apps, not ops. Heroku handles the hard stuff — patching and u
オープンソースのコードレビューツール「Review Board」正式版がリリース | OSDN Magazine
オープンソースのソースコードレビューツール「Review Board」の開発チームは6月20日（米国時間）、「Review Board 1.0」をリリースした。ライセンスはMIT Licenseを採用、同プロジェクトのWebサイトよりダウンロードできる。 Reviews Boardは、米VMwareの開発にあたって作成されたWebベースのソースコードレビューツール。ソフトウェア開発におけるソースコードの変更評価を管理するツールで、複数のレポジトリにあるコードを比較し、エラーを検出する。Pythonで作成され、フレームワークに「Django」を利用した。約2年半の開発を経ての正式版リリースとなる。 レポジトリは、Bazaar、ClearCase、CVS、Git、Mercurial、Perforce、Subversionをサポート、MySQL、PostgreSQL、SQLite、Apache、
Alloy Analyzer で形式仕様記述
仕様を形式的に記述/検査することのできる言語やツールは、VDM, B, Z, Isabelle など他にも色々ありますが、 Alloy はそれらにくらべてより軽いフットワークで記述/検査することができるツールです。 それらのツールと Alloy との比較も、機会があればご紹介したいと思います。 2. Alloy を使った形式仕様記述の特徴 数理論理学＋集合論をベースとした Alloy の言語で仕様を記述します。 書いた仕様を、簡単に検査することができます。 難しい論理式の証明などは必要ありません。 検査結果は図で表示してくれるので、結果を目視で直感的に理解することができます。 仕様で書いた振る舞いをシミュレーションすることができます。 3. このページのスコープ ここでは仕様のうち、概要レベルの仕様や、重要な部分だけを抜き出した仕様といった、抽象度の高い仕様をスコープとしています。 抽象度
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
【4匹と独りキッチン】パンデモニウムさんの姿煮
EvernoteのWinクライアントが重いので、やり方変えちゃうわ(Chrome版)
myruremaをemacsから使えるmyrurema.el作ってみた - I am Cruby!
GitHub - yhara/myrurema: A helper tool for rurema (The new Japanese Ruby reference manual)
Amazon.co.jp: Emacsテクニックバイブル ～作業効率をカイゼンする200の技～: るびきち: 本