1099 search results - page 47 / 220 » A tool for assisting the understanding and formal developmen... |
SEFM
2007
IEEE
14 years 3 months ago
2007
IEEE
Reactive integrated development environments for software engineering have lead to an increase in productivity and quality of programs produced. They have done so by replacing the...
IIE
2007
13 years 9 months ago
2007
How do we teach children to express and communicate ideas in a formal and informal mode? What type of language do they need in a concrete context? How should they determine a prope...
FTRTFT
1998
Springer
14 years 1 months ago
1998
Springer
A controversial issue in the formal methods community is the degree to which mathematical sophistication and theorem proving skills should be needed to apply a formal method. A fun...
EWCBR
2004
Springer
14 years 2 months ago
2004
Springer
The complexity of software systems makes design reuse a necessary task in the software development process. CASE tools can provide cognitive assistance in this task, helping the so...
DGO
2003
13 years 10 months ago
2003
Research advances in geospatial automated image analysis tools and feature extraction algorithms have matured in recent times to levels of practical applicability. The consolidati...