Formal approach to specifications in conceptual design

被引：0
|
作者：
Kusiak, A. [1 ]
Szczerbicki, E. [1 ]
机构：
[1] Univ of Iowa, Iowa City, United States
来源：
Journal of Mechanical Design - Transactions of the ASME | 1992年 / 114卷 / 04期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：659 / 666
相关论文
共 50 条
  • [1] A FORMAL APPROACH TO SPECIFICATIONS IN CONCEPTUAL DESIGN
    KUSIAK, A
    SZCZERBICKI, E
    [J]. JOURNAL OF MECHANICAL DESIGN, 1992, 114 (04) : 659 - 666
  • [2] An approach to conceptual design for dynamic design specifications
    Wei, XP
    Zhang, JM
    Wang, J
    [J]. CAD/ GRAPHICS TECHNOLOGY AND ITS APPLICATIONS, PROCEEDINGS, 2003, : 341 - 342
  • [3] FROM REQUIREMENTS TO DESIGN SPECIFICATIONS- A FORMAL APPROACH
    Brace, W.
    Thramboulidis, K.
    [J]. 11TH INTERNATIONAL DESIGN CONFERENCE (DESIGN 2010), VOL 1-3, 2010, : 639 - 649
  • [4] Conceptual and formal specifications of problem-solving methods
    Fensel, D
    Eriksson, H
    Musen, MA
    Studer, R
    [J]. INTERNATIONAL JOURNAL OF EXPERT SYSTEMS, 1996, 9 (04): : 507 - 532
  • [5] Conceptual and formal specifications of problem-solving methods
    Fensel, Dieter
    Eriksson, Henrik
    Musen, Mark A.
    Studer, Rudi
    [J]. 1996, JAI Press, Inc., Greenwich, CT, United States (09):
  • [6] Combining formal specifications with design by contract
    Valle, Begona Moros
    Ros, Joaquin Nicolas
    Molina, Jesus Garcia
    Toval Alvarez, Jose Ambrosio
    [J]. JOOP - Journal of Object-Oriented Programming, 2000, 12 (09): : 16 - 21
  • [7] Formal Approach to Design a Conceptual Information Model of the Universe of Discourse
    Osipova, Victoria
    Seitz, Juergen
    [J]. TENTH WUHAN INTERNATIONAL CONFERENCE ON E-BUSINESS, VOLS I AND II, 2011, : 567 - 569
  • [8] A rigorous approach to reviewing formal specifications
    Liu, SY
    [J]. 27TH ANNUAL NASA GODDARD/IEEE SOFTWARE ENGINEERING WORKSHOP - PROCEEDINGS, 2003, : 75 - 81
  • [9] AN INFORMAL APPROACH TO FORMAL (ALGEBRAIC) SPECIFICATIONS
    FURTADO, AL
    MAIBAUM, TSE
    [J]. COMPUTER JOURNAL, 1985, 28 (01): : 59 - 67
  • [10] A formal approach to testing LUSTRE specifications
    Parissis, I
    [J]. FIRST IEEE INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS, PROCEEDINGS, 1997, : 91 - 100
12345