2740 search results - page 95 / 548 » A Model-Based Approach To Requirements Analysis |
ESEC
1999
Springer
14 years 1 months ago
1999
Springer
Traditional interprocedural data-flow analysis is performed on whole programs; however, such whole-program analysis is not feasible for large or incomplete programs. We propose fr...
CORR
2010
Springer
13 years 9 months ago
2010
Springer
This paper presents an improved analysis of a structured dimension-reduction map called the subsampled randomized Hadamard transform. This argument demonstrates that the map preser...
ACL
2008
13 years 10 months ago
2008
We present a novel fine-grained semantic representation of text and an approach to constructing it. This representation is largely extractable by today's technologies and fac...
SAC
2009
ACM
14 years 1 months ago
2009
ACM
This paper presents a novel software engineering approach for developing a dynamic web interface that meets the quality criterion of “WYDIWYS” - What You Do Is What You See. T...
SIGSOFT
2003
ACM
14 years 10 months ago
2003
ACM
Software products are often released with missing functionality, errors, or incompatibilities that may result in failures, inferior performances, or user dissatisfaction. In previ...