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

関連ブログ

さっさん部ログ•12 日前

【2021年最新】おすすめゲーミングキーボードの紹介や各メーカーのキースイッチの違い・選び方について解説します

どうもさっさんです^^少し前まで日本国内では「ゲーム＝CS機」という認識が強く、あまりPCゲームは普及していませんでしたが、PUBGやフォートナイトの人気がきっかけでPCゲームをする方が急激に増えました。また、フォートナイトやCODがPS4でもマウスとキーボードの操作に対応したため、PCに限らず使用するデバイスが重要になってきました。そこで今回はゲーミングキーボードの選び方やおすすめ製品について解説していきます。 【2019年版】最新おすすめゲーミングマウスを紹介 選び方やおすすめメーカーもお教えします - さっさん部ログ 【2019年版】最新おすすめゲーミングモニターを紹介 テレビとゲーミン…

yutasyuuの日記•13 日前

WILL-O'

どうも、ユタ州です！ 絶賛研修中！！ 研修も5日目に入り、慣れてきたからこそ時間が進むのが遅くてメンタル逝きそうです ちょうどポップの張り替えの時期でして バーコードの下の数字を何時間も見過ぎで目が痛いですwww では、本題 私が唯一、推していた地下アイドル WILL-O' の現体制が今日を持ちました終了となりました 私がよくブログにつけている画像の人達です 「WILL-O'」との出会いは「夕闇に誘いし漆黒の天使達」というYouTuberとのコラボ動画でした 当初は「Alloy」という名前で活動しており、そこで「この子はキャラが良いな」と思ったのが 榎本りょう でした 彼女はグループの元気印で…