テックファームは、独立系システムベンダーとして20年以上の開発実績を誇り、最新技術をいち早く取り入れたシステム開発を通じて、多種多様な業界でお客さまが抱えている課題解決や効率化・合理化などのお手伝いをいたします。 私たちは、お客さまのニーズやリクエストにそのまま応えるだけでなく、常にお客さまの事業やサービスの価値向上を考えた提案をおこなうことを重視しています。 さまざまな業界のITの仕組みを手がけてきた豊富な開発実績と、そこで培われた知見や技術力を背景に、単なる開発企業ではなく、「ITのプロフェッショナル集団」として、お客さまの業務改善と改革に貢献するソリューションを提供いたします。 テックファームには、「作りかた」だけでなく「使われかた」「続けかた」まで手がける専門家チームが存在します。 サービスの設計、UIデザイン、開発はそれぞれ個別のベンダーに依頼することが一般的ですが、テックファー
先日、以下の記事で初めて作ったAndroidアプリを紹介しました。 一週間で初めてのAndroidアプリを作ってみました その後、そのアプリをAndroidマーケットで公開してみました。 はてブ閲覧用Androidアプリ「HTBPocket」を公開しました この一連の作業で参考にした記事やサイトについて、「Androidアプリ開発関連情報まとめ」としてまとめてみました。 開発環境構築まず必要になるのが開発環境です。以下はMacの環境構築です。MacにAndroid SDKをインストール (Update 2010.05.25) そして以下がWindowsでの環境構築です。私はやったことないのでよく分かりませんが(^^;;世界を目指せ!Androidアプリ開発入門:第2回 Androidアプリ開発のための環境構築 公式の開発情報公式の開発者向けサイトです。Android Developers
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) テストツールではないが
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く