Model Variables: Cleanly Supporting Abstraction in Design by Contract

Software - Practice and Experience - United Kingdom
doi 10.1002/spe.649
Full Text
Abstract

Available in full text

Categories
Software
Date
Authors
Publisher

Wiley

Related search

An Aspect for Design by Contract in Java

2008English

Applying Design by Contract to Feature-Oriented Programming

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Salesperson Compensation Contract Design Based on Multi‐agent Principal Agent Model

Nankai Business Review International
ManagementInternational ManagementBusinessStrategy
2013English

Termination by Abstraction

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Product and Sales Contract Design in Remanufacturing

International Journal of Production Economics
ManagementBusinessEconomicsManufacturing EngineeringManagement ScienceIndustrialAccountingEconometricsOperations Research
2014English

Supporting Inter-Business Collaboration via Contract Negotiation and Enactment

English

"Schema Abstraction" in a Multiple-Trace Memory Model.

Psychological Review
Philosophy of SciencePsychologyHistory
1986English

Optimal Contract Design: For Whom?

Journal of Futures Markets
ManagementFinanceBusinessEconomicsAccountingEconometrics
2003English

Design by Contract-Based Selection and Composition of Learning Objects

English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy