• DocumentCode
    1982639
  • Title

    Software component completeness by block-diagonalized traceability matrices

  • Author

    Exman, Iaakov

  • Author_Institution
    Software Eng. Dept., Jerusalem Coll. of Eng., Israel
  • fYear
    2004
  • fDate
    6-7 Sept. 2004
  • Firstpage
    118
  • Lastpage
    121
  • Abstract
    Software component traceability matrices can be put in almost block-diagonal form, by applying a series of component-preserving transformations. The resulting block-diagonalized matrix is a powerful tool for improving the system design, as it reveals its higher-level hierarchy, and points to possible lacks of completeness and symmetry. Case studies of real software systems illustrate the approach, which is not restricted to software systems only.
  • Keywords
    object-oriented programming; program processors; program verification; block-diagonalized traceability matrices; component-preserving transformations; higher-level hierarchy; software component completeness; Computer aided software engineering; Educational institutions; Humans; Matrix decomposition; Power engineering and energy; Robots; Software design; Software engineering; Software systems;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Electrical and Electronics Engineers in Israel, 2004. Proceedings. 2004 23rd IEEE Convention of
  • Print_ISBN
    0-7803-8427-X
  • Type

    conf

  • DOI
    10.1109/EEEI.2004.1361103
  • Filename
    1361103