KBSE
1997
IEEE
13 years 8 months ago
1997
IEEE
This paper discusses our approach to the problem of refining high-level simulation specifications. Our domain is simulated combat training for tank platoon members. Our input is a...
KBSE
1997
IEEE
13 years 8 months ago
1997
IEEE
KBSE
1997
IEEE
13 years 8 months ago
1997
IEEE
KBSE
1997
IEEE
13 years 8 months ago
1997
IEEE
Deduction-based software component retrieval uses preand postconditions as indexes and search keys and an automated theorem prover (ATP) to check whether a component matches. This...
KBSE
1997
IEEE
13 years 8 months ago
1997
IEEE
Legacy software systems present a high level of entropy combined with imprecise documentation. This makes their maintenance more difficult, more time consuming, and costlier. In o...
KBSE
1997
IEEE
13 years 8 months ago
1997
IEEE
KBSE
1997
IEEE
13 years 8 months ago
1997
IEEE
In software testing, it is often desirable to find test inputs that exercise specific program features. To find these inputs by hand is extremely time-consuming, especially whe...
KBSE
1997
IEEE
13 years 8 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 ...
KBSE
1997
IEEE
13 years 8 months ago
1997
IEEE
KBSE
1997
IEEE
13 years 8 months ago
1997
IEEE
Given a program S and a precondition Q, the strongest postcondition, denoted sp(S Q), is defined as the strongest condition that holds after the execution of S, given that S term...