1164 search results - page 116 / 233 » Using CBR for Semantic Analysis of Software Specifications |
120
Voted
INDIASE
2009
ACM
15 years 8 months ago
2009
ACM
We present an approach to automating some of the quality assurance review of software requirements documents, and promoting best practices for requirements documentation. The syst...
131
click to vote
ASE
2004
15 years 3 months ago
2004
Abstract. The use of pointers presents serious problems for software productivity tools for software understanding, restructuring, and testing. Pointers enable indirect memory acce...
180
click to vote
CGA
2010
15 years 1 months ago
2010
In this paper, we introduce a visualization method that couples a trend chart with word clouds to illustrate temporal content evolutions in a set of documents. Specifically, we us...
262
click to vote
PLDI
2009
ACM
16 years 4 months ago
2009
ACM
As computer systems continue to become more powerful and comdo programs. High-level abstractions introduced to deal with complexity in large programs, while simplifying human reas...
140
click to vote
ENTCS
2006
15 years 3 months ago
2006
Mathematical software libraries provide many computational services. Mathematical operators properties can be used to combine several services in order to provide more complex one...