BT

InfoQ ホームページ Validation に関するすべてのコンテンツ

ニュース

RSSフィード
  • 安全な非同期イベント駆動プログラミングのためのP言語をMicrosoftがオープンソース化

    Microsoftが最近オープンソースとして公開したP言語は、非同期イベント駆動プログラムを安全に書くことができ、Linux、macOS、Windows上で動作する。

  • 自動運転車のソフトウェア開発にモデルを使用すること

    モデルは自動運転車のような自律システムのソフトウェア開発において重要な役割を果たしている。モデルは振る舞いのシミュレートや検証、システムの文書化、そしてコードを生成するために使用される。Jonathan Sprinkle氏が、自律システムで使用するモデルをどうモデリングするか、モデリングの利点、テストデータを用いてどう自動車を運転するソフトウェアを検証するか、信頼性のあるコードを記述するための技法を説明する。

  • どのようにして正しい製品を開発するか

    顧客がほしがっていない製品や市場がない製品を作ってしまうのは無駄だ。アジャイルは効率的に製品を開発できるが、何をビルドするかは理解しておかなければならない。どのようにして顧客の製品に対するニーズを見つけることができるだろうか。

  • W3Cがウェブ検証ツールUnicornをリリース

    W3CはUnicornをリリースした。 Unicornはウェブページの品質向上を手助けするワンストップのツールだ。UnicornはMarkup Validator、CSS Validator、mobileOk Checker、Feed Validatorの4つの人気ツールをひとつのインターフェイスに統合したツールだ。つまり、4つのウェブサイトを巡らなくても、ひとつのサイトを訪問すればウェブページの品質検証ができる。また、一度に4つの検証をすべて行うのか、4つのうちから必要なものを選んで個別に検証するのか選ぶこともできる。

  • ReCAPTCHA ASP.NET Library

    reCAPTCHA ASP.NET Libraryは、ASP.NET Webサイト上にCAPTCHAを配置する際の分かりやすい方法を提供する。そのライブラリはreCAPTCHA APIを折り返す。C#やVisual Basic .NETを含む任意の.NET言語のライブラリを使用することができる。

  • Bean Validation 仕様の初期ドラフトがリリース

    Hibernate Validator のリード開発者である Emmanuel Bernard 氏が主導する JSR-303 は、Java EE 6 のための制約メタデータモデルの標準化を目指している。

  • Article: XMLをユニットテストする

    XMLUnitはBSDライセンスの下で認可されたオープンソースプロジェクトです。XMLUnitは相関クラスの小さなライブラリを提供しますが、それは、前のセクションで概説された幾つかのXMLをテストする異なった方法のそれぞれを簡素化します。

BT

あなたのプロファイルは最新ですか?プロフィールを確認してアップデートしてください。

Eメールを変更すると確認のメールが配信されます。

会社名:
役職:
組織規模:
国:
都道府県:
新しいメールアドレスに確認用のメールを送信します。このポップアップ画面は自動的に閉じられます。