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/

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

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

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

#Alloy

ネットで話題

もっと見る
77ブックマークOAuth2 のフローを Alloy Analyzer でモデリングする - 詩と創作・思索のひろばmotemen.hatenablog.com
57ブックマーク形式手法と 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
37ブックマーク書籍『抽象によるソフトウェア設計－Alloyではじめる形式手法－』の紹介www.infoq.com
37ブックマークTitanium と alloy ではじめるスマートフォンアプリ開発 :: Crocos Engineering Blogengineering.crocos.jp
37ブックマークインテル、全部入りVRヘッドセットProject Alloy発表。RealSenseで外部センサやコントローラ不要の「融合現実」端末、来年オープン化 - Engadget 日本版japanese.engadget.com
34ブックマーク形式仕様記述Alloyを試してみる - きしだのHatena試してみるよ。 とりあえず商品をまとめたセット商品についての仕様を書いてみる。 まず商品の定義 module exec/shohin sig Shohin{} pred show{ } run show sigはJavaとかのclassだと思えばだいたいOK。 なんか商品がみっつ出た。 じゃあ、セット商品を定義してみる。 sig SetShohin{ bundle: set Shohin } おー、同じ...nowokay.hatenablog.com
29ブックマーク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

関連ブログ