DocumentCode
2831843
Title
Introduction to Category Semantics of Essential Use Case Analysis Technology
Author
Lei, Gang
Author_Institution
Software Coll., Jiangxi Normal Univ., Nanchang, China
fYear
2009
fDate
19-20 Dec. 2009
Firstpage
1
Lastpage
4
Abstract
Software automation is always a challenging project, in which automatic transform from requirement model to analysis model is difficult especially. This paper has constructed a basic category semantics model for essential use case analysis technology, which has provided formal description for transform from requirement model to analysis model, and contributed to the automation of the transform.
Keywords
category theory; formal specification; analysis model; category semantics; essential use case analysis; formal transform description; requirement model; software automation; Assembly; Automation; Collaboration; Computer aided software engineering; Cyclic redundancy check; Educational institutions; Mathematical programming; Software engineering;
fLanguage
English
Publisher
ieee
Conference_Titel
Information Engineering and Computer Science, 2009. ICIECS 2009. International Conference on
Conference_Location
Wuhan
Print_ISBN
978-1-4244-4994-1
Type
conf
DOI
10.1109/ICIECS.2009.5364170
Filename
5364170
Link To Document