4250 search results - page 3 / 850 » Understanding the Requirements on Modelling Techniques |
IUI
2010
ACM
14 years 2 months ago
2010
ACM
Target expansion is a pointing facilitation technique where the users target, typically an interface widget, is dynamically enlarged to speed pointing in interfaces. However, with...
DATE
2009
IEEE
14 years 15 days ago
2009
IEEE
—Verification is a major issue in circuit and system design. Formal methods like bounded model checking (BMC) can guarantee a high quality of the verification. There are severa...
ESEM
2009
ACM
13 years 10 months ago
2009
ACM
This paper describes an empirical mapping study, which was designed to identify what aspects of Software Requirement Specifications (SRS) are empirically evaluated, in which conte...
APSEC
2003
IEEE
13 years 11 months ago
2003
IEEE
For software maintenance and evolution, a common problem is to understand how each requirement is implemented in the source code. The basic solution of this problem is to find the...
TVCG
2010
13 years 13 days ago
2010
Multiple simulation runs using the same simulation model with different values of control parameters usually generate large data sets that capture the variational aspects of the be...