Searching for "On the Animation of "not Executable" Specifications by Prolog." – sorted by Relevance.
260,615 documents found, showing 1 through 10.
Next 10 →
-
A π-calculus Specification of Prolog
- …A -calculus Specification of Prolog Benjamin Z. Li Department of Computer and Information Science…
- Add To MetaCart
-
Graphic visualization and animation of LOTOS execution traces
- …Graphic Visualization and Animation of LOTOS Execution Traces Bernard Stepien and Luigi Logrippo…
- Cited by 1 (0 self) – Add To MetaCart
-
Executive Summary Executive Summary
- … 2002Mission Definition Executive Summary Executive Summary The National ITS Architecture Mission…
- Add To MetaCart
-
Combining the Animation and Testing of Abstract Data Types
- … animator interprets and executes specifications to give them the appearance of liveliness. This can be used…
- Cited by 1 (1 self) – Add To MetaCart
-
Animation is Approximation
- …, for an executable specification may contain too many implementation details. An animation of a Z specification…
- Cited by 2 (0 self) – Add To MetaCart
-
The Enterprise Executive
- … Procedures of the Animation Example with Enterprise Code.........113 - 1 - The Enterprise Executive Chapter…
- Cited by 1 (0 self) – Add To MetaCart
-
• Execution structure
- … (IWACO) Compile-Time Views of Execution Structure based on Ownership “Inside every large program is a…
- Add To MetaCart
-
Executive Summary
- …, and Consumer Sciences, Division of Animal and Veterinary Sciences WEST VIRGINIA DEPARTMENT OF AGRICULTURE…
- Add To MetaCart
-
EXECUTIVE SUMMARY......................................................
- …-1026 December 1998TABLE OF CONTENTS EXECUTIVE SUMMARY ...................................................... v…
- Add To MetaCart
-
EXECUTIVE SUMMARY
- …, 1994 EXECUTIVE SUMMARY Mevinphos (Phosdrin ) is a restricted organophosphate insecticide. Mevinphos…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
