1804 search results - page 276 / 361 » Use Cases in Model-Driven Software Engineering |
126
Voted
KBSE
2002
IEEE
15 years 8 months ago
2002
IEEE
Generating test inputs for a path in a function with integer and real parameters is an important but difficult problem. The problem becomes more difficult when pointers are pass...
143
Voted
IWPC
2000
IEEE
15 years 8 months ago
2000
IEEE
Call graphs are commonly used as input for automatic clustering algorithms, the goal of which is to extract the high level structure of the program under study. Determining the ca...
140
Voted
ICFEM
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Refinement plays a crucial role in "top-down" styles of verification, such as the refinement calculus, but for probabilistic systems proof of refinement is a pa...
115
click to vote
COMPSAC
2001
IEEE
15 years 7 months ago
2001
IEEE
Developers of e-commerce applications are often unrealistic about how their site will be used, and about possible outcomes during site usage. The most commonly considered outcomes...
133
Voted
COMPSAC
2001
IEEE
15 years 7 months ago
2001
IEEE
Virtual Reality Modeling Language (VRML) is widely used to represent, create, and display virtual reality objects and their environment. Some VRML applications require concurrent ...