無料でレンタル出来るWEB日記帳サービスを行っているサイトを紹介しています。過去ログ保存数、何日間書き込みがないと削除されるのかのデータを掲載。 Air's Cocpit[相互] ログ
清算結了並びに基金事務局閉鎖のお知らせ 当基金は、平成28年7月1日に解散認可を受け、皆さまのご協力のもと清算業務を進めてまいりましたが、この度、清算結了となる決算報告書について、平成31年1月15日付けで厚生労働大臣より承認されました。 なお、清算結了に伴う事務手続きが済みましたことから、平成31年1月末日をもって基金事務局を閉鎖いたしました。 平成元年10月の基金設立以来、長きにわたり、当基金の事業運営に多大なるご支援・ご協力を賜りましたこと、厚く御礼申し上げます。
1.V字開発プロセスモデルによる分類 1.1.要件定義 VDM 形式手法(Formal Methods)により仕様の自動検証などを行う。 1.2.システム設計 モデル検査 Spin モデル検査により状態遷移図の状態で自動検証を行う。 LTSA モデル検査により状態遷移図の状態で自動検証を行う。 NuSMV モデル検査により状態遷移図の状態で自動検証を行う。 モデル駆動 ZIPC(商用:キャッツ株式会社) 状態遷移図による検証が可能 MDA モデルを実際に動かして動作検証する。Executable Umlなどを使用して仕様を記述。 IAR visualSTATE(商用:IAR SYSTEMS) ステートマシンを設計、検証、実装できるツール。20ステートまでの無料の評価版あり 1.3.詳細設計 Enterprise Architect(商用:SPARX SYSTEMS) テストツールではないが
テクニカルコンピテンシー部 開発・品質技術室 アプリケーションスペシャリスト 武市 正人 Masato Takechi masato-takechi@exa-corp.co.jp 15 構文解析を用いたCOBOLソースコード品質点検ツールの開発 ソースコードの品質確保において目視点検は重要であるが、時間がかかる、見落としが出る、属人的であるため結果 がばらつくなどの問題点がある。そのため近年JavaやCなどのオープン系言語では目視点検をサポートするツールが整 備されてきているが、COBOLには同様のツールがない。そこでCOBOLソースコードの点検を自動化したツール CHE-COBOを開発した。本稿ではCHE-COBOの概要、自動化された目視点検ノウハウの例、またCHE-COBOの効果に ついて報告する。 exa review No.10(2010.4) 図1 ソフトウェア品質特性の構成
You can search NRI's research and research results from tags, free words, and content types.
Photo Editor - Photoshop Online by Pixlr - Free Image Editing Tools Now, there are even more compelling reasons to choose Pixlr as your go-to solution for all your online image editing requirements, particularly when you're looking for a powerful "photo editor." Whether you're inclined towards traditional desktop-style photo editing or prefer a more contemporary approach, Pixlr has you covered. Pi
米IDC社が2008年6月に公開した報告書“Improving Software Quality to Drive Business Agility”によると、ソフトウエア品質に関する問題は、ソース・コードがどんどん複雑になってきていることに起因しているという。ソース・コードを複雑にしている要因としては、マルチスレッド・ソフトウエアの普及などが挙げられる。シングル・スレッドのソフトウエアに比べると、マルチスレッド・ソフトウエアのコードは開発が難しく、思ったように性能が上がらないなどの問題を抱えることが多い。 オープンソースのコードや、アウトソーシング先からのコードなどもソース・コードを複雑にする要因として挙げられる。これらのコードを利用するとき、その中身を完全に把握しないまま使ってしまう人は少なくないだろう。ソース・コードの中身を把握していないと、プログラムがうまく動かないときに、その修正
SPARCプロセッサを採用したことだけが勝因ではない。インターコネクト性能とプロセッサ性能のバランスが良いことが理由だ。TOP500で最も消費電力が大きなスーパーコンピュータでもあるが、エネルギー効率は4位と優れている。 日本のスーパーコンピュータ「京(けい)」が、Linpackベンチマークで8.16PFLOPS(ペタフロップス)という世界最高性能を達成し、第37回(2011年6月版)のTOP500リストで第1位を獲得した。京は、富士通の「SPARC」プロセッサを6万8544個搭載し、巨大規模のクラスタ構成が必要な用途に向けて開発された。 最高性能を実現した京は、理化学研究所(理研)と、SPARCアーキテクチャをOracleとともに保有する富士通が共同で開発した(図1)。日本のスーパーコンピュータがTOP500リストのランキングで第1位を獲得するのは、2004年11月の地球シミュレータ(N
システム開発の現場では、専用ツールやMicrosoft Office Excel(以下、Excel)など、さまざまなツールを利用したプロジェクト管理が行われている。TechTargetジャパンが2008年に実施した「プロジェクト管理ツールの利用状況に関するアンケート」では、「導入済みのプロジェクト管理ツールは何か?」という問いに対して、「Excelを使用している」と回答した読者が全体の67.8%を占め、また「Excelで自前のツールを作成している」という意見も多く見られた。 最近、プロジェクト管理者を悩ませているのが「工事進行基準」への対応だ。工事進行基準は、工事の進ちょく度に応じて売り上げを分散して計上する会計の仕組みである。欧米諸国や日本の建設業界などでは一般的な会計基準だが、IT業界でも2009年4月以降に始まる会計年度から原則として適用される。 これにより、受託ソフトウェアやシステ
家庭用ゲーム機の劇的な進化がゲーム開発をより困難にしている? 1983年に任天堂の「ファミリーコンピュータ」が登場し、社会現象を巻き起こしてから約26年。家庭用ゲーム機は飛躍的に進化を遂げ、現在の最新機であるソニーの「プレイステーション 3」(以下、PS3)、マイクロソフトの「Xbox 360」などでは、CGを駆使してまるで実写のようなリアルな映像が楽しめるゲームタイトルが次々と生み出されている。 こうした家庭用ゲーム機の進化に伴い、ゲームソフトの開発を手掛けるメーカーにとっては「より高品質なゲームタイトルを、より短納期に開発する」ことが求められるようになった。そのため、その開発プロジェクトも従来とは比べものにならないくらい規模が大きくなった。これが「開発工数とプログラムコード行数の増大によるバグの大量発生」など、さまざまな問題を引き起こしており、ゲーム業界全体の重大な課題となっている。
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く