Formalizing over design and under design

被引：0

作者：

Duan, Yucong ^{[1
]}

Gao, Honghao ^{[2
]}

Li, Jingbing ^{[1
]}

Huang, Mengxing ^{[1
]}

机构：

[1] College of Information Science and Technology, Hainan University, Haikou, China

[2] Computing Center, Shanghai University, Shanghai, China

来源：

International Journal of Multimedia and Ubiquitous Engineering | 2015年 / 10卷 / 12期

关键词：

Semantics - Formal methods;

D O I：

10.14257/ijmue.2015.10.12.28

中图分类号：

学科分类号：

摘要：

Over Design (OD) and Under Design (UD) are two common concepts which are used to express negative construction of functionality, quality and even value. Software requirement satisfaction can be decomposed a routine of constant steps of minimizing UD and O D. How-ever currently they don’t have formal semantics from existing literature. The situation results in inefficient identification, description and subsequent modeling activities centering them. In his paper, we work towards formalized abstract semantics of OD and UD from the perspective of knowledge introduction in a development process. We also show the deduction steps of describing and eliminating UD and OD. © 2015 SERSC.

引用

页码：279 / 288

共 50 条

[31] Formalizing the functional model within object-oriented design
Wang, EY
Cheng, BHC
INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2000, 10 (01) : 5 - 30
[32] Formalizing construction knowledge for concurrent performance-based design
Fischer, Martin
INTELLIGENT COMPUTING IN ENGINEERING AND ARCHITECTURE, 2006, 4200 : 186 - 205
[33] FORMALIZING FLOW RELATIONSHIPS IN DATA ARCHIVAL AND REUSE FOR PRODUCT DESIGN
Bohm, Matt R.
Nagel, Robert L.
PROCEEDINGS OF THE ASME INTERNATIONAL DESIGN ENGINEERING TECHNICAL CONFERENCES AND COMPUTERS AND INFORMATION IN ENGINEERING CONFERENCE, 2011, VOL 2, PTS A AND B, 2012, : 1197 - 1209
[34] A reuse oriented representation model for capturing and formalizing the evolving design rationale
Liu, Jihong
Hu, Xujie
AI EDAM-ARTIFICIAL INTELLIGENCE FOR ENGINEERING DESIGN ANALYSIS AND MANUFACTURING, 2013, 27 (04): : 401 - 413
[35] Marginal Performance: Formalizing and Quantifying Power Over/Under Provisioning in NoC DVFS
Lu, Zhonghai
Yao, Yuan
IEEE TRANSACTIONS ON COMPUTERS, 2017, 66 (11) : 1903 - 1917
[36] Formalizing the design, evaluation, and application of interaction techniques for immersive virtual environments
Bowman, DA
Hodges, LF
JOURNAL OF VISUAL LANGUAGES AND COMPUTING, 1999, 10 (01): : 37 - 53
[37] Formalizing Visualization Design Knowledge as Constraints: Actionable and Extensible Models in Draco
Moritz, Dominik
Wang, Chenglong
Nelson, Greg L.
Lin, Halden
Smith, Adam M.
Howe, Bill
Heer, Jeffrey
IEEE TRANSACTIONS ON VISUALIZATION AND COMPUTER GRAPHICS, 2019, 25 (01) : 438 - 448
[38] Design and Experimental Study of an Over-Under TBCC Exhaust System
Mo, Jianwei
Xu, Jinglei
Zhang, Liuhuan
JOURNAL OF ENGINEERING FOR GAS TURBINES AND POWER-TRANSACTIONS OF THE ASME, 2014, 136 (01):
[39] Policy over- and under-design: an information quality perspective
Maor, Moshe
POLICY SCIENCES, 2020, 53 (03) : 395 - 411
[40] Strategies for road network design over time: Robustness under uncertainty
Szeto, W. Y.
Lo, Hong K.
TRANSPORTMETRICA, 2005, 1 (01): : 47 - 63

← 1 2 3 4 5 →