InfoQ

InfoQ

新着情報

ebXML RegRep v4.0が承認される

トピック
仕様,
SOA

OASISはebXMLレジストリとebXMLリポジトリ(RegRep)の仕様のバージョン4.0が標準として認められたと発表した。しかし、ウェブサービスが廃れ、RESTが普及したクラウドの世界にebXMLの役割はあるのか。

ARM版Windows 8の開発が進んでいる

トピック
.NET

ARM向けWindows 8はすでに安定版になっており、2月に開発者に対して公開されるとレポートは述べている。

Rubyのメモリ使用量を改善するBitmapマーキングGC

トピック
パフォーマンス&スケーラビリティ,
ランタイム,
Ruby

Ruby 1.9.3の後継では、現在の遅延解放ガベージコレクターは、Ruby Enterprise Editionのcopy-on-writeと親和性の高いGCに似た仕組みで、並列プログラミングにおけるRubyのメモリ使用量を大幅に削減するBitmapマーキングGCに置き換えられる。私たちは、現在の遅延解放とBitmapマーキングGCの両方を実装したNarihiro Nakamura氏と話した。

Phalangerの近況

トピック
.NET,
Webフレームワーク

Phalanger 3がリリースされた。これにはPHP名前空間、Mono/Linux、C#互換性のサポート改善が含まれている。

IRQA - システム開発プロジェクトのための要件定義ソリューション

トピック

Visure Solutionsは要件の定義と管理のためのソリューション(RDM)であるIRQAを発表した。専門のツールを使い、しっかりとしたプロセスで要件定義を行うことは製品やソリューション開発の質を保証する上で重要だ。

jQ.Mobi – モバイルデバイスに最適化されたjQuery

トピック
HTML 5,
オープンソース,
モバイル,
JavaScript

appMobiは、developer mindshare用のjQuery Mobileと競合するjQueryを書き換えたjQ.Mobiをオープンソース化した。

最も望まれているEntity Frameworkの機能

トピック
データアクセス,
.NETフレームワーク

EFチームは、ユーザーの要望と機能への投票ができるユーザーボイスフォーラムを準備した。現在可能な回避策とともに、投票数が多い要望機能上位7位を紹介しよう。

webOSは多くのデバイスで走る予定で、Enyoは多くの主要なブラウザーで走る

トピック
モバイル,
JavaScript,
オープンソース

HPは標準のLinuxカーネルを使うことで、webOSが広範囲に採用されるようにすることを決めた。主要な全てのブラウザー上で動くのが、Enyo開発フレームワークである。Enyo 2.0は、オープンソース化された。

Amazon が DynamoDB をローンチ

トピック
クラウドコンピューティング

Amazon および Amazon Web Service は1月18日に DynamoDB をローンチした。最高技術責任者 (CTO) である Werner Vogels 氏の ブログ での説明によれば,インターネットスケールの Web アプリケーション用に設計された NoSQL データベースである。

マルチスレッドとWPF 4.5

トピック
.NET,
リッチクライアント/デスクトップ

WPF 4.5ではマルチスレッド・データバインディングのサポートが改善されたが、このテクニックには依然としてリスクがある。この記事では、それがどのように動いているか、安全に使うには何が必要かについて説明する。

その他のニュース

特集コンテンツ一覧

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日と引き続き開 催されていく予定である。本記事では、開催の様子をレポートする。

Javaの未来についてのNeal Gafter氏とのディスカッション

Choosing Options

Neal Gafter氏はOracleによるJava買収の影響に関する議論、Javaにセグメンテッドスタックやメタオブジェクトプロトコルを追加することについての主張、そしてJavaとC#との比較について話をしてくれた。

Google Dartのエッセンス:アプリケーションの構築、スナップショット、Isolate

GoogleはVMをともなう新しい言語であり、JSコンパイラでもあるDartをプレビューした。 InfoQはDartのアプリの構築に貢献する文法の裏側を探った:スナップショット、Isolate、モジュール方式

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

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

Jenkinsによる継続的インテグレーションのススメ(4) ~CloudBeesでJenkinsをサービスとして使う~

前回まで、Jenkinsの幾つかの側面に注目して解説をしてきました。シリーズ最後の今回は、Jenkinsをサービスとして使う方法を紹介します。

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

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

Windows デバイスで開発するタッチユーザーインターフェイス

スマートフォンを中心としたマルチデバイスにおけるタッチユーザーインターフェイスへの対応は、既に必須の項目となりつつある。本記事では、Windows デバイスにおける UX のベースとなっている「メトロ」というデザイン言語を掘り下げながら、既存環境を意識しつつもどのようにタッチユーザーインターフェイス開発に取り組んでいくべきであるかについて解説していく。