InfoQ

InfoQ

InfoQ

En | 中文 | 日本語 | Br

新着情報

Debugger Canvas 1.1リリース

トピック
.NET,
デバッグ

Debugger CanvasはVisual Studio Ultimateのデバッガに'Code Bubbles'を導入したツールで、昨年の夏に発表された。新しい機能を盛り込んだDebugger Canvas 1.1が発表された。有効無効の切り替えや一度にマルチスレッドの処理をデバッグする機能などが追加されている。

クラウド戦争 - 米国陸軍がクラウド移行に Agile Platform を採用

トピック
プラットフォーム,
クラウドコンピューティング,
Agile

CGN (Government Computer News) によると，米国陸軍 SEC (Software Engineering Center) 内にあるアーキテクチャサービス部門は，アプリケーション開発の迅速化とプライベートクラウドへの移行のためのプラットフォームを導入している。この目的のためにエンジニアたちが選択したのが OutSystems の Agile Platform である。

Open GroupがSOAアーキテクト、クラウドサービスプロバイダ向けの標準をリリース

トピック
エンタープライズアーキテクチャ,
クラウドコンピューティング,
Architecture,
SOA

Open Groupは、IaaSとサービス指向アーキテクチャを構築している組織を支援する３つの標準を最近公開した。一斉に、これらの標準が専門家のアドバイスをベストプラクティス、アンケート、SOAとクラウド規模のインフラ アーキテクチャ用のテンプレートの形で提供する。

IntelliJ IDEA 11 - 新機能

トピック
Java,
IDE

JetBrainsはクリスマス前にIDEA 11をリリースした。これにはパフォーマンス改善、GroovyおよびGrailsのサポート、バージョン管理プラグインの改善が含まれている。InfoQではその新機能について詳しく調べた。

PostgreSQLとNeo4Jがクラウドへの道を歩み始めた

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

それぞれリレーショナルとグラフデータベースであるPostgreSQLとNeo4Jがクラウドへの道を歩む最新データストアに仲間入りする

Eclipse Junoと将来のEclipseプラットフォーム

トピック
Java

Eclipse Juno M5は、先週、Eclipse 4.2をベースとしてリリースされた。UIは革新的な進歩であるにも関わらず、Eclipseプラットフォームプロジェクトは夏のリリースに間に合うように移行を完了するためには、さらに多くのリソースが必要であることを懸念している。Eclipse Juno E4への移行について理解するために読んでいただきたい。

Windows Workflow Foundation 4.5、バージョニングサポートおよびデザイナの改善

トピック
.NET,
ワークフロー/BPM

昨年のMicrosoftのBuildカンファレンスで発表されたWindows Workflow Foundation (WF) 4.5は、2010年初めにWF4がリリースされて以来、最初のメジャーアップデートになる。このリリースにはC#によるExpression、バージョニングのサポート、大規模ワークフロー管理の改善が含まれている。

JSF 2.xについてEd Burns氏が語る

トピック
Java

InfoQはJSFの仕様策定者であるEd Burns氏に話を聞く機会を得た。氏はAjaxやHTML5を考慮したJSFはどのようなものになるのか、JSF 2.0、2.1はどのようなものになったか、2.2はどうなるのかについて話してくれた。また、JSPをFaceletととして処理した後にJSPとして返す仕組みや、JSF 2.2のマルチテナント機能、JSFはどのようにHTML 5をサポートするか、JSFの導入やJSFを使っている高トラフィックサイトなど、話題は多岐に渡った。

WPF と Silverlight 向けの Undo-Redo フレームワーク

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

Undo と Redo はエンドユーザに共通して求められるコマンドであり、実装が適切ならばアプリケーションのユーザビリティを大きく向上させることができる。Undo と Redo を実装するために、WPFとSilverilght開発者向けに少なくとも2つライブラリが提供されている。近年リリースされた Infragistics の Undo-Redo フレームワーク CTP版と、Undo と呼ばれるオープンソースライブラリである。

VMware が SQLFire 1.0 をリリース

トピック
データアクセス,
クラスタリング&キャッシング,
パフォーマンス&スケーラビリティ,
Java

VMware が SQLFire 1.0 をリリースした。SQLFire は高可用性と水平スケール性を重視した分散 SQL データベースで，テーブルのレプリケーション，テーブルのパーティショニング，クエリの並列実行などをサポートする。

関連情報

【豆蔵】「オブジェクト指向を現場で活かすリファクタリング入門」新規講座キャンペーン中

世界の先進エンジニアが集結 - QCon TOKYO 2012 早期割引実施中！

【ネクストスケープ】.NET、C#のアプリケーション開発者募集

【豆蔵】大好評のため、Jenkins講座を追加開催致します！Jenkins作者の川口氏が講師です。

【豆蔵】Android、MeeGo、Qt開発者募集

その他のニュース

特集コンテンツ一覧

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)という方法論を基礎とする技術であり、複雑さが増大しながらも安全性を求められる、現在のソフトウェア開発の状況に対する処方箋の１つとして注目されている手法である。

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

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

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

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

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

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