BT
rss
  • 人のフォロワー

    CSPベースのモデル検査ツール「Process Analysis Toolkit」

    作者: 藤本洋(キャッツ株式会社) フォローする 0 人のフォロワー 投稿日  2011年11月27日 午前8時6分

    本記事ではCSPベースの「マルチドメイン・モデル検査ツール」である、PAT(Process Analysis Toolkit)について紹介する。モデル検査は、形式手法(Formal Method)という方法論を基礎とする技術であり、複雑さが増大しながらも安全性を求められる、現在のソフトウェア開発の状況に対する処方箋の1つとして注目されている手法である。

  • 人のフォロワー

    書籍『抽象によるソフトウェア設計-Alloyではじめる形式手法-』の紹介

    作者: 今井健男(株式会社 東芝 研究開発センター) フォローする 0 人のフォロワー 投稿日  2011年11月15日 午後10時58分

    Alloyは、MITにて開発された仕様記述言語であり、ツールによる自動解析を使い、インクリメンタルに形式仕様が書けることが特長である。筆者らはAlloy開発者による、Alloyを使った形式手法入門書を翻訳、今夏にオーム社より刊行した。本記事では、Alloyの簡単な概要と、翻訳書『抽象によるソフトウェア設計』(「Alloy本」)を紹介する。

  • 人のフォロワー

    実践RESTful HTTP

    作者: Gregor Roth フォローする 0 人のフォロワー , 翻訳者 能仁 信亮 フォローする 0 人のフォロワー   投稿日  2010年4月22日 午後3時8分

    Gregor Roth氏から、RESTful HTTPの基礎に関してオーバービューを提供し、RESTful HTTPアプリケーションを設計する上で開発者が直面する典型的な問題に関して取り上げる。その中で、RESTアーキテクチャスタイルをいかに実践していくかを示す。Gregor氏は、URIの命名の共通して利用されるアプローチや、統一インターフェースをつかったリソースへのインタラクション、PUTとPOSTの使い分け、CRUD以外の操作のサポートなどについてとりあげている。

人のフォロワー

HTTPSコネクションの最初の数ミリ秒

作者 Jeff Moser フォローする 0 人のフォロワー , 翻訳者 徳武 聡 フォローする 0 人のフォロワー   投稿日  2010年2月25日 午後3時0分

HTTPSコネクションを確立するとき、一体何が起こっているのだろう。この記事では安全なコネクションを準備するためにクライアントとサーバの間でどのようなデータの交換が行われているのか、バイトレベルまで詳細に分析する。

人のフォロワー

なぜDistributed OSGiが必要なのか?

作者 Eric Newcomer フォローする 0 人のフォロワー , 翻訳者 編集部 フォローする 0 人のフォロワー   投稿日  2009年5月19日 午後3時54分

新たな記事で、Eric Newcomer氏が分散OSGiの現状について述べ、そもそもそれを標準化する理由を説明している。 1

人のフォロワー

企業から見たSOAガバナンス

作者 Michael Poulin フォローする 0 人のフォロワー , 翻訳者 編集部 フォローする 0 人のフォロワー   投稿日  2008年10月14日 午後9時34分

Michael Poulin氏が OASIS SOA Reference ModelとReference Architectureの概念を使って、SOAガバナンスがEnterprise SOAの成功を確実にするために必要な理由を説明します。

人のフォロワー

シンプルな JAVA と .NET SOA の相互運用性

作者 ThoughtWorks フォローする 0 人のフォロワー , Paul Hammant フォローする 0 人のフォロワー , Ian Cartwright フォローする 0 人のフォロワー , Inc フォローする 0 人のフォロワー , 翻訳者 編集部 フォローする 0 人のフォロワー   投稿日  2007年9月17日 午後8時55分

この記事では、単純なテクノロジーと文書を中心としたアプローチを組み合わせることによって、独自のミドルウェアや複雑なWebサービススタックを利用せずに、価値の高いビジネスサービスを実現する方法について説明します。この発想は、RESTのアーキテクチャ様式や HTTP上でXMLを移動する機能から生まれたものです。

InfoQにログインし新機能を利用する


パスワードを忘れた方はこちらへ

Follow

お気に入りのトピックや著者をフォローする

業界やサイト内で一番重要な見出しを閲覧する

Like

より多いシグナル、より少ないノイズ

お気に入りのトピックと著者を選択して自分のフィードを作る

Notifications

最新情報をすぐ手に入れるようにしよう

通知設定をして、お気に入りコンテンツを見逃さないようにしよう!

BT