論文の概要: Guided Object-Oriented Development
- arxiv url: http://arxiv.org/abs/2411.13200v1
- Date: Wed, 20 Nov 2024 11:01:33 GMT
- ステータス: 翻訳完了
- システム内更新日: 2024-11-21 16:12:58.035592
- Title: Guided Object-Oriented Development
- Title（参考訳）: オブジェクト指向開発ガイド
- Authors: Harrie Passier, Lex Bijlsma, Ruurd Kuiper, Kees Huizing,
- Abstract要約: このアプローチは、単一のクラスの構造と振舞いに集中する。
設計と仕様を含み、大規模なプログラミングの方法論と互換性がある。
- 参考スコア（独自算出の注目度）: 0.8399688944263842
- License:
- Abstract: To improve the quality of programs we provide an approach to guidance in the process of program development. At the higher level the various activities and their dependencies to structure the process are identified. At the lower level, detailed, practical rules are given for the decision-making in the development steps during these activities. The approach concentrates on structure and behavior of a single class. It includes design and specification and is compatible with methodologies for programming in the large. Informal specifications are introduced to help develop correct and robust code as well as corresponding tests. A strict distinction is made between external design and specification on one hand and internal design and specification on the other hand, which helps in keeping control over complexity. The approach also exploits the separation of success and failure scenarios. A worked-out example is provided.
- Abstract（参考訳）: プログラムの質を向上させるために,プログラム開発プロセスにおけるガイダンスへのアプローチを提供する。
より高いレベルでは、プロセスを構成するための様々なアクティビティとその依存関係が特定されます。
下位レベルでは、これらの活動における開発段階における意思決定について、詳細な実践的なルールが与えられている。
このアプローチは、単一のクラスの構造と振舞いに集中する。
設計と仕様を含み、大規模なプログラミングの方法論と互換性がある。
正確で堅牢なコード開発とそれに対応するテストを支援するために、インフォーマルな仕様が導入されている。
一方、外部設計と仕様を厳密に区別し、他方では内部設計と仕様を厳格に区別し、複雑さのコントロールを維持するのに役立ちます。
このアプローチでは、成功シナリオと失敗シナリオの分離も活用する。
ワークアウトの例が提供されている。
関連論文リスト
- ProcBench: Benchmark for Multi-Step Reasoning and Following Procedure [0.0]
本稿では,多段階推論の直接評価という,推論能力の特定の側面に焦点を当てたベンチマークを提案する。
我々のデータセットは、明示的な指示とそれに対応する質問のペアで構成されており、質問の解決に必要な手順は、その指示の中で完全に詳細に記述されている。
各ステップで様々なステップの解決と応答評価を必要とする問題を構築することにより、最先端のLCMの指示に従う能力の徹底的な評価を可能にする。
論文 参考訳（メタデータ） (2024-10-04T03:21:24Z) - Natural Language Processing for Requirements Traceability [47.93107382627423]
トレーサビリティは、特に安全クリティカルなシステムにおいて、要件とソフトウェアエンジニアリングにおいて重要な役割を果たす。
自然言語処理(NLP)とその関連技術は、過去10年間に大きく進歩してきた。
論文 参考訳（メタデータ） (2024-05-17T15:17:00Z) - Microservices a Definition Analyzed by ßMACH [0.0]
ソフトウェアアーティファクトの管理は、コンピュータ科学の最も重要な側面の1つである。
ssMACHは知識に基づく記述戦略であり、すべてのソフトウェア管理戦略に適用できる。
論文 参考訳（メタデータ） (2024-04-22T15:02:54Z) - Understanding and Evaluating Developer Behaviour in Programming Tasks [0.0]
一連の3つの研究で、特定のプログラミングタスクを解く開発者の具体的な振る舞いを調査した。
私たちは、どのソースコードファイルを訪れたか、どのようにしてコードと知識を他人に関連づけ、いつ、どのようにコード編集を成功させたかに焦点を当てました。
論文 参考訳（メタデータ） (2024-03-13T12:46:42Z) - Systematic Mapping Protocol -- UX Design role in software development
process [55.2480439325792]
ソフトウェア開発プロセスにおけるUXデザイナの役割を調べるための体系的なマッピングプロトコルを提案する。
本研究は,地図作成に使用する研究課題,スコープ,ソース,検索戦略,選択基準,データ抽出,分析方法を定義する。
論文 参考訳（メタデータ） (2024-02-20T16:56:46Z) - A Survey on Natural Language Processing for Programming [42.850340313115765]
プログラミングのための自然言語処理は、NLP技術を用いてプログラミングを支援することを目的としている。
構造に基づく表現と機能指向のアルゴリズムは、プログラムの理解と生成の中心にある。
論文 参考訳（メタデータ） (2022-12-12T08:51:30Z) - A Methodology and Software Architecture to Support
Explainability-by-Design [0.0]
本稿では,意思決定システムの設計における説明能力を含む積極的尺度を特徴とする説明可能性設計手法について述べる。
方法論は, (A)説明要求分析, (B)説明技術設計, (C)説明検証の3段階からなる。
提案手法は,1文あたり2時間程度の開発時間で抽出可能であることがわかった。
論文 参考訳（メタデータ） (2022-06-13T15:34:29Z) - Learning Action Conditions from Instructional Manuals for Instruction Understanding [48.52663250368341]
本稿では,行動条件推論というタスクを提案し,命令マニュアルにおける行動条件の事前条件と後条件の高品質なアノテートデータセットを収集する。
本稿では,オンライン指導マニュアルから大規模トレーニングインスタンスを自動構築する弱い教師付きアプローチを提案し,人間に注釈を付けて検証したデータセットをキュレートし,現在のNLPモデルが命令テキストの動作条件依存性をいかに推測できるかを検証した。
論文 参考訳（メタデータ） (2022-05-25T00:19:59Z) - ProTo: Program-Guided Transformer for Program-Guided Tasks [59.34258016795216]
我々は,学習者が与えられたタスク仕様に基づいて所定のプログラムを実行することを要求されるプログラム誘導タスクを定式化する。
本稿では,プログラムの意味的ガイダンスと構造的ガイダンスを統合したProTo(Proto)を提案する。
ProToは学習された潜在空間でプログラムを実行し、従来のニューラルシンボリックアプローチよりも強力な表現能力を持っている。
論文 参考訳（メタデータ） (2021-10-02T13:46:32Z) - Procedures as Programs: Hierarchical Control of Situated Agents through
Natural Language [81.73820295186727]
エージェント命令と制御のための階層的な手続き的知識を表現する強力な手法である,プログラムとしての手続きの形式化を提案する。
NL命令に対するIQAおよびALFREDデータセット上で、このフレームワークをインスタンス化する。
論文 参考訳（メタデータ） (2021-09-16T20:36:21Z) - Knowledge-Aware Procedural Text Understanding with Multi-Stage Training [110.93934567725826]
本稿では,このような文書の理解とプロセス中のエンティティの状態や場所の追跡を目的とした手続き的テキスト理解の課題に焦点をあてる。
常識的推論の難しさとデータ不足という2つの課題はまだ未解決のままである。
我々は、複数の外部知識を効果的に活用する、KnOwledge-Aware ProceduraL text understAnding (KOALA)モデルを提案する。
論文 参考訳（メタデータ） (2020-09-28T10:28:40Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。