DocumentCode
2488017
Title
Behavior-Oriented Software Requirements Model and Logical Properties
Author
Huai-Guang Wu ; Li Wan ; Guo-qing Wu ; Xiang Ling ; Zheng-Ping Liang
Author_Institution
Sch. of Comput. Sci., Wuhan Univ., Wuhan, China
fYear
2010
fDate
22-23 May 2010
Firstpage
1
Lastpage
5
Abstract
Requirements modeling is a key procedure in requirements engineering and has a important effect on the quality and cost of software. In this paper, we introduce a software behavior oriented requirements model based on our research and give syntax and semantics of the model in detail. In order to affirm correctness and reliability of the requirements model, we descript some properties, such as consistency and safety of system, behavioral trust and behavioral non-termination by means of μ -calculus, and apply to a case.
Keywords
behavioural sciences computing; calculus; formal specification; μ -calculus; logical property; reliability; software behavior oriented requirements model; Computer science; Costs; Documentation; Formal specifications; Logic; Natural languages; Reliability engineering; Safety; Software engineering; Software quality;
fLanguage
English
Publisher
ieee
Conference_Titel
Intelligent Systems and Applications (ISA), 2010 2nd International Workshop on
Conference_Location
Wuhan
Print_ISBN
978-1-4244-5872-1
Electronic_ISBN
978-1-4244-5874-5
Type
conf
DOI
10.1109/IWISA.2010.5473744
Filename
5473744
Link To Document