Searching for authors named "Tim Wahls" – sorted by Relevance.
9 documents found, showing 1 through 9.
-
jmle: A tool for executing JML specifications via constraint programming
- …jmle: A Tool for Executing JML Specifications via Constraint Programming Ben Krause and Tim Wahls…
- Cited by 3 (0 self) – Add To MetaCart
-
Formal Semantics and Soundness of an Algorithm for Translating Model-based Specifications to Constraint Programs
- … to Constraint Programs Tim Wahls and Gary T. Leavens TR #00-02 March 2000 Keywords: Executable specications…
- Cited by 1 (1 self) – Add To MetaCart
-
The Direct Execution of SPECS-C++: A Model-Based SpecificationLanguageio C++ Classes
- …The Direct Execution of SPECS-C++: A Model-Based SpecificationLanguageio C++ Classes TR94-02b Tim…
- Cited by 4 (3 self) – Add To MetaCart
-
Formal Semantics for Structured Analysis Style Data Flow Diagram Specification Languages
- …. Leavens, Tim Wahls, and Albert L. Baker TR #96-16 December 1996 Keywords: structured analysis, data flow…
- Cited by 2 (0 self) – Add To MetaCart
-
An Executable Semantics for a Formalized Data Flow Diagram Specification
- …An Executable Semantics for a Formalized Data Flow Diagram Specification2891 TR93-27 Tim Wahls…
- Cited by 7 (5 self) – Add To MetaCart
-
An Operational Semantics of Firing Rules for Structured Analysis Style Data Flow Diagrams
- …. Leavens, Tim Wahls, Albert L. Baker, and Kari Lyle TR #93-28d December 1993 (revised Dec. 1993, Sept. 1994…
- Cited by 8 (7 self) – Add To MetaCart
-
Executing Formal Specifications with Constraint Programming
- …Executing Formal Specifications with Constraint Programming Tim Wahls, Gary T. Leavens, and Albert…
- Cited by 3 (2 self) – Add To MetaCart
-
An Executable Semantics for a Formalized Data Flow Diagram Specification Language
- …An Executable Semantics for a Formalized Data Flow Diagram Specification Language Tim Wahls…
- Add To MetaCart
-
Executing formal speci cations with constraint programming
- …Executing Formal Speci cations with Constraint Programming Tim Wahls, Gary T. Leavens, and Albert…
- Cited by 1 (1 self) – Add To MetaCart
Showing 1 through 9.
