GitHub、“Open Source Guides”の日本語訳を公開 ～OSSコミュニティのベストプラクティスを集約／オープンソース入門者だけでなく、すでに貢献をしている開発者にも
仕様記述テクニック「Promotion」の紹介 - DeNA Testing Blog
こんにちは、SWETの鈴木穂高（@hoddy3190）です。 私はこちらの記事に記載の通り、形式手法の可能性を模索しています。 現在はツールやゲームの仕様を形式的に記述すること（形式仕様記述）で、仕様の欠陥をなるべく早く見つける取り組みにチャレンジしています。 今回は仕様記述をするにあたりよく使う重要な記述テクニックである「Promotion」を紹介します。 形式仕様記述とAlloyというツールを知っている人を対象にしています。 もし形式仕様記述やAlloyをご存じない方は、以前私がbuilderscon tokyo 2019で発表したときに使った資料をご覧ください。 Promotionとは 一般にソフトウェアシステムは複数のコンポーネントから構成されます。 システム全体としての状態（以下、システム状態）は各コンポーネントの状態の組み合わせからなります。 たとえどんなに奥深くのどんなに小さ
書いたな、俺の前で、革靴の話題を！
https://anond.hatelabo.jp/20200203232919 元増田よ。スコッチグレインとクロケット＆ジョーンズを同列に並べてる時点でどうよ。 スポンジ中物でお馴染みのスコッチグレインはリーガルと同程度だろ。 なお、スコッチグレインをディスった形になったが、あくまでクロケとの対比であり、コスパ良い靴なんでお間違えなく。 追記：URLの都合で収まりきらないので、ブックマークへの反応は別記事にて補足した。反響感謝です。 anond:20200219120055、anond:20200222120019、anond:20200222165759 あと、大先輩がグリーン色の沼から這い出てきてますので、是非ご一読の程を！ anond:20200219225124 整備編まず、靴が当たって痛いという方に簡単な処方箋。 既製靴が100%フィットすることはないので、どこかにひずみがあっ
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
フロントエンドの技術選定
Kyoto University Research Information Repository: プログラミング演習 Python 2019