6343 search results - page 160 / 1269 » Development of a Cartographic Language |
152
click to vote
CORR
2010
Springer
15 years 5 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 ...
170
click to vote
RML
2002
15 years 4 months ago
2002
Conceptual modeling techniques such as EER, ORM and to some extent the UML have been developed in the past for building information systems. These techniques or suitable extensions...
232
click to vote
DLS
2009
15 years 2 months ago
2009
Type inference and type reconstruction derive static types for program elements that have no static type associated with them. They have a wide range of usage, such as helping to ...
238
click to vote
TPHOL
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract. We give an overview of Agda, the latest in a series of dependently typed programming languages developed in Gothenburg. Agda is based on Martin-L¨of’s intuitionistic t...
153
Voted
AIED
2005
Springer
15 years 10 months ago
2005
Springer
To investigate whether Natural Language feedback improves learning, we developed two different feedback generation engines, that we systematically evaluated in a three way comparis...