1401 search results - page 3 / 281 » Tool Integration for Reasoned Programming |
133
click to vote
NMR
2004
Springer
15 years 5 months ago
2004
Springer
Recommender systems have evolved in the last years as specialized tools to assist users in a plethora of computermediated tasks by providing guidelines or hints. Most recommender ...
AAAI
1998
15 years 29 days ago
1998
This paper describes a program called Pret that automates system identification, the process of finding a dynamical model of a black-box system. Pret performs both structural iden...
77
Voted
LPAR
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. The paper presents a combination of interactive and automatic tools in the area of software verification. We have integrated a newly developed software model checker int...
97
Voted
ACSC
2005
IEEE
15 years 5 months ago
2005
IEEE
Support for program understanding in development and maintenance tasks can be facilitated by program analysis techniques. Both control-flow and data-flow analysis can support pr...
116
click to vote
CADE
2009
Springer
16 years 6 days ago
2009
Springer
In recent years researchers have developed a wide range of powerful automated reasoning systems. We have leveraged these systems to build Jahob, a program specification, analysis, ...