5343 search results - page 817 / 1069 » Keyword programming in java |
173
click to vote
MHCI
2007
Springer
16 years 23 days ago
2007
Springer
In this demonstration, we present a system that enables users to easily generate quizzes for mobile devices. With our program, they can create multiple choice tests and general qu...
158
click to vote
OOPSLA
2007
Springer
16 years 23 days ago
2007
Springer
Generative Programming advocates developing a family of systems rather than a set of single systems. Feature modeling can assist in supporting the development of such software pro...
193
Voted
ACL2
2006
ACM
16 years 18 days ago
2006
ACM
We describe an embedding of the ACL2 logic into higherorder logic. An implementation of this embedding allows ACL2 to be used as an oracle for higher-order logic provers. Categori...
128
Voted
ISSTA
2006
ACM
16 years 18 days ago
2006
ACM
Assertions have long been used to validate the functionality of software systems. Researchers and practitioners have extended them for validation of non-functional requirements, s...
137
click to vote
ITICSE
2006
ACM
16 years 18 days ago
2006
ACM
Learning elementary programming can be enhanced by introducing the notion of variable roles to students. This paper presents a web-based automatic role detection service that can ...