【摘 要】
：
This paper provides a formalized definition of the application problem of compound condition query (CCQ) and a formal method of applying requirements elicitation based on trace information space derived from trace algebra.With the formalized process of so
【机 构】
：
College of Computer Science and Technology, Harbin Engineering University, Harbin 150001, China;Nati
论文部分内容阅读
This paper provides a formalized definition of the application problem of compound condition query (CCQ) and a formal method of applying requirements elicitation based on trace information space derived from trace algebra.With the formalized process of solving the application problem of CCQ,formal requirements specification of application of CCQ is given,a formalized and automatic mapping of the results of requirements elicitation to the formal requirements specification is performed,the software system model and the application code are developed.Through a sample application of comprehensive query on housing information,the feasibility of formalized and automatic software development for the application problem of CCQ is proved.The result has important implications for the other problems regarding formalization and automatic software development.
其他文献
Lattice-based hierarchical identity-based broadcast encryption (H-IBBE) schemes have broad application prospects in the quantum era,because it reduces the burden of private key generator (PKG) and is suitable for oneto-many communication.However,previous
In orthogonal frequency division multiplexing (OFDM)/offset quadrature amplitude modulation (OQAM) systems,the relationship between the input of the synthesis filter bank (SFB) and the output of the analysis filter bank (AFB) is much more complicated than
The prediction of colorectal cancer (CRC) survivability has always been a challenging research issue.Considering the importance of predicting CRC patients\' survival rates,we compared the performance of three data mining methods:decision trees (DTs),art
Spectrum sensing is an essential ability to detect spectral holes in cognitive radio (CR) networks.The critical challenge to spectrum sensing in the wideband frequency range is how to sense quickly and accurately.Compressive sensing(CS) theory can be empl
Auction was widely used to tackle spectrum allocation and sharing in the secondary market under the condition of spectrum scarcity.In real communication system,such as broadband communication,the utilization of spectrum resource is various because of diff
Dynamic geometry software,as a piece of computer-assisted instruction (CAI) software,is closely and deeply associated with mathematics,and is widely applied to mathematics teaching activities in primary and secondary schools.Meanwhile,web technology also
The finite-difference time-domain (FDTD) method is extensively applied in dealing with time-domain microwave imaging(MWI) problems since it is robust,fast,simple to implement.However,the FDTD method is an explicit time-stepping technique,due to the constr
One-bit compressed sensing (CS) technology reconstructs the sparse signal when the available measurements are reduced to only their sign-bit.It is well known that CS reconstruction should know the measurement matrix exactly to obtain a correct result.Howe
Software module clustering is to divide the complex software system into many subsystems to enhance the intelligibility and maintainability of software systems.To increase convergence speed and optimize clustering solution,density PSO-based (DPSO) softwar
Text classification means to assign a document to one or more classes or categories according to content.Text classification provides convenience for users to obtain data.Because of the polysemy of text data,multi-label classification can handle text data