| 1. |
- Hu, W, et al.
(författare)
-
VDM++ Formalization of UML Class Diagram
- 2012
-
Ingår i: Weidianzixue yu jisuanji [Microelectronics & Computer]. - 1000-7180. ; 29:6, s. 104-107
-
Tidskriftsartikel (övrigt vetenskapligt/konstnärligt)abstract
- The purpose of this paper is to use the most widely used formal language-VDM ＋ ＋ that has characteristics of accuracy and consistent in describing syntax and semantic of the system model, combined with VDMTOOLS and Rational Rose tool to transform the various elements of the UML class model into representation of VI）M＋ ＋. This method achieves the various elements contained UML class model about the syntax and semantics checking, and further improves the quality of UML modeling.
|
|
| 2. |
- Xiaohua, W., et al.
(författare)
-
The relationship between developers and customers in agile methodology
- 2008
-
Ingår i: Proceedings of the International Conference on Computer Science and Information Technology, ICCSIT 2008. - Singapore. - 9780769533087 ; , s. 566-572
-
Konferensbidrag (övrigt vetenskapligt/konstnärligt)abstract
- Agile methods such as XP emphasize the adaptation to changes, the collaboration with customers and the role of individuals. The project manager, developer and customer should have a tactic to handle the uncertain factors and the management conflicts in software development process. XP ′ s on-site customer practice makes the customer play a important role in development process, and facilitate the broad collaboration between developer and customer. Based on the feature of XP project life cycle and practices, this paper explores respective activities and responsibilities between development team and customer team, and the issues in their collaboration. Some practices in which customer participates is addressed, the activities of both developer and customer are described, some probable problems when customer and programmer work together are presented, and a formal example is given. © 2008 IEEE.
|
|
| 3. |
- Cornelissen, Johannes H C, et al.
(författare)
-
Global negative vegetation feedback to climate warming responses of leaf litter decomposition rates in cold biomes
- 2007
-
Ingår i: Ecology Letters. - : Wiley. - 1461-023X .- 1461-0248. ; 10:7, s. 619-627
-
Tidskriftsartikel (refereegranskat)abstract
- Whether climate change will turn cold biomes from large long-term carbon sinks into sources is hotly debated because of the great potential for ecosystem-mediated feedbacks to global climate. Critical are the direction, magnitude and generality of climate responses of plant litter decomposition. Here, we present the first quantitative analysis of the major climate-change-related drivers of litter decomposition rates in cold northern biomes worldwide.Leaf litters collected from the predominant species in 33 global change manipulation experiments in circum-arctic-alpine ecosystems were incubated simultaneously in two contrasting arctic life zones. We demonstrate that longer-term, large-scale changes to leaf litter decomposition will be driven primarily by both direct warming effects and concomitant shifts in plant growth form composition, with a much smaller role for changes in litter quality within species. Specifically, the ongoing warming-induced expansion of shrubs with recalcitrant leaf litter across cold biomes would constitute a negative feedback to global warming. Depending on the strength of other (previously reported) positive feedbacks of shrub expansion on soil carbon turnover, this may partly counteract direct warming enhancement of litter decomposition.
|
|
| 4. |
|
|
| 5. |
- Hu, W, et al.
(författare)
-
Iterative Strategy Analyze During Agile Development
- 2012
-
Ingår i: Weidianzixue yu jisuanji [Microelectronics & Computer]. - 1000-7180. ; 29:5, s. 165-169
-
Tidskriftsartikel (övrigt vetenskapligt/konstnärligt)abstract
- In this paper, We used characteristic of the Unified Modeling Language （UML） use case model in describing the function of the system＇ s and the iteration sequence of agile development process to obtain a new iteration sequence based on the risk an value of the various use cases in UML use case diagrams. An obvious advantage of doing so is to ensure high-risk and high-value use cases will be first developed, so that the use cases will be repeatedly tested in the next iteration, thereby increasing overall system reliability.
|
|
| 6. |
- Hu, W., et al.
(författare)
-
Requires analysis based on software maintainability
- 2014
-
Ingår i: ICRMS 2014 - Proceedings of 2014 10th International Conference on Reliability, Maintainability and Safety. - 9781479919925 ; , s. 354-357
-
Konferensbidrag (refereegranskat)abstract
- Requirements analysis is the most important phase of the software life cycle process. Some studies have shown the most faults of software are from the requirements phase. Therefore, the quality of Software Requirements Specification has become the key to project success, which correctness, consistency, no ambiguity of software requirements specification is more important. This paper presents a classification method based on natural language processing techniques and grey similar correlation. The first step of this method is that keywords refined from various functional requirements through segmentation of natural language processing, thus made up of heavy weight vector based on the weight of functional requirements, such a functional requirement corresponds to a weight vector. The second step is that the related technology of grey system is used to compute grey correlation coefficient between two weight vectors, in order to construct a correlation matrix. Finally, the appropriate statistical tools are used to classify functional requirements statements. The clustering results based on this method can provide work guidance for requirement analysts, software developers, software testers, software maintenance.
|
|
| 7. |
|
|
| 8. |
- Yang, J, et al.
(författare)
-
Web Software Reliability Analysis Based on NHPP Model
- 2012
-
Ingår i: Jisuanji Gongcheng [Computer Engineering]. - 1000-3428. ; 38:14, s. 26-28
-
Tidskriftsartikel (övrigt vetenskapligt/konstnärligt)abstract
- This paper proposes a Web Software Reliability Growth Model(SRGM) with BurrX Testing Effort Function(TEF) based on Non-homogeneous Poisson Process(NHPP) and develops its application to Web software reliability analysis. The incorporated TEF depicts the relationship between Web workload and calendar time, and solves the problem about high uneven of Web workload. By using the workload data and failure data from Web logs. Experimental results show that the proposed model can be used to describe the actual failure process more faithfully than G-O model, which is often used to analyze Web software.
|
|
