1401 search results - page 44 / 281 » Tool Integration for Reasoned Programming |
EWCBR
2004
Springer
14 years 15 days ago
2004
Springer
Abstract. Helping software designers in their task implies the development of tools with intelligent capabilities. One such capability is the integration of natural language unders...
LCTRTS
1999
Springer
14 years 1 months ago
1999
Springer
The SpecInt95 benchmark suite is often used to evaluate the performance of programming tools, including those used for embedded systems programming. Embedded applications, however...
FAABS
2000
Springer
14 years 11 days ago
2000
Springer
This paper integrates research in robot programming and reasoning about action with research in model-based reasoning about physical systems to provide a capability for modeling an...
WCET
2008
13 years 10 months ago
2008
TUBOUND is a conceptually new tool for the worst-case execution time (WCET) analysis of programs. A distinctive feature of TUBOUND is the seamless integration of a WCET analysis c...
ICSE
2000
IEEE-ACM
14 years 11 days ago
2000
IEEE-ACM
Tools and environments to aid developers in producing software have existed, in one form or another, since the early days of computer programming. They are becoming increasingly c...