Hatena Blog Tags
はてなブログ トップ
Alloy
このタグでブログを書く
言葉の解説
ネットで話題
関連ブログ

Alloy

(コンピュータ)
【あろい】

The Alloy Analyzer is a tool developed by the Software Design Group for analyzing models written in Alloy, a simple structural modeling language based on first-order logic.

http://alloy.mit.edu/

このタグの解説についてこの解説文は、すでに終了したサービス「はてなキーワード」内で有志のユーザーが作成・編集した内容に基づいています。その正確性や網羅性をはてなが保証するものではありません。問題のある記述を発見した場合には、お問い合わせフォームよりご連絡ください。
詩と創作・思索のひろば•7年前

OAuth2 のフローを Alloy Analyzer でモデリングする

趣味でウェブの認証 API を地力で設計しようとしていたときに、認証フローの仕様を頑張ってこしらえたとして、その正しさをどうやって保証するんだろう？ と疑問に思い、調べていたところ、「形式手法」というのに行き当たった。 形式手法というのはシステムの正しさを上流工程から検証するための方法で、数理論理やロジックに基づいている。その中でも厳密な仕様定義を求める方向と自動検証を求める方向とあるらしいが、Alloy はその後者に位置づけられ、軽量形式手法と呼ばれるもののひとつだということらしい。Alloy はモデリングのための言語および実行環境で、以下のホームページから入手できる。 http://all…

#Alloy

ネットで話題

もっと見る
76ブックマークOAuth2 のフローを Alloy Analyzer でモデリングする - 詩と創作・思索のひろばmotemen.hatenablog.com
56ブックマーク形式手法と AWS のおいしい関係。- モデル検査器 Alloy によるインフラ設計技法 #jawsfestawww.slideshare.net
49ブックマークAppcelerator製。Titamium用MVCフレームワーク·alloy MOONGIFTalloyはAppceleratorが開発したTitanium用MVCフレームワークです。 JavaScriptを使ってiOSもAndroidアプリも作れるのが魅力のTitaniumですが、大型なアプリを作るには仕組みの自由度が高過ぎに感じる人も多いのではないでしょうか。そこで使ってみたいのがAppcelerator社自らが開発するMVCフレームワークのalloyです。 ...www.moongift.jp
42ブックマーク覚えておくときっと役立つ。Webアプリケーション用のリッチなUIフレームワーク·Alloy UI MOONGIFTAlloy UIは数多くのウィジェットを提供するUIフレームワーク。 [/s2If] Alloy UIはHTML5/JavaScript/CSS3製のオープンソース・ソフトウェア。Webの役割は大きく変わってきている。シンプルなホームページと言われた時代は終わり、Webアプリケーションやソーシャルサービスのようにオンライン上でやり取りされるデータが...www.moongift.jp
35ブックマーク書籍『抽象によるソフトウェア設計－Alloyではじめる形式手法－』の紹介www.infoq.com
33ブックマーク形式仕様記述Alloyを試してみる - きしだのHatena試してみるよ。 とりあえず商品をまとめたセット商品についての仕様を書いてみる。 まず商品の定義 module exec/shohin sig Shohin{} pred show{ } run show sigはJavaとかのclassだと思えばだいたいOK。 なんか商品がみっつ出た。 じゃあ、セット商品を定義してみる。 sig SetShohin{ bundle: set Shohin } おー、同じ...nowokay.hatenablog.com
27ブックマークEmacs+titanium cli+alloyでiPhoneアプリを開発するblog.kzfmix.com
27ブックマークAlloyabout 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) ...alloy.mit.edu
25ブックマークAlloy本格的にはじめました - 40歳からのキャリアチェンジh5y1m141.hatenablog.com

関連ブログ

無題•4日前

６月４日（日）koga miyata carbon team edition 2010 model

bike100km/戸祭・文挟・田野町・戸祭台run1h朝-kg/-%夜-kg/-%朝ライド戸祭。06:30日の出一丁目ファミマ。2人（大場・関本）。文挟でリターン。街中で別れて田野町まで。最後戸祭台さくら坂から仏舎利塔まで5往復。久々100km。夜ラン戸祭+α。【koga miyata carbon team edition 2010 model】◆フレーム：koga miyata carbon team edition size60(ct600mm)◆フォーク：koga miyata carbon◆ホイール：shimano wh6700 wo◆タイヤ：vittoria zaffiro pr…

限界放大生の雑記•6日前

中華切削加工使ってみたレビュー(PCBWay)

今回のお話はCNC切削加工、金属3Dプリントサービスになります！！ 皆さんはこういうサービスを利用されたことがありますか？ 国内ではミスミMeviyやDMM.makeぐらいですが中国近辺では多くのプリント基板屋さんがサービスを展開しています。 そこで今回は以前にもスポンサードを受けたことがあり、見積もりが簡単でわりあいデザインルールがゆるかったPCBWayを利用しました。 ちなみに私はCNC、3Dプリントサービス共に初の利用となります、的外れなコメントがありましたらご指摘いただければありがたいです。 名刺基盤に続き本記事もPCBWayのスポンサードの元お送りします Thank you PCBW…

animemangajapanのブログ•7日前

マジンガーZって？What is Mazinger Z?

・マジンガーZとは、マジンガーのシリーズの中で最初に登場したロボットの名前です。マジンガーZは、兜甲児の祖父である兜十蔵博士が発掘した古代文明の遺跡から発見した超合金Zで作られた巨大ロボットで、兜甲児が操縦して悪の科学者ドクターヘルとその配下のメカニカルビーストと戦います。マジンガーZは、胸にあるホバーパイルダーという小型飛行機に乗ってマジンガーZの頭部に合体することで起動します。マジンガーZは、ロケットパンチやブレストファイヤーなどの多彩な武器を使って敵と戦います。マジンガーZは、日本のロボットアニメの先駆けとなった作品で、パイロットがロボットに乗り込んで操縦するというスタイルを確立しました…