Searching for "Methods as Assertions." – sorted by Relevance.
176 documents found, showing 1 through 10.
Next 10 →
-
Methods as Assertions
- …Methods as Assertions John Lamping 1 , Mart'in Abadi 2 1 Xerox PARC 3333 Coyote Hill Road…
- Cited by 11 (1 self) – Add To MetaCart
-
The Transition Assertions Specification Method
- …The Transition Assertions Specification Method Victor A. Carre~no vac@(email omitted); NASA…
- Add To MetaCart
-
The Transition Assertions Specification Method
- …The Transition Assertions Specification Method Victor A. Carre~no vac@(email omitted); NASA…
- Add To MetaCart
-
Policy-Enforced Linking of Untrusted Components (Extended Abstract)
- … Descriptors D.2.4 [Software Engineering]: Software/Program Verification—formal methods, assertion checkers…
- Add To MetaCart
-
Assertional and Behavioural Refinement in Coalgebraic Specification
- … exibility, especially in the presence of non-public methods. Assertional renement is shown to be a special…
- Add To MetaCart
-
Architectural Reconstruction
- … the building model and the camera parameters. This method asserts that geometric rules are perfectly respected…
- Add To MetaCart
-
Floating Point Fault Tolerance with Backward Error Assertions
- … previous methods, this Backward Error Assertion Model is specifically designed to operate in an environment…
- Cited by 5 (1 self) – Add To MetaCart
-
Wrappers to the Rescue
- … method wrappers to construct several extensions to Smalltalk: synchronized methods, assertions…
- Cited by 73 (2 self) – Add To MetaCart
-
An Evaluation of Specification-Derived Assertions
- … is concerned with verification of a program’s output, assertions provide a method for verifying the internal…
- Add To MetaCart
-
Control Predicates are Better than Dummy Variables for Reasoning about Program Control
- …-Gries method, as in Floyd's method, a program is annotated by attaching assertions to control points. The major…
- Cited by 8 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
