From Relational Interfaces to Assume-Guarantee Contracts

doi 10.21236/ada605016
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Defense Technical Information Center

Related search

Optimized L*-Based Assume-Guarantee Reasoning

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2007English

Automated Assume-Guarantee Reasoning Through Implicit Learning

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Automated Assume-Guarantee Reasoning by Abstraction Refinement

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
English

Relational Contracts of Adhesion

SSRN Electronic Journal
2017English

Automated Assume-Guarantee Reasoning for Omega-Regular Systems and Specifications

Innovations in Systems and Software Engineering
Software
2011English

Courts and Relational Contracts

SSRN Electronic Journal
2002English

Relational Contracts and Organizational Capabilities

Organization Science
ManagementOrganizational BehaviorHuman Resource ManagementStrategyInnovationManagement of Technology
2012English

Assume-Guarantee Reasoning for Hybrid I/O-Automata by Over-Approximation of Continuous Interaction

2004English

Motivate and Select: Relational Contracts With Persistent Types

Journal of Economics and Management Strategy
ManagementBusinessEconomicsStrategyInnovationAccountingManagement of TechnologyEconometrics
2017English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy