200 search results - page 5 / 40 » The Assistment Builder: A Rapid Development Tool for ITS |
109
click to vote
ICFP
2006
ACM
15 years 9 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...
CHI
2010
ACM
15 years 4 months ago
2010
ACM
The ready availability of online source code examples has changed the cost structure of programming by example modification. However, current search tools are wholly separate from...
LCTRTS
1998
Springer
15 years 1 months ago
1998
Springer
: During the latter stages of a software product cycle, developers may be faced with the task of fine-tuning an embedded system that is not meeting all of its timing requirements. ...
KBSE
2008
IEEE
15 years 3 months ago
2008
IEEE
The Design Exploration (DE) approach allows a large number of probable end users to communicate with software developers by creating mockups of user interfaces and augmenting the ...
ECLIPSE
2007
ACM
15 years 1 months ago
2007
ACM
In the software development life cycle, unit testing is an important phase that helps in early detection of bugs. A unit test case consists of two parts: a test input, which is of...