• DocumentCode
    257635
  • Title

    Structured multi-view modeling by tabular notation

  • Author

    Xiuna Zhu ; Dongyue Mou ; Ratiu, Daniel

  • Author_Institution
    Inst. fur Inf., Tech. Univ. Munchen, Garching, Germany
  • fYear
    2014
  • fDate
    25-29 Aug. 2014
  • Firstpage
    327
  • Lastpage
    328
  • Abstract
    The growth of software complexity and high degree of dependencies between functionalities motivates the use of models during requirements engineering. Hence, readability and comprehensibility of currently requirements specification techniques should be increased. Additionally, multi-view modeling and tabular expression are widely accepted techniques in requirements documentation. We present a tool that allows structured multi-view modeling of the behavior of the system by means of tabular notation. Our tool provides various table patterns to support different behavior views, which leverage the advantages of tabular specification, e.g., unambiguous, precise, and easier to read, analyses and communicate. Our aim is to reduce the complexity in the development of software systems.
  • Keywords
    formal specification; formal verification; software metrics; requirements documentation; requirements engineering; software complexity; software systems; structured multiview modeling; tabular expression; tabular notation; tabular specification; Complexity theory; Documentation; Electronic mail; Mathematical model; Semantics; Software systems; Model-based Requirements Engineering; Multi-View Modeling; Tabular Specification;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Requirements Engineering Conference (RE), 2014 IEEE 22nd International
  • Conference_Location
    Karlskrona
  • Print_ISBN
    978-1-4799-3031-9
  • Type

    conf

  • DOI
    10.1109/RE.2014.6912280
  • Filename
    6912280