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ブックマーク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
27ブックマークEmacs+titanium cli+alloyでiPhoneアプリを開発するblog.kzfmix.com
25ブックマークAlloy本格的にはじめました - 40歳からのキャリアチェンジh5y1m141.hatenablog.com

関連ブログ

ART-Explorer tom blog•19時間前

【ゲーム・趣味】「ARK: Survival Ascended」＆「ARK2」に必要なPCスペックパーツごとに考察＆紹介！後編（電源・ビデオカード・モニターまで）

www.youtube.com さて、前編に引き続き「ARK: Survival Ascended」リリース前のPC版のスペック考察していきたいのですが。 最初にPCで一番、地味ですが事故を起こすと大変なパーツが有るんです！ それは「電源」です！ 事故ると火災につながる可能性も有るので重要なパーツです！ 【考察：電源】 ゲーミングPCと言えばBTO(ビルド トゥ オーダー)パソコンと言っても過言では無いのですが。 要するに全てが決められたパーツで販売れているメーカー品のPCとは違い、PCを構成するパーツを選んでオーダーして制作してもらって購入する形のPCなんですね。 正しく名前通り「ビルド ト…

Playful Media•5日前

誕生30周年記念！アップグレード応援キャンペーンでゲーミングPCが破格【FRONTIER】

本ページはアフィリエイト広告を利用したプロモーションが含まれています。 本ページは執筆日での情報になります。最新情報は各リンク先での情報を確認して下さい。 公式X（旧称 Twitter） 公式サイト 30周年記念大会！FRONTIER CUP開催セール アップグレード応援キャンペーン 大会記念モデル FRGLB760/SF6『ストリートファイター6』推奨パソコン コスパの頂点を目指して！感謝昇龍モデル FRGAG-B760/WS921/NTK FRGXB760/WS929/NTK 人気のゲーミングアイテム付き☆勝利福袋セット FRGXB760/WS30 ゲーマー必見！勝利をつかめ！人気白熱モデ…

qyresearchのブログ•7日前

低合金鋼溶接棒の世界市場レポート2023-2029

低合金鋼溶接棒に関するグローバル市場分析、市場規模、販売量、売上高、価格調査レポート2023-2029 2023年9月28日に、QYResearchは「グローバル低合金鋼溶接棒に関する調査レポート, 2023年-2029年の市場推移と予測、会社別、地域別、製品別、アプリケーション別の情報」の調査資料を発表しました。低合金鋼溶接棒の市場生産能力、生産量、販売量、売上高、価格及び今後の動向を説明します。世界市場の主要メーカーの製品特徴、製品規格、価格、販売収入及び世界市場の主要メーカーの市場シェアを重点的に分析する。過去データは2018年から2022年まで、予測データは2023年から2029年まで…

QY Research株式会社•7日前

熱電対合金線の世界市場レポート2023-2029

熱電対合金線の世界市場規模、シェア、動向分析の調査レポート2023-2029 2023年9月28日に、QYResearchは「グローバル熱電対合金線に関する調査レポート, 2023年-2029年の市場推移と予測、会社別、地域別、製品別、アプリケーション別の情報」の調査資料を発表しました。熱電対合金線の市場生産能力、生産量、販売量、売上高、価格及び今後の動向を説明します。世界市場の主要メーカーの製品特徴、製品規格、価格、販売収入及び世界市場の主要メーカーの市場シェアを重点的に分析する。過去データは2018年から2022年まで、予測データは2023年から2029年までです。 コロナ禍によって、熱電…

BASSOのある日常•8日前

1人戦うドロップハンドルに仲間が加わった。

先日お届け致しましたこちらの記事 から、早や2週間ほど経ってしまいましたが、ただ時間が過ぎているわけではございません。 勇者は日々鍛錬にいそしんでいた模様です。 --- 大阪自転車民のオアシス。某サイクルパーツショップにご来店。 1人目の仲間はこちら ALLOY BAR END PLUGS／WOLF TOOTH ドロップハンドルに巻くバーテープを端っこで固定するアレですね。 特にコダワリなかったんですがデザインにヤラレてお買い上げ。 以前からWolf Toothっていちいちオシャレだなぁ・・・と思ってたんですが、遂にそのオシャレさんとご一緒することになりました。 正直なかなかに良いお値段だった…

qyresearch•10日前

積層造形用合金粉末の世界市場レポート2023-2029

積層造形用合金粉末の世界市場規模、シェア、動向分析の調査レポート2023-2029 2023年9月25日に、QYResearchは「グローバル積層造形用合金粉末に関する調査レポート, 2023年-2029年の市場推移と予測、会社別、地域別、製品別、アプリケーション別の情報」の調査資料を発表しました。積層造形用合金粉末の市場生産能力、生産量、販売量、売上高、価格及び今後の動向を説明します。世界市場の主要メーカーの製品特徴、製品規格、価格、販売収入及び世界市場の主要メーカーの市場シェアを重点的に分析する。過去データは2018年から2022年まで、予測データは2023年から2029年までです。 コロ…

qyresearch-pressrelease’s diary•10日前

合金焼入れ強化鋼板の世界市場レポート：成長、市場規模、競合状況、予測2023-2029

合金焼入れ強化鋼板に関するグローバル市場分析、市場規模、販売量、売上高、価格調査レポート2023-2029 2023年9月25日に、QYResearchは「グローバル合金焼入れ強化鋼板に関する調査レポート, 2023年-2029年の市場推移と予測、会社別、地域別、製品別、アプリケーション別の情報」の調査資料を発表しました。合金焼入れ強化鋼板の市場生産能力、生産量、販売量、売上高、価格及び今後の動向を説明します。世界市場の主要メーカーの製品特徴、製品規格、価格、販売収入及び世界市場の主要メーカーの市場シェアを重点的に分析する。過去データは2018年から2022年まで、予測データは2023年から2…

qyresearch-news’s diary•13日前

溶解性マグネシウム合金世界市場の展望と動向分析レポート：規模、シェア、成長機会、予測2023-2029

溶解性マグネシウム合金に関するグローバル市場分析、市場規模、販売量、売上高、価格調査レポート2023-2029 2023年9月22日に、QYResearchは「グローバル溶解性マグネシウム合金に関する調査レポート, 2023年-2029年の市場推移と予測、会社別、地域別、製品別、アプリケーション別の情報」の調査資料を発表しました。溶解性マグネシウム合金の市場生産能力、生産量、販売量、売上高、価格及び今後の動向を説明します。世界市場の主要メーカーの製品特徴、製品規格、価格、販売収入及び世界市場の主要メーカーの市場シェアを重点的に分析する。過去データは2018年から2022年まで、予測データは20…

QY Research•13日前

医療用チタン合金の世界市場レポート2023-2029

医療用チタン合金に関するグローバル市場分析、市場規模、販売量、売上高、価格調査レポート2023-2029 2023年9月22日に、QYResearchは「グローバル医療用チタン合金に関する調査レポート, 2023年-2029年の市場推移と予測、会社別、地域別、製品別、アプリケーション別の情報」の調査資料を発表しました。医療用チタン合金の市場生産能力、生産量、販売量、売上高、価格及び今後の動向を説明します。世界市場の主要メーカーの製品特徴、製品規格、価格、販売収入及び世界市場の主要メーカーの市場シェアを重点的に分析する。過去データは2018年から2022年まで、予測データは2023年から2029…