タグ付けされた質問 「software-engineering」


5
制約された入力または予測可能な入力がある場合、停止の問題を解決することは可能ですか?
停止の問題は一般的なケースでは解決できません。許可された入力を制限する定義済みのルールを考え出すことは可能ですが、その特殊なケースでは停止の問題を解決できますか? たとえば、たとえばループを許可しない言語は、プログラムが停止するかどうかを非常に簡単に判断できるようです。 私が今解決しようとしている問題は、プログラムの妥当性をチェックするスクリプトチェッカーを作成しようとしていることです。非常に予測可能な入力を意味するスクリプトライターに何を期待するかを正確に知っていれば、停止する問題を解決できます。これを正確に解決できない場合、これを解決するための優れた近似手法は何ですか?

4
2つのアルゴリズムが入力に対して同じ結果を返すかどうかをどのように確認しますか?
すべての入力のセットが無限であるときに、2つのアルゴリズム(たとえば、マージソートとナイーブソート)がすべての入力に対して同じ結果を返すかどうかを確認するにはどうすればよいですか? 更新:一般的なケースでアルゴリズム的にこれを行うことがどのように不可能かを説明してくれたベンに感謝します。Daveの答えは、常に機能するとは限らないが、非常に効果的なアルゴリズムと手動(人間の機知と隠phorの対象)の両方の方法の素晴らしい要約です。

2
要件に費やされた時間と、プロジェクトの成功と開発時間への影響
作成に費やした時間、または要件について考える時間が開発時間に影響を与えることを示唆する証拠はありますか?Standish(1995)が行った研究は、不完全な要件(13.1%)がプロジェクトの失敗に寄与したことを示唆しています。要件分析に費やされた時間がプロジェクトの開発時間、またはプロジェクトの成功度に影響することを示す調査が行われましたか?

4
研究主張の正確さを評価するために、統計はどのようにコンピューターサイエンスに適用されていますか?
私の短い学術生活の中で、私たちの地域で発表された多くの論文は統計に関してそれほど厳密ではないことがあります。これは単なる仮定ではありません。教授が同じことを言うのを聞いたことがあります。 たとえば、CSの分野では、方法論Xが効果的であることが観察され、ANOVAとANCOVAによって証明されたと主張する論文が発表されていますが、必要な制約が観察されたと評価している他の研究者への言及はありません。「複雑な関数と名前」が表示されるとすぐにそれはやや感じますが、それは、研究者が信頼できる方法とアプローチを使用していることを示しています。 、たとえば、コミュニティが評価できるように、その特定の分布またはアプローチについて。 場合によっては、このような小さいサンプルサイズで仮説を正当化するための言い訳があります。 したがって、ここでの私の質問は、統計学についてもっと学びたいという志を持つCS分野の学生として提起されています。コンピュータ科学者はどのように統計学に取り組みますか? この質問は、私がすでに説明したことを尋ねているように見えるかもしれませんが、それは私の意見です。私は間違っているかもしれないし、実践者のグループに焦点を当てているかもしれないが、CS研究者の他のグループは統計の厳密さに関してより良い実践に従う別のことをしているかもしれない。 具体的には、私が欲しいのは、「与えられた事実(論文の例、本、またはこれに関する別のディスカッション記事で結構です)のために、私たちの領域は統計に含まれているかどうかです。」です。@パトリックの答えはこれに近いです。

1
開発アプローチ/ソフトウェアアーキテクチャの評価に理想的な参加者数
私の論文では、特定のプラットフォーム向けのアプリケーションの開発と適応を容易にするための開発手法(スキーム、アプリケーションテンプレート、およびプロトタイプコードで構成される)を作成しました。 私はそのアプローチを評価するために、そのプラットフォームの開発者にインタビューを行いました。これまでに5人のインタビュー対象者があり、彼らから得たフィードバックは私のスコープには十分だと思います。 しかし、私の論文では、5人の評価者で十分であるという私の決定を正当化したいと思います。そのようなかなり理論的なアプローチに対して特定の数の評価者を示唆する科学的研究や論文はありますか? Nielsenがヒューリスティックなユーザビリティ評価について取り組んでいることを知っています。参加者が5人の場合、ソフトウェアのユーザビリティ/ UIテストにおけるすべての問題の約75%を発見できるということです。 しかし、先ほど述べたように、私のアプローチは評価が必要な特定のソフトウェア製品ではなく、モデル自体だけなので、その分野での研究を求めています。

弊社のサイトを使用することにより、あなたは弊社のクッキーポリシーおよびプライバシーポリシーを読み、理解したものとみなされます。
Licensed under cc by-sa 3.0 with attribution required.