Formal Definitions for Design Spaces and Traces

机译：设计空间和轨迹的形式定义

获取原文

页面导航

摘要
著录项
相似文献
相关主题

摘要

Within the domain of interactive system development and design, particularly for safety-critical systems, there is an inherent tension between formalisms used for software engineering methodologies and the creative aspects of design. In this paper we consider how we might better unify these by way of a framework for design spaces and design artefacts. We present formal definitions for simple and complex design spaces and then describe how they are incorporated into traces. We then discuss how these can be used to reason about considerations such as preservation of requirements and iterative changes throughout the design process and provide some small examples of this.

机译：在交互式系统开发和设计（尤其是对安全性至关重要的系统）的领域内，用于软件工程方法论的形式主义与设计的创造性方面之间存在着内在的张力。在本文中，我们考虑如何通过设计空间和设计人工制品的框架更好地统一这些设计。我们为简单和复杂的设计空间提供了正式的定义，然后描述了如何将它们合并到迹线中。然后，我们讨论如何将这些用于推理考虑因素，例如在整个设计过程中保留需求和迭代更改，并提供一些小示例。

著录项

来源
《Asia-Pacific Software Engineering Conference》|2017年|600-605|共6页
会议地点
作者
Judy Bowen; Anke Dittmar;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种
中图分类
关键词
Software; Software engineering; Contracts; Stakeholders; Interactive systems; Cognition; Task analysis;

机译：软件;软件工程;合同;利益相关者;交互系统;认知;任务分析;

相似文献

外文文献
中文文献
专利

1. ON THE DEFINITIONS OF SOBOLEV AND BV SPACES INTO SINGULAR SPACES AND THE TRACE PROBLEM [J] . DAVID CHIRON Communications in contemporary mathematics . 2007,第4期

机译：关于Sobolev和BV空间到奇异空间的定义和轨迹问题
2. Specific Cases of Attributive Metagrammars Application in Formal Structural-Linguistic Description of Alternate Designs and in Layout Programming of Extensible Telecommunication Networks Part 1. Attribute Metagrammars. Basic Concepts and Definitions [J] . O.I. Atakishchev, A.A. Zhuk, I.S. Zakharov, Telecommunications and Radio Engineering . 2005,第1a6期

机译：在替代设计的形式结构语言描述和可扩展电信网络的布局编程中，定语元语法的特殊情况（第1部分）属性元语法。基本概念和定义
3. Formal definitions of edge-based geometric design rules [J] . Jeppson K.O., Christensson S. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems . 1993,第1期

机译：基于边的几何设计规则的形式定义
4. Formal Definitions for Design Spaces and Traces [C] . Judy Bowen, Anke Dittmar Asia-Pacific Software Engineering Conference . 2017

机译：设计空间和痕迹的正式定义
5. Identity in Mathematics Spaces for Middle and High School Students: A Case Study Approach to the Revealing of Identities in Formal and Informal Mathematics Spaces [D] . Gullickson, Elena A. Contreras. 2020

机译：中高中学生数学空间的身份：正式和非正式数学空间揭示身份的案例研究方法
6. Designed Natural Spaces: Informal Gardens Are Perceived to Be More Restorative than Formal Gardens [O] . Elyssa Twedt, Reuben M. Rainey, Dennis R. Proffitt -1

机译：设计的自然空间：非正式花园比正式花园更具修复性
7. Formal Definitions for Design Spaces and Traces [O] . Judy Bowen, Anke Dittmar 2017

机译：设计空间和痕迹的正式定义
8. Prototyping Metalanguage with Formal Semantics for the Xinotech Program Composer. Phase 1. Task 1. Definition of the Requirements and Objectives for the Design of the Metalanguage XML. Task 3. Definition of the Requirements and Objectives for the Design o [R] . Rivera, R. 1989

机译：为shinotech程序编写器创建具有形式语义的元语言。阶段1.任务1.定义metalanguage XmL的要求和目标。任务3.设计要求和目标的定义o

Formal Definitions for Design Spaces and Traces

摘要

著录项

相似文献

相关主题

期刊订阅