1782 search results - page 1 / 357 » Tool Support for Proof Engineering |
ENTCS
2007
13 years 5 months ago
2007
Modern integrated development environments (IDEs) provide programmers with a variety of sophisticated tools for program visualization and manipulation. These tools assist the prog...
SEFM
2007
IEEE
13 years 11 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...
APSEC
2005
IEEE
13 years 11 months ago
2005
IEEE
— Invariant based programming is an approach to program construction where we provide the program pre- and postconditions as well as loop invariants before we construct the code ...
KBSE
1997
IEEE
13 years 9 months ago
1997
IEEE
Abstract: This paper describes some tools to support formal methods, and conversely some formal methods for developing such tools. We focus on distributed cooperative proving over ...
HICSS
2003
IEEE
13 years 10 months ago
2003
IEEE
To determine the important trends and issues in thousands of comments from customers and make strategic decisions about business operations, managers must go over these messages m...