2881 search results - page 510 / 577 » Model Checking for Programming Languages using Verisoft |
119
Voted
ODRL
2004
15 years 4 months ago
2004
Software license management is currently expanding from its traditional desktop environment into the mobile application space, but software vendors are still applying old licensing...
118
Voted
AGTIVE
2003
Springer
15 years 7 months ago
2003
Springer
OptimixJ is a graph rewrite tool that can be embedded easily into the standard software process. Applications and models can be developed in Java or UML and extended by graph rewri...
248
Voted
UM
2010
Springer
15 years 7 months ago
2010
Springer
The field of intelligent tutoring systems has been using the well known knowledge tracing model, popularized by Corbett and Anderson (1995) to track individual users’ knowledge f...
139
click to vote
UM
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Since problem solving in group problem-based learning is a collaborative process, modeling individuals and the group is necessary if we wish to develop an intelligent tut...
121
Voted
ICSEA
2007
IEEE
15 years 9 months ago
2007
IEEE
Automatic test data generation helps testers to validate software against user requirements more easily. Test data can be generated from many sources; for example, experience of t...