7404 search results - page 257 / 1481 » New Tools in Education |
169
click to vote
TPHOL
1994
IEEE
15 years 10 months ago
1994
IEEE
Verification Condition Generator (VCG) tools have been effective in simplifying the task of proving programs correct. However, in the past these VCG tools have in general not thems...
173
click to vote
SCS
2004
15 years 8 months ago
2004
Limitations in scope but also difficulties with the efficiency and scalability of present algorithms seem to have so far limited the industrial uptake of existing automated FMEA t...
177
click to vote
EAAI
2006
15 years 6 months ago
2006
Throughout the history, the evolutions of the requirements for manufacturing equipments have depended on the changes in the customers' demands. Among the present trends in th...
198
click to vote
IJWET
2006
15 years 6 months ago
2006
: This paper presents a CASE tool for the high-level specification of web applications integrated with web services. The CASE tool is based on WebML, a conceptual modelling languag...
153
click to vote
IWC
2006
15 years 6 months ago
2006
Even in the current computer age, there are still many important application areas, such as early architectural design, where traditional tools like sketching on paper continue to...