Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Gary Leavens
Model Variables: Cleanly Supporting Abstraction in Design by Contract
Software - Practice and Experience
Software
Formal Techniques for Java-Like Programs
Related publications
An Aspect for Design by Contract in Java
Applying Design by Contract to Feature-Oriented Programming
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Salesperson Compensation Contract Design Based on Multi‐agent Principal Agent Model
Nankai Business Review International
Management
International Management
Business
Strategy
Termination by Abstraction
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Product and Sales Contract Design in Remanufacturing
International Journal of Production Economics
Management
Business
Economics
Manufacturing Engineering
Management Science
Industrial
Accounting
Econometrics
Operations Research
Supporting Inter-Business Collaboration via Contract Negotiation and Enactment
"Schema Abstraction" in a Multiple-Trace Memory Model.
Psychological Review
Philosophy of Science
Psychology
History
Optimal Contract Design: For Whom?
Journal of Futures Markets
Management
Finance
Business
Economics
Accounting
Econometrics
Design by Contract-Based Selection and Composition of Learning Objects
