品質とアジリティへのこだわり

開発に用いる言語としてScalaとTypeScriptだけを厳選しています。これらの言語の最新の型システムを開発者が活用できる場合に限り、短納期で高品質な開発を可能にします。そのため、当社では社員の教育に力を入れることで、高い品質とアジリティを両立したサービスの提供を可能にしています。
また、ISO/IEC9126,25010に基づいた品質モデルを用いて、高コストパフォーマンスと強い仕様変更耐性でお客様のビジネスに最適なシステムを高品質かつ即座に提供します。
さらに、テスト駆動開発と呼ばれる開発手法を採用し、品質保証のテストコードを先行して記述した後に機能実装のコーディングを行います。
これにより、まず品質が担保されたシステムが製造されることと、先行記述した品質保証用テストコードにより仕様変更または新規機能追加に柔軟な対応を可能としながらも品質とスピードを維持し続けることを実現します。
これらに基づいた徹底的な品質管理とアジリティにより、お客様の仕様変更または新たな機能実装に対し品質を向上させながらも迅速に対応し、お客様のベストパートナーとしてビジネスを徹底的にサポートします。

高度な言語による品質とアジリティの向上

一般的なシステム開発で、少し経験のある会社の場合の得意分野は初速になります。次に品質を得意としますが、品質管理部門と開発部門が別れているためこの場合はアジリティを確保できません。これを確保するために開発と品質保証の人員を確保しますが、マネジメントコストが肥大化し、多くの人員を確保するための極端な方法として2次請3次請などを行うとコストあたりのメンバーの平均的な技術力の低下を招きます。このことはマネジメントコスト、品質保証部門と開発者の人件費の増大を招き、コストあたりの品質とアジリティを低下させます。
しかし、前述の通り、多くの場合は作って終わりとすることはできません。そのため、最新の数学証明システムが利用可能なプログラミング言語と品質保証手法の組み合わせを実践可能な専門技術集団による、品質保証部門と開発者の数で誤魔化すことのない、本物の持続可能な高アジリティかつ高品質な製品開発を行います。
これにより、お客様の事業の可能性の最大化に貢献します。

高度な品質管理手法による品質の向上

具体的なテスト方法には特性ベーステストと値ベーステストがあります。また、手法としてテスト駆動開発と振舞駆動開発があります。
これらは単体テストに属するものですが、単体テストにはそれぞれ3つの手法として、出力値ベーステスト、状態ベーステスト、コミュニケーションベーステストがあります。
これにより、退行に対する保護、改善耐性、変更耐性を高めることで、開発者への迅速なフィードバックをもたらすため、全体的な開発効率を最大まで高めます。
副作用のない関数型プログラミングによる参照透過性を極限までに高めることで、外部の状態に依存しない価値の高い多くのテストを書くことを可能とします。これを関数型アーキテクチャと呼びます。

サイトマップ
Home
代表について
会社概要
事業概要
お問い合わせ
品質について
当社の特徴とアジリティと最高品質の両立について
個人向け技術顧問兼メンタリングサービス
特定商取引法に基づく表示