Facebook、静的解析ツールInferをオープンソース化Spring BootによるAPIバックエンド構築実践ガイド 第2版 何千人もの開発者が、InfoQのミニブック「Practical Guide to Building an API Back End with Spring Boot」から、Spring Bootを使ったREST API構築の基礎を学んだ。この本では、出版時に新しくリリースされたバージョンである Spring Boot 2 を使用している。しかし、Spring Boot3が最近リリースされ、重要な変...
形式的手法を用いた正当性立証可能なソフトウェアの開発
ソフトウェアプログラム内の中核的なコミュニケーションと状態管理が論理的に100%正しいことを証明する手段として，コンピュータチェックモデルを利用する方法がある。同じようなモデルは，100%正確なソースコードの作成にも応用できる。このような形式的手法を利用することにより，市場提供のためのコストと時間を削減し，より信頼性の高いソフトウェア製品の提供が可能になる。 Wayne Lobb氏はBits&Chips Software Engineeringカンファレンスで，正当性立証可能(provably-correct)なソフトウェアについて，ビジネス的側面から講演を行う予定だ。 InfoQは氏にインタビューして，ソフトウェアが複雑である理由，正当性立証可能なソフトウェアを開発する上で形式的手法やモデルのもたらすメリット，形式的手法を用いることによるビジネス上のアドバンテージ，セーフティクリティカル
Weaveworksがコンテナとマイクロサービス監視ツール‘Weave Scope’をリリース
Dockerの仮想ネットワークソリューションであるWeave を開発したWeaveworksが，Weave Scopeのプレアルファ版をリリースした。開発者をおもな対象とした，オープンソースのコンテナ監視ツールである。Weave Scopeはコンテナのマップを自動的に生成する。提供される情報によって技術者は，アプリケーション監視と管理，デプロイメントや運用上の判断を行うことが可能になる。Weaveworksでは，Weave Scopeの開発を進める上で，コミュニティからのフィードバックと協力を求めている。 Weave Scopeリリースを公表したブログ記事でWeaveworksは，現状のアプリケーションあるいはインフラストラクチャのモニタリングソリューションのおもな対象は運用担当者であって，開発者の要求には応えられていない，と主張する。DevOpsの台頭と‘書いた人が実行する’という哲学に
GroovyがApacheに参加
GroovyチームはApache Software Foundation(ASF)に参加する。Eclipse FoundationやSoftware Conservancyではなく，ASFを選択した理由について，プロジェクトリーダのGuillaume Laforge氏は次のように書いている。 ユーザ，各財団のプロジェクトのコミッタ，ボードメンバを始めとする皆さんから頂いた機会やアドバイスには，心から感謝しています。皆さんとの議論は実りのある，極めて有意義なものでした。それぞれの財団には，当然ながら長所と短所はありますが，どれも素晴らしく，プロジェクトにとって相応しいものでした。しかしながら，私たちの置かれた立場と思想について考えたときに，全体としてはApache Software Foundationが最善の選択であるという結論に至ったのです。 今回の発表について詳しく知るため，InfoQ
総まとめ：Javaの将来的な後継者としての Scala
原文(投稿日：2009/7/9)へのリンク Scalaが最近，将来のJava 後継者の有力候補として注目を集めている。Java の創作者である James Gosling 氏やJRuby の主要開発者である Charles Nutter氏に続いて，Groovy の創作者であるJames Strachan氏もScalaへの賛意を表明している。 氏はJava の好ましくない点について，次のように語っている。 Javaはとんでもなく複雑な言語です(仕様書は600ページもありますし，Javaのgenerics を本当に理解できている人はいるのでしょうか？)。オートボクシング(に隠されたNullPointerException)，基本型，コレクションではない時代遅れの配列，文字列/テキスト/バッファ/コレクション/配列に対するポリモーフィズムの全般的欠如，データ構造体やbean プロパティを扱うとき
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Apigee API Studio: APIの設計/テスト/公開が可能な開発ツール
Googleがクラウドプラットフォームのデータサービスとネットワークサービスを拡張
Gitを大容量バイナリファイルへと拡張するGit Large File Storage
見積もりなしの意思決定戦略
システム構成の５つの設計原則
Google、Hadoop上でネイティブコードを動かすMR4Cをオープンソース公開
Tumblrがデータセンタ自動化ツールGenesisをリリース
C#をJavaScriptへ変換するDuoCode
既にコンパイルされたアセンブリをデバッグできる.NET Reflector
InfoQ Japan: 最新技術を追い求めるデベロッパのための情報コミュニティ
