InfoQ ホームページ 設計/アーキテクチャ に関するすべてのコンテンツ
-
「Groovy & Grails eXchange 2011」in London 参加レポート（1/3）
2011年12月8日～2011年12月9日に、ロンドンのSkills Matter eXchangeにて開催された「Groovy & Grails eXchange 2011」の参加報告を、日本Grails/Groovyユーザーグループのメンバーが３回に渡って紹介します。
-
GAE開発の落とし穴
Googleのクラウド環境をつかったGoogle App Engineによる開発するにあたり、初めての試みで苦悩する開発者達の経験をもとに、各開発フェーズにあわせて問題点やどう解決したかをご紹介します
-
イベントレポート：「Coqチュートリアル#1」
去る1月12日、定理証明支援系ツールCoqの初心者向けチュートリアルが開催さ れた(http://kokucheese.com/event/index/23667/)。今後も2月2日 (http://kokucheese.com/event/index/23744/)、2月9日、2月16日と引き続き開 催されていく予定である。本記事では、開催の様子をレポートする。
-
CSPベースのモデル検査ツール「Process Analysis Toolkit」
本記事ではCSPベースの「マルチドメイン・モデル検査ツール」である、PAT(Process Analysis Toolkit)について紹介する。モデル検査は、形式手法(Formal Method)という方法論を基礎とする技術であり、複雑さが増大しながらも安全性を求められる、現在のソフトウェア開発の状況に対する処方箋の１つとして注目されている手法である。
-
書籍『抽象によるソフトウェア設計－Alloyではじめる形式手法－』の紹介
Alloyは、MITにて開発された仕様記述言語であり、ツールによる自動解析を使い、インクリメンタルに形式仕様が書けることが特長である。筆者らはAlloy開発者による、Alloyを使った形式手法入門書を翻訳、今夏にオーム社より刊行した。本記事では、Alloyの簡単な概要と、翻訳書『抽象によるソフトウェア設計』（「Alloy本」）を紹介する。
-
Windows デバイスで開発するタッチユーザーインターフェイス
スマートフォンを中心としたマルチデバイスにおけるタッチユーザーインターフェイスへの対応は、既に必須の項目となりつつある。また、9月に新しいWindows である Windows 8 が発表され、その環境が” touch first ” となり、圧倒的多数のPCにおいても検討が避けられない状況となっている。本記事では、Windows デバイスにおける UX のベースとなっている「メトロ」というデザイン言語を掘り下げながら、既存環境を意識しつつもどのようにタッチユーザーインターフェイス開発に取り組んでいくべきであるかについて解説していく。
-
/articles/rest-soap/ja/smallimage/article icon.jpg)
SOAP から REST へ - その方法と意義
REST API の数はここ５年間で急激に増加しています。しかしそこには実装上の矛盾が数多く存在し，多数の開発者がその原因である RESTful アーキテクチャ定義に合意点を見出すための努力を続けています。この記事では iPaaS (Integration Platform as a Service) である Mule iON が，公開 API と API マッシュアップに一貫性を実現している方法について説明します。
-
イベントレポート：「ProofSummit2011」
2011年9月25日「ProofSummit2011」が開催された。本イベントでは、形式手法の一種である定理証明支援系ツールに興味を持つ技術者が集まり、Coq,Agda等のツールのチュートリアル、および応用に関する講演が行われた。
-
/articles/ISO26262/ja/smallimage/small-image-1666712671747.jpg)
セミナーレポート：「ISO26262セミナー」
2011年9月13日「ISO26262セミナー ～車載開発は品質、環境から安全へ ISO26262対応を支援します～」が開催された。本セミナーでは、検査登録機関のＳＧＳジャパン株式会社、管理インフラ・ソリューションを提供するダッソー・システムズ株式会社、ソフトウェアエンジニアリングに基づいてISO26262対応を支援する株式会社豆蔵と、開発を実現するＴＤＩプロダクトソリューション株式会社が、各社それぞれの領域でISO26262対応についての講演が行われた。
-
LightSwitchの画面項目にSilverlightユーザーコントロールを追加する
LightSwitchにSilverlightのユーザーコントロールを追加して画面のカスタマイズを行う方法を紹介する。