Document driven requirements analysis, as proposed by Prof. David Parnas, which has had some success in practice, focuses on creating concise and complete formal requirements documents to serve as references for forma...
详细信息
Document driven requirements analysis, as proposed by Prof. David Parnas, which has had some success in practice, focuses on creating concise and complete formal requirements documents to serve as references for formal verification, software design,implementation, testing, inspection, and so on. However,at present large number of requirements documents are still written in natural languages. Therefore, generating formal requirements specification from informal textual requirements description has become a big challenge. In this paper, a concern-based approach to generating formal requirements specification from textual requirements document is proposed, which applies separation of concerns during requirements analysis and utilizes concerns and their relationships to bridge the gap between textual requirements statements and formal requirements documentation. A tool suite has been developed for supporting our approach, and a case study has been performed to illustrate the process of our *** indicate that our approach facilitates guiding the process of formal requirements documentation with concerns and their relationships.
For urban planning and management, it is essential that detailed information about the environment of urban space, with its high level of pattern heterogeneity, is available. Thermal Infra Red Remote sensing allows sp...
详细信息
For urban planning and management, it is essential that detailed information about the environment of urban space, with its high level of pattern heterogeneity, is available. Thermal Infra Red Remote sensing allows spatializing land surface temperature(LST), a case study in changchun in northeast China was carried out, further analysis referred to quantifying spatial patterns of urban heat field and land use, based on topographic maps in 1990s and Land sat TM images in 1993 and 2005. The results showed there were changes in spatial patterns of urban thermal environment, and it was consistent with the direction of urban expansion. Moreover, LST existed differences on different underlying surface, the LST was the highest on the industrial land, followed by commercial land, public land and transportation land, the lowest was on the surface of water, followed by urban green land. In all, urban heat island effect had a trend of increase.
In order to study the mechanical properties of steel-concrete composite beams, the mechanical behavior and deformation mechanism of the steel-concrete composite beams are analyzed with laminated theory, and the connec...
详细信息
Surface topography has a major impact on mechanical properties. Since actual measured surfaces contain noise, they are not suitable for analysis and investigation, reconstruction of surface topography is necessary. Di...
详细信息
In past twenty years, as the rapid growth of Internet application, network education has grown a main part of current education. At the same time, semantic-based network educational resource became an important resear...
详细信息
To improve operation efficiency, the signal timing method for bicycle is studied at the intersection with the larger bicycle traffic flow based on the vehicle-bicycle conflict analysis with different flow direction. F...
详细信息
The K-Nearest Neighbor Algorithm (K-NN) is an important approach for automatic text classification. In this paper, cluster was applied In order to overcome the disadvantages of the traditional K-NN algorithm. First Cl...
详细信息
This paper presents a new method to measure retinal blood vessel with sub-pixel accuracy. The method is based on a modified Canny edge detection method with a bilateral filter. There are three stages of the method. Fi...
详细信息
C++ is a key curriculum in computer discipline. In this paper, guided by the system theory, the teaching content of c++ is integrated. Space-time nature of a variable , controlling of a function, iteration of a loop a...
详细信息
A novel self-adaptive differential evolution (SADE) algorithm is proposed in this paper. SADE adjusts the mutation rate F and the crossover rate CR adaptively, taking account of the different distribution of populatio...
详细信息
暂无评论