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 条
  • [1] Supplementing process-oriented with structure-oriented design explanation within formal object-oriented method
    Nguyen, L
    Swatman, PA
    Shanks, G
    1998 AUSTRALIAN SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 1998, : 118 - 132
  • [2] FORMAL SPECIFICATION AND OBJECT-ORIENTED DESIGN
    BUCHANAN, M
    BRITTON, C
    MICROPROCESSING AND MICROPROGRAMMING, 1992, 34 (1-5): : 19 - 22
  • [3] KeY:: A formal method for object-oriented systems
    Ahrendt, Wolfgang
    Beckert, Bernhard
    Haehnle, Reiner
    Schmitt, Peter H.
    FORMAL METHODS FOR OPEN OBJECT-BASED DISTRIBUTED SYSTEMS, PROCEEDINGS, 2007, 4468 : 32 - +
  • [4] An object-oriented, formal approach to the design of cadastral systems
    Frank, AU
    ADVANCES IN GIS RESEARCH II, 1997, : 245 - 261
  • [5] Formal Multi-threading Method of Object-Oriented
    Zhang, Anyu
    Xie, Xiaoyao
    2008 2ND INTERNATIONAL CONFERENCE ON ANTI-COUNTERFEITING, SECURITY AND IDENTIFICATION, 2008, : 293 - +
  • [6] Formal object-oriented method for modeling concurrent system
    Zhu, L.J.
    Wu, Z.M.
    Shanghai Jiaotong Daxue Xuebao/Journal of Shanghai Jiaotong University, 2001, 35 (02): : 245 - 249
  • [7] Object-oriented formal specifications
    Periyasamy, K
    TOOLS 26 - TECHNOLOGY OF OBJECT-ORIENTED LANGUAGES - PROCEEDINGS, 1998, : 428 - 441
  • [8] REQUIREMENTS OF AN OBJECT-ORIENTED DESIGN METHOD
    WALKER, IJ
    SOFTWARE ENGINEERING JOURNAL, 1992, 7 (02): : 102 - 113
  • [9] A FORMAL DESCRIPTION OF OBJECT-ORIENTED PROGRAMMING USING VDM
    MINKOWITZ, C
    HENDERSON, P
    LECTURE NOTES IN COMPUTER SCIENCE, 1987, 252 : 237 - 259
  • [10] USING VDM WITHIN AN OBJECT-ORIENTED FRAMEWORK
    MARSHALL, LS
    SIMON, L
    LECTURE NOTES IN COMPUTER SCIENCE, 1991, 551 : 619 - 628