Using design explanation within the formal object-oriented method

被引:3
|
作者
Nguyen L. [1 ]
Swatman P.A. [1 ]
Shanks G. [2 ]
机构
[1] School of Management Information Systems, Deakin University, Vic.
[2] Department of Information Systems, University of Melbourne, Vic.
关键词
Design explanation; Design rationale; Information analysis; Requirements engineering process;
D O I
10.1007/s007660050025
中图分类号
学科分类号
摘要
This paper reports the results of an action research project which studied the benefits of documenting the evolution, and the rationale for the evolution, of a requirements specification. The benefits which design explanation offers designers (as documented in the literature) suggested an investigation with a view to understanding the potential contribution of the IBIS (Issue-Based Information System) approach. The paper reports an investigation into the use of ad hoc design explanation, in which design decisions were documented as they were made using the IBIS notation. This study finds both strengths and weaknesses in the approach. It reveals ways in which IBIS might be used more effectively and leads us to suggest a further study into the complementary use of ad hoc and post hoc design explanation approaches. © 1999 Springer-Verlag London Limited.
引用
收藏
页码:152 / 164
页数:12
相关论文
共 50 条
  • [11] Formal object-oriented analysis and design of an online ticketing system
    Li, XS
    Liu, ZM
    Guo, ZS
    APSEC 2001: EIGHTH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2001, : 259 - 266
  • [12] The KeY system:: Integrating object-oriented design and formal methods
    Ahrendt, W
    Baar, T
    Beckert, B
    Giese, M
    Habermalz, E
    Hähnle, R
    Menzel, W
    Mostowski, W
    Schmitt, PH
    FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS, 2002, 2306 : 327 - 330
  • [13] Real-time object-oriented design and formal methods
    De la Puente, JA
    REAL-TIME SYSTEMS, 2000, 18 (01) : 79 - 83
  • [14] Real-Time Object-Oriented Design and Formal Methods
    Juan Antonio de la Puente
    Real-Time Systems, 2000, 18 : 79 - 83
  • [15] Object Normalization as Contribution to the Area of Formal Methods of Object-Oriented Database Design
    Merunka, Vojtech
    Molhanec, Martin
    ADVANCES IN COMPUTER AND INFORMATIOM SCIENCES AND ENGINEERING, 2008, : 300 - +
  • [16] Object normalization as the contribution to the area of formal methods of object-oriented database design
    Vrany, Jan
    Struska, Zdenek
    Merunka, Vojtech
    ICEIS 2006: PROCEEDINGS OF THE EIGHTH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS: INFORMATION SYSTEMS ANALYSIS AND SPECIFICATION, 2006, : 471 - +
  • [17] 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
  • [18] FORMAL METHODS IN OBJECT-ORIENTED ANALYSIS
    WILSON, JCR
    BT TECHNOLOGY JOURNAL, 1993, 11 (03): : 18 - 31
  • [19] On Differencing Object-Oriented Formal Specifications
    Taibi, Fathi
    Alam, Md. Jahangir
    Abdullah, Junaidi
    JOURNAL OF OBJECT TECHNOLOGY, 2010, 9 (01): : 183 - 198
  • [20] MOODD, a method for object-oriented database design
    Silva, Mauricio J.V.
    Robert Carlson, C.
    Data and Knowledge Engineering, 1995, 17 (02): : 159 - 181