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 :
بازگشت