論文の概要: Usable-by-Construction: a formal framework
- arxiv url: http://arxiv.org/abs/2402.00218v1
- Date: Wed, 31 Jan 2024 22:37:33 GMT
- ステータス: 処理完了
- システム内更新日: 2024-02-02 17:13:32.161408
- Title: Usable-by-Construction: a formal framework
- Title（参考訳）: 使用可能な構成:形式的なフレームワーク
- Authors: Steve Reeves
- Abstract要約: 本稿では,ユーザビリティ・オブ・デザインを対象とする抽象化と形式化の課題である。
私たちは、少なくともユーザビリティ特性に関する保証を与えるために、使用可能なシステムを設計していると主張するとき、その見解を受け入れます。
使用可能なシステムを考える上で,(非常に抽象的に)正しい構成の考え方を取り入れ,適用する,使用可能なシステムについての考え方を紹介する。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://creativecommons.org/licenses/by-nc-sa/4.0/
- Abstract: We propose here to look at how abstract a model of a usable system can be,
but still say something useful and interesting, so this paper is an exercise in
abstraction and formalisation, with usability-of-design as an example target
use.
We take the view that when we claim to be designing a usable system we have,
at the very least, to give assurances about its usability properties. This is a
very abstract notion, but provides the basis for future work, and shows, even
at this level that there are things to say about the (very concrete) business
of designing and building usable, interactive systems.
Various forms of verification and validation can provide a high level of
assurance but it can be very costly, and there is clearly a lot of resistance
to doing things this way.
In this paper, we introduce the idea of usable-by-construction, which adopts
and applies the ideas of correct-by-construction to (very abstractly) thinking
about usable systems.
We give a set of construction rules or tactics to develop designs of usable
systems, and we also formalize them into a state suitable for, for example, a
proof assistant to check claims made for the system as designed.
In the future, these tactics would allow us to create systems that have the
required usability properties and thus provide a basis to a
usable-by-construction system. Also, we should then go on to show that the
tactics preserve properties by using an example system with industrial strength
requirements. And we might also consider future research directions.
- Abstract（参考訳）: 本稿では,使用可能なシステムのモデルをいかに抽象化できるかを考察するが,それでも有用かつ興味深いことを述べるため,本論文は,ユーザビリティ・オブ・デザインを例として用いて,抽象化と形式化の課題である。
私たちは、少なくともユーザビリティ特性に関する保証を与えるために、使用可能なシステムを設計していると主張するとき、その見解を受け入れます。
これは非常に抽象的な概念だが、将来の作業の基礎を提供し、たとえこのレベルでも、利用可能な対話型システムの設計と構築という(非常に具体的な)ビジネスについて言うべきことがあることを示している。
さまざまな形式の検証と検証は、高いレベルの保証を提供することができますが、非常にコストがかかります。
本稿では, 使用可能なシステムについて(非常に抽象的に)考える上で, 正しい構成の考え方を取り入れ, 適用する, 使用可能なシステムに対する考え方を紹介する。
使用可能なシステムの設計を開発するための一連の建設規則や戦術を提示し、また、設計されたシステムのためのクレームをチェックするための証明アシスタントなどに適した状態に定式化します。
将来的には、これらの戦略により、必要なユーザビリティ特性を持つシステムを構築することができ、そのため、構築可能なシステムの基礎を提供することができるでしょう。
また、産業強度要求の事例システムを用いて、その戦術が特性を保存できることも示すべきである。
また、今後の研究の方向性も検討する。
関連論文リスト
- Co-designing heterogeneous models: a distributed systems approach [0.40964539027092917]
本稿では3つの要素に基づく異種システムに適したモデリング手法を提案する。
モデルとは何かという推論主義的な解釈、分散システムのメタファ、そして協調設計サイクルは、モデルの実践的な設計と構築を記述している。
本手法の適合性について,3つの異なるセキュリティ指向モデルを用いて検討する。
論文 参考訳（メタデータ） (2024-07-10T13:35:38Z) - A Model-oriented Reasoning Framework for Privacy Analysis of Complex Systems [2.001711587270359]
本稿では,システムとその環境のプライバシ特性に関する推論フレームワークを提案する。
異なる論理レベルの知識リークをキャプチャして、質問に答えることができます。
論文 参考訳（メタデータ） (2024-05-14T06:52:56Z) - A Systems-Theoretical Formalization of Closed Systems [47.99822253865054]
システム工学における重要な基礎概念には形式主義の欠如がある。
最近認められた欠陥の1つは、インテリジェントシステムのためのシステムエンジニアリングプラクティスの不十分さである。
論文 参考訳（メタデータ） (2023-11-16T19:01:01Z) - Lessons from Formally Verified Deployed Software Systems (Extended version) [65.69802414600832]
本稿は、正式に認証されたシステムを作成し、実際に使用するためにデプロイした各種のアプリケーション分野のプロジェクトについて検討する。
使用する技術、適用の形式、得られた結果、そしてソフトウェア産業が形式的な検証技術やツールの恩恵を受ける能力について示すべき教訓を考察する。
論文 参考訳（メタデータ） (2023-01-05T18:18:46Z) - A Compositional Approach to Creating Architecture Frameworks with an
Application to Distributed AI Systems [16.690434072032176]
構成的思考が複雑なシステムのためのアーキテクチャフレームワークの作成と管理のルールをいかに提供できるかを示す。
論文の目的は、AIシステム特有の視点やアーキテクチャモデルを提供することではなく、既存の、または新しく作成された視点で一貫したフレームワークを構築する方法についてのガイドラインを提供することである。
論文 参考訳（メタデータ） (2022-12-27T18:05:02Z) - Explainable Abuse Detection as Intent Classification and Slot Filling [66.80201541759409]
我々は、システムがデータ検査だけで乱用を構成する事象を確実に学習できるという非現実的な期待を捨て、政策対応による悪用検出の概念を導入する。
目的分類とスロットフィリングのためのアーキテクチャは、モデル決定の根拠を提供しながら、悪用検出にどのように使用できるかを示す。
論文 参考訳（メタデータ） (2022-10-06T03:33:30Z) - Object-Oriented Requirements: a Unified Framework for Specifications,
Scenarios and Tests [63.37657467996478]
記事では、クラスの概念が、狭義の「対象」だけでなく、ユースケースやユーザストーリーといったシナリオを記述するのに十分な一般性を示している。
単一のフレームワークを持つことは、両方のアプローチの利点を享受する要件への道を開く。
論文 参考訳（メタデータ） (2022-09-06T02:47:20Z) - CausalCity: Complex Simulations with Agency for Causal Discovery and
Reasoning [68.74447489372037]
本稿では,因果探索と反事実推論のためのアルゴリズムの開発を目的とした,高忠実度シミュレーション環境を提案する。
私たちの作業の中核となるコンポーネントは、複雑なシナリオを定義して作成することが簡単になるような、テキストの緊急性を導入することです。
我々は3つの最先端の手法による実験を行い、ベースラインを作成し、この環境の可利用性を強調する。
論文 参考訳（メタデータ） (2021-06-25T00:21:41Z) - An Overview of Recommender Systems and Machine Learning in Feature
Modeling and Configuration [55.67505546330206]
レコメンダーシステムおよび機械学習技術の適用に関連する潜在的な新しい研究ラインの概要を説明します。
本論文では,レコメンダーシステムと機械学習の応用例を示し,今後の研究課題について考察する。
論文 参考訳（メタデータ） (2021-02-12T17:21:36Z) - Outlining Traceability: A Principle for Operationalizing Accountability
in Computing Systems [1.0152838128195467]
トレーサビリティには、システムの動作方法だけでなく、その生成方法や目的の確立が必要です。
トレーサビリティは、システムがどのように構築され、システムが機械的に何をしたかの記録を、より広範なガバナンスの目標に結びつけます。
このマップは、説明責任と透明性に関する既存の議論を再構築し、トレーサビリティの原則を使用して、説明責任の目標を達成するために透明性をデプロイする方法、時期、理由を示す。
論文 参考訳（メタデータ） (2021-01-23T00:13:20Z) - Vizarel: A System to Help Better Understand RL Agents [4.009038499050246]
これらのアイデアのプロトタイプを構築するための最初の試みについて説明する。
我々の設計は、解釈可能な強化学習を実験するためのプラットフォームとしてシステムを構想することによるものである。
論文 参考訳（メタデータ） (2020-07-10T19:19:22Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。