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 条
  • [1] Formalizing Over Design and Under Design of Value Engineering for Context-Aware Cloud Service Development
    Duan, Yucong
    Duan, Qiang
    Elfaki, Abdelrahman Osman
    Ren, Chengxiang
    2015 3RD INTERNATIONAL CONFERENCE ON FUTURE INTERNET OF THINGS AND CLOUD (FICLOUD) AND INTERNATIONAL CONFERENCE ON OPEN AND BIG (OBD), 2015, : 72 - 79
  • [2] Formalizing design patterns
    Mikkonen, T
    PROCEEDINGS OF THE 1998 INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, 1998, : 115 - 124
  • [3] Minimizing Over Design and Under Design
    Duan, Yucong
    Narendra, Nanjangud C.
    3RD INTERNATIONAL CONFERENCE ON APPLIED COMPUTING AND INFORMATION TECHNOLOGY (ACIT 2015) 2ND INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE AND INTELLIGENCE (CSI 2015), 2015, : 34 - 39
  • [4] FORMALIZING THE DESIGN OF AN SECD CHIP
    GRAHAM, B
    BIRTWISTLE, G
    LECTURE NOTES IN COMPUTER SCIENCE, 1990, 408 : 40 - 66
  • [5] Model Under Design and Over Design on Mobile Applications
    Duan, Yucong
    Sun, Xiaobing
    Narendra, Nanjangud C.
    Duan, Qiang
    Fu, Guohua
    Xu, Ruomeng
    2016 IEEE/ACM INTERNATIONAL CONFERENCE ON MOBILE SOFTWARE ENGINEERING AND SYSTEMS (MOBILESOFT 2016), 2016, : 279 - 280
  • [6] A Design Thinking Process Model for Capturing and Formalizing Design Intents
    Sun, Zhaoyang
    Liu, Jihong
    PROCEEDINGS OF THE 2008 INTERNATIONAL SYMPOSIUM ON COMPUTATIONAL INTELLIGENCE AND DESIGN, VOL 2, 2008, : 330 - 333
  • [7] Formalizing software design pattern in Z
    School of Computer, Shanghai University, Shanghai 200072, China
    Jisuanji Gongcheng, 2006, 13 (69-70+108):
  • [8] Formalizing a design technique for distributed programs
    Polman, M
    vanSteen, M
    deBruin, A
    SECOND INTERNATIONAL WORKSHOP ON SOFTWARE ENGINEERING FOR PARALLEL AND DISTRIBUTED SYSTEMS, PROCEEDINGS, 1997, : 150 - 159
  • [9] Variability based Approach for Minimizing over Design and under Design
    Duan, Yucong
    Narendra, Nanjangud C.
    Gao, Honghao
    Tang, Mingdong
    Elfaki, Abdelrahman Osman
    Wan, Shixiang
    Lu, Junxing
    2016 7TH INTERNATIONAL CONFERENCE ON MECHANICAL, INDUSTRIAL, AND MANUFACTURING TECHNOLOGIES (MIMT 2016), 2016, 54
  • [10] IDEA: Formalizing the foundation for an engineering design education
    McKenna, AF
    Colgate, JE
    Carr, SH
    Olson, GB
    INTERNATIONAL JOURNAL OF ENGINEERING EDUCATION, 2006, 22 (03) : 671 - 678
12345