9182 search results - page 197 / 1837 » Requirements for Requirements Management Tools |
164
Voted
ISCC
2008
IEEE
15 years 10 months ago
2008
IEEE
—This paper discusses wireless mesh network topology visualization tools and their requirements. It presents an interactive tool for visualizing mesh network topologies. The prop...
127
click to vote
CHINZ
2006
ACM
15 years 10 months ago
2006
ACM
Ink annotation is a common method for recording feedback on a paper document. However, reviewing code on paper is difficult due to its non-linear nature. This project extends exis...
131
click to vote
TACAS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. We present a tool for the formal verification of ANSI-C programs using Bounded Model Checking (BMC). The emphasis is on usability: the tool supports almost all ANSI-C la...
132
click to vote
ICCAL
1989
15 years 8 months ago
1989
Signal constellation design is a major subtask of constructing an efficient communication system; it essentially entails trading-off error frequency against information throughput...
142
click to vote
ECMDAFA
2006
Springer
15 years 7 months ago
2006
Springer
: The growing interest in the MDA (Model-Driven Architecture) and MDD (Model-Driven Development) approaches has largely increased the number of tools and methods including code-gen...