2186 search results - page 293 / 438 » Developing Educational Software Components |
127
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Testing is a vital part of the software development process. Test Case Generation (TCG) is the process of automatically generating a collection of test-cases which are applied to ...
124
Voted
CORR
2008
Springer
15 years 2 months ago
2008
Springer
Synchronous languages rely on formal methods to ease the development of applications in an efficient and reusable way. Formal methods have been advocated as a means of increasing t...
112
click to vote
CORR
2008
Springer
15 years 2 months ago
2008
Springer
Spreadsheets have grown up and became very powerful and easy to use tools in applying analytical techniques for solving business problems. Operations managers, production managers...
113
Voted
CORR
2006
Springer
15 years 2 months ago
2006
Springer
We present in this paper a library to compute with Taylor models, a technique extending interval arithmetic to reduce decorrelation and to solve differential equations. Numerical s...
136
click to vote
TII
2010
14 years 9 months ago
2010
In this paper, we develop an automated framework for formal verification of timed continuous Petri nets (ContPNs). Specifically, we consider two problems: (1) given an initial set ...