Searching for authors named Peter Padawitz – sorted by Relevance.
7 documents found, showing 1 through 7.
-
Swinging UML - How to Make Class Diagrams and State Machines Amenable to Constraint Solving and Proving
- … and Proving Peter Padawitz padawitz@(email omitted); http://ls5.cs.uni-dortmund.de/peter University…
- Cited by 6 (1 self) – Add To MetaCart
-
Inductive Theorem Proving for Design Specifications
- …Inductive Theorem Proving for Design Specifications January 2, 1997 Peter Padawitz Fachbereich…
- Cited by 8 (6 self) – Add To MetaCart
-
A System for Testing and Verifying Functional-Logic Programs
- … Padawitz Fachbereich Informatik Universitat Dortmund, Germany peter@(email omitted); Contents…
- Cited by 4 (4 self) – Add To MetaCart
-
Proof in Flat Specifications
- …10 Proof in Flat Specifications Peter Padawitz Informatik 5, Universitat Dortmund, D-44221…
- Cited by 1 (1 self) – Add To MetaCart
-
Swinging Data Types: The Dielectic between Actions and Constructors
- … Padawitz Fachbereich Informatik Universitat Dortmund, Germany peter@(email omitted); Abstract…
- Cited by 1 (1 self) – Add To MetaCart
-
Modular Swinging Types
- …Modular Swinging Types Peter Padawitz padawitz@(email omitted); http://ls5.cs.uni-dortmund.de/peter…
- Cited by 3 (3 self) – Add To MetaCart
-
Basic Inference Rules for Algebraic and Coalgebraic Specifications
- …1 Basic Inference Rules for Algebraic and Coalgebraic Specications Peter Padawitz peter.padawitz…
- Add To MetaCart
Showing 1 through 7.
