論文の概要: Design Obligations for Software, with Examples from Data Abstraction and Adaptive Systems
- arxiv url: http://arxiv.org/abs/2503.04022v1
- Date: Thu, 06 Mar 2025 02:17:29 GMT
- ステータス: 翻訳完了
- システム内更新日: 2025-03-07 16:01:01.923516
- Title: Design Obligations for Software, with Examples from Data Abstraction and Adaptive Systems
- Title（参考訳）: データ抽象化と適応システムによるソフトウェア設計の指針
- Authors: Mary Shaw,
- Abstract要約: セマンティックな期待は、コードレベルだけでなく、ソフトウェアアーキテクチャのようなより抽象的なシステム構造にも適用できます。
残念なことに、これらの期待は暗黙的あるいは非公式にのみ文書化されることが多い。
設計パラダイムにおける許容可能な設計に対する制約であり、パラダイムの適切な使用を保証するのに役立ちます。
- 参考スコア（独自算出の注目度）: 1.2691047660244337
- License:
- Abstract: Producing a good software design involves not only writing a definition that satisfies the syntax of the chosen language or structural constraints of a design paradigm. It also involves upholding a variety of expectations about the behavior of the system: the semantic expectations. These expectations may apply not only at the code level, but also to more abstract system structures such as software architectures. Such high-level design paradigms provide a vocabulary of components or other constructs and ways to compose those constructs, but not all expressible designs are well-formed, and even well-formed designs may fail to satisfy the expectations of the paradigm. Unfortunately, these expectations are often implicit or documented only informally, so they are challenging to discover, let alone uphold. They may for example, require correct use of complex structures, internal consistency, compliance with external standards, adherence with design principles, etc. Further, the reasons for design decisions that uphold these expectations are often not explicit in the code or other representation of the system. I introduce the idea of 'design obligations', which are constraints on allowable designs within a given design paradigm that help to assure appropriate use of the paradigm. To illustrate this idea, I discuss design obligations for two paradigms: data abstraction and a class of adaptive based on feedback control.
- Abstract（参考訳）: 優れたソフトウェア設計を生み出すには、選択された言語の構文や設計パラダイムの構造的な制約を満たす定義を書くだけでなく、その定義も必要です。
また、システムの振る舞いに対する様々な期待、すなわちセマンティックな期待を維持できる。
これらの期待は、コードレベルだけでなく、ソフトウェアアーキテクチャのようなより抽象的なシステム構造にも当てはまります。
このようなハイレベルな設計パラダイムは、コンポーネントやその他の構成要素の語彙を提供し、それらの構成を構成する方法を提供するが、すべての表現可能な設計が十分に整えられており、十分に整えられた設計でさえパラダイムの期待を満たせないかもしれない。
残念なことに、これらの期待は暗黙的あるいは非公式にのみ文書化されることが多い。
例えば、複雑な構造、内部の整合性、外部標準の遵守、設計原則の遵守など、適切な利用が必要になります。
さらに、これらの期待を裏付ける設計上の決定の理由は、多くの場合、コードやシステムの他の表現において明確ではない。
設計パラダイムにおける許容可能な設計に対する制約であり、パラダイムの適切な使用を保証するのに役立ちます。
この考え方を説明するために,データ抽象化とフィードバック制御に基づく適応型クラスという,2つのパラダイムの設計義務について論じる。
関連論文リスト
- Text Semantics to Flexible Design: A Residential Layout Generation Method Based on Stable Diffusion Model [0.6990493129893112]
フレキシブルな住宅レイアウトを生成するための安定拡散モデルに基づくクロスモーダル設計手法を提案する。
この方法は、学習目的のための複数の入力型を提供し、ユーザーは境界とレイアウトの両方を指定できる。
また,知識グラフ内に設計の専門知識をカプセル化し,それを自然言語に変換するスキームを提案する。
論文 参考訳（メタデータ） (2025-01-16T03:57:38Z) - The Framework of a Design Process Language [0.0]
この論文は、概念形成フレームワークにおけるデザインの視点を発展させている。
設計対象と設計プロセスの両方を記述するための言語を概説する。
論文 参考訳（メタデータ） (2024-04-21T17:20:19Z) - I-Design: Personalized LLM Interior Designer [57.00412237555167]
I-Designはパーソナライズされたインテリアデザイナで、自然言語によるコミュニケーションを通じて設計目標の生成と視覚化を可能にする。
I-Designは、対話や論理的推論に従事する大きな言語モデルエージェントのチームから始まる。
最終的な設計は、既存のオブジェクトデータベースから資産を取り出し、統合することで、3Dで構築されます。
論文 参考訳（メタデータ） (2024-04-03T16:17:53Z) - Beyond Dark Patterns: A Concept-Based Framework for Ethical Software
Design [1.2535148942290433]
本稿では,偏差を判断できる肯定的な行動に基づく枠組みを提案する。
設計を、その概念がユーザの期待に反している場合の暗さとして定義し、アプリケーションプロバイダがユーザを犠牲にして利益を得るようにします。
論文 参考訳（メタデータ） (2023-10-03T20:58:02Z) - Universal Information Extraction as Unified Semantic Matching [54.19974454019611]
情報抽出を,異なるタスクやスキーマで共有される構造化と概念化という,2つの能力に分割する。
このパラダイムに基づいて、統一意味マッチングフレームワークを用いて様々なIEタスクを普遍的にモデル化することを提案する。
このように、USMはスキーマと入力テキストを共同でエンコードし、サブ構造を一様に並列に抽出し、必要に応じてターゲット構造を制御できる。
論文 参考訳（メタデータ） (2023-01-09T11:51:31Z) - Design Space Exploration and Explanation via Conditional Variational
Autoencoders in Meta-model-based Conceptual Design of Pedestrian Bridges [52.77024349608834]
本稿では,条件付き変分オートエンコーダ(CVAE)による人間設計者向上のための性能駆動型設計探索フレームワークを提案する。
CVAEはスイスの歩行者橋の合成例18万件で訓練されている。
論文 参考訳（メタデータ） (2022-11-29T17:28:31Z) - Object-Oriented Requirements: a Unified Framework for Specifications,
Scenarios and Tests [63.37657467996478]
記事では、クラスの概念が、狭義の「対象」だけでなく、ユースケースやユーザストーリーといったシナリオを記述するのに十分な一般性を示している。
単一のフレームワークを持つことは、両方のアプローチの利点を享受する要件への道を開く。
論文 参考訳（メタデータ） (2022-09-06T02:47:20Z) - Hierarchical Deep Generative Models for Design Under Free-Form Geometric
Uncertainty [7.362287148334665]
不確実性フレームワーク(GAN-DUF)に基づくジェネレーティブ・アドバイサル・ネットワーク・ベース・デザインを提案する。
それは、名目(理想)設計のコンパクトな表現と、名目的な設計が与えられた設計の条件分布を同時に学習する。
提案した深部生成モデルとロバストな設計最適化と不確実な設計のための信頼性に基づく設計最適化を組み合わせることができる。
論文 参考訳（メタデータ） (2022-02-21T22:21:07Z) - Deep Generative Models for Geometric Design Under Uncertainty [8.567987231153966]
不確実性フレームワーク(GAN-DUF)に基づくジェネレーティブ・アドバイサル・ネットワーク・ベース・デザインを提案する。
GAN-DUFは、名目(理想)設計のコンパクトな表現と、製造された設計の条件分布を同時に学習する深い生成モデルを含む。
このフレームワークを実世界の2つのエンジニアリング設計例で実演し、製造後のより良い性能を持つソリューションを見つける能力を示した。
論文 参考訳（メタデータ） (2021-12-15T18:00:46Z) - Hierarchical Poset Decoding for Compositional Generalization in Language [52.13611501363484]
出力が部分的に順序付けられた集合(命題)である構造化予測タスクとして人間の言語理解を形式化する。
現在のエンコーダ・デコーダアーキテクチャは意味論のポーズ構造を適切に考慮していない。
本稿では,言語における合成一般化のための新しい階層型ポーズデコーディングパラダイムを提案する。
論文 参考訳（メタデータ） (2020-10-15T14:34:26Z) - Obtaining Faithful Interpretations from Compositional Neural Networks [72.41100663462191]
NLVR2およびDROPデータセット上でNMNの中間出力を評価する。
中間出力は期待出力と異なり,ネットワーク構造がモデル動作の忠実な説明を提供していないことを示す。
論文 参考訳（メタデータ） (2020-05-02T06:50:35Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。