Key Laboratory in Software Engineering of Yunnan Province Kunming

Qinzhou, China

Key Laboratory in Software Engineering of Yunnan Province Kunming

Qinzhou, China
SEARCH FILTERS
Time filter
Source Type

Xie Z.,Yunnan University | Li T.,Yunnan University | Li T.,Key Laboratory in Software Engineering of Yunnan Province Kunming | Dai F.,Yunnan University | And 5 more authors.
2011 IEEE 3rd International Conference on Communication Software and Networks, ICCSN 2011 | Year: 2011

In order to modelling and managing software process resources, this paper first divides software process resources into four categories. Based on the classification, a formal software process resources model (SPRM) is proposed. The model support modelling resources into the four different categories, describing the nature of the resources by define first-order predicate formulates, restricting resources by define invariants, and carrying out the operation on resources by defining functions (or methods). Furthermore, this paper put forward a hierarchical method of managing resources in activity layer and task layer by defining activity resources and task resources. Finally, in order to show the effectiveness of the method, an example of modelling resources by SPRM was given. © 2011 IEEE.

Loading Key Laboratory in Software Engineering of Yunnan Province Kunming collaborators
Loading Key Laboratory in Software Engineering of Yunnan Province Kunming collaborators