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/

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

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

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

#Alloy

ネットで話題

もっと見る
77ブックマーク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
37ブックマークTitanium と alloy ではじめるスマートフォンアプリ開発 :: Crocos Engineering Blogengineering.crocos.jp
36ブックマーク書籍『抽象によるソフトウェア設計－Alloyではじめる形式手法－』の紹介www.infoq.com
36ブックマークインテル、全部入りVRヘッドセットProject Alloy発表。RealSenseで外部センサやコントローラ不要の「融合現実」端末、来年オープン化 - Engadget 日本版japanese.engadget.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

関連ブログ

QYResearch1の日記•4 日前

グローバルポリプロピレン合金市場の収益、市場規模、販売量、売上高、価格の分析レポート2022-2028

2022年6月28日に、QYResearchは「グローバルポリプロピレン合金に関する市場レポート, 2017年-2028年の推移と予測、会社別、地域別、製品別、アプリケーション別の情報」の調査資料を発表しました。ポリプロピレン合金の市場生産能力、生産量、販売量、売上高、価格及び今後の動向を説明します。世界と中国市場の主要メーカーの製品特徴、製品規格、価格、販売収入及び世界と中国市場の主要メーカーの市場シェアを重点的に分析する。過去データは2017年から2021年まで、予測データは2022年から2028年までです。 ■レポートの詳細内容・お申込みはこちらhttps://www.qyresearc…

kirdina’s（裏）自転車秘密工房•4 日前

【動画】TCSA例会「六月の風サイクリング」2022.06.26

2022.06.26 私たち夫婦の参加しておりますTCSA滝川サイクルスポーツ協会の例会「六月の風サイクリング」にて、奈井江町の道の駅「ハウスヤルビ奈井江」から三笠市の「クロフォード公園」まで、行って帰ってきました。もちろん今回も動画撮影してきましたので、そのご紹介です。

無題•6 日前

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

bike70km/塩谷朝-kg/-%夜-kg/-%0/10008:30河内地区市民センター。2人（大場・関本）。塩谷中央ファミマでカフェ。下田原セブンでカフェ。ここで大場と別れて帰宅。あと114日【koga miyata carbon team edition 2010 model】◆フレーム：koga miyata carbon team edition size60(ct600mm)◆フォーク：koga miyata carbon◆ホイール：shimano wh6700 wo◆タイヤ：vittoria zaffiro pro training 700*25c◆スプロケ：shimano cs…

無題•7 日前

６月２５日（土）koga miyata carbon team edition 2010 model

bike80km/塩谷朝-kg/-%夜-kg/-%0/10008:00河内地区市民センター。2人（大場・関本）。日光塩野室ファミマでカフェ。文挟で大場と別れてつる味へ。間に合った。大場は140km。夜職場。あと115日【koga miyata carbon team edition 2010 model】◆フレーム：koga miyata carbon team edition size60(ct600mm)◆フォーク：koga miyata carbon◆ホイール：shimano wh6700 wo◆タイヤ：vittoria zaffiro pro training 700*25c◆スプロケ…

Yamakohの備忘録•7 日前

【Reacto4000軽量化③】ハンドルをVision Metron 5D ACRに

カーボンフレームだけど少し重たい「Reacto4000」の軽量化計画③。前回は約90gmの軽量化を果たしました。今回はハンドルをVision Metron 5D ACRに交換しました。