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
Link To Document