8179 search results - page 87 / 1636 » The PRACTIONIST Development Tool |
192
click to vote
ICFP
2006
ACM
16 years 5 months ago
2006
ACM
I report on an experience using the Coq proof assistant to develop a program verification tool with a machine-checkable proof of full correctness. The verifier is able to prove me...
134
click to vote
ICALT
2009
IEEE
16 years 7 days ago
2009
IEEE
Personal Development Plans (PDP) have positive effects in learners’ motivation and confidence since they enable individuals to reflect upon their own learning and to plan for th...
146
click to vote
ICST
2009
IEEE
16 years 4 days ago
2009
IEEE
Aspect-oriented programming (AOP) languages introduce new constructs that can lead to new types of faults, which must be targeted by testing techniques. In particular, AOP languag...
137
click to vote
AH
2004
Springer
15 years 11 months ago
2004
Springer
Developing adaptive, rich-media, eLearning courses tends to be a complex, highly-expensive and time-consuming task. A typical adaptive eLearning course will involve a multi-skilled...
137
click to vote
VLSID
2002
IEEE
16 years 5 months ago
2002
IEEE
One of the major roadblocks in reduction of library generation cycle time is the layout generation phase. The two methods of doing automatic layout generation are synthesis and mig...