【摘 要】
：
Requirements analysis is an important phase in a software project. The analysis is often performed in aninformal way by specialists who review documents looking
【机 构】
：
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo",Software Engineering Instit
论文部分内容阅读
Requirements analysis is an important phase in a software project. The analysis is often performed in aninformal way by specialists who review documents looking for ambiguities, technical inconsistencies and incomplete parts.Automation is still far from being applied in requirements analyses, above all since natural languages are informal andthus difficult to treat automatically. There are only a few tools that can analyse texts. One of them, called QuARS, wasdeveloped by the Istituto di Scienza e Tecnologie dellInformazione and can analyse texts in terms of ambiguity. This paperdescribes how QuARS was used in a formal empirical experiment to assess the impact in terms of effectiveness and efficacyof the automation in the requirements review process of a software company.
其他文献
To enable insulin as multi-drug carrier, we designed and synthesized dendritic linker molecule bearing three 5-fluorouracil residues at the branch ends. The new
我们证明土豆和科恩是推测 1 个有弹性的粒子移动自由地在一根线上是的 n + 的碰撞的最大的数字(n (n+1 ))/2 如果没有内部粒子有质量不到它的立即的邻居的群众的算术平均数
Using the coupled Dyson-Schwinger equation for the fermion propagator at finite chemical potential μ,we investigate the fermion chiral condensate when the gaug
Handoff in IEEE 802.11 requires the repeated authentication and key exchange procedures,which will make the provision of seamless services in wireless LAN more
A nanohybrid sensor of nanosized TiO2-coated carbon black particles, prepared by sol-gel technology for the detection of NO2 gas, has been developed. The respon
In this study,the effect of Nb loading on the catalytic activity of Ce0.75Zr0.25O2-supported Ni catalysts was studied for methane partial oxidation.The catalyst
Component dependency is an important software measure. It is directly related to software understandability,maintainability, and reusability. Two important para
The immobilization of cytochrome c or horseradish peroxidase at the sulfur-modified gold electrode exhibits a ra-pid electron transfer behavior because of its s
By applying the integral transform method and the inverse transformation technique based upon the two types of integration, the present paper has successfully o
We present an experimentally feasible scheme for teleportation of an arbitrary unknown two-atom entangled state by using two-atom Bell states in driven thermal