Theory and methodology of assumption/commitment based system interface specification and architectural contracts

No abstract is available for this paper.

• Publication year

  2018

• Venue

  Formal Methods Syst. Des.

• Publication date

  2018-02-01

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1007/s10703-017-0304-9
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Multi-Viewpoint State Machines for Rich ComponentModels

  2018cited by this paper
• Computability and realizability for interactive computations

  2015cited by this paper
• Contracts-refinement proof system for component-based embedded systems

  2015cited by this paper
• A meta-theory for component interfaces with contracts on ports

  2014cited by this paper
• Contract-based design of control protocols for safety-critical cyber-physical systems

  2014cited by this paper
• An algebraic theory of interface automata

  2014cited by this paper
• Compositional assume-guarantee reasoning for input/output component theories

  2014cited by this paper
• Contract-based integration of cyber-physical analyses

  2014cited by this paper
• Are interface theories equivalent to contract theories?

  2014cited by this paper
• Library-based scalable refinement checking for contract-based design

  2014cited by this paper
• Safety contract based design of software components

  2013cited by this paper
• OCRA: A tool for checking the refinement of temporal contracts

  2013cited by this paper
• Cyber-physical system design contracts

  2013cited by this paper
• Towards Structuring System Specifications with Time Bands Using Layers of Rely-Guarantee Conditions

  2013cited by this paper
• Taming Dr. Frankenstein: Contract-Based Design for Cyber-Physical Systems

  2012cited by this paper
• Composable Safety-Critical Systems Based on Pre-certified Software Components

  2012cited by this paper
• Moving from Specifications to Contracts in Component-Based Design

  2012cited by this paper
• A Probabilitistic Theory of Interactive Systems

  2012cited by this paper
• A Theory of Synchronous Relational Interfaces

  2011cited by this paper
• A Modal Interface Theory for Component-based Design

  2011cited by this paper
• A Logical Basis for Component-Oriented Software and Systems Engineering

  2010cited by this paper
• Design by Contract

  2010cited by this paper
• On relational interfaces

  2009cited by this paper
• Compositional Verification for Component-Based Systems and Application

  2008cited by this paper
• The Algebra of Connectors—Structuring Interaction in BIP

  2008cited by this paper
• Breaking up is hard to do: An evaluation of automated assume-guarantee reasoning

  2008cited by this paper
• Multiple Viewpoint Contract-Based Specification and Design

  2008cited by this paper
• A formal model of services

  2007cited by this paper
• Interaction and Realizability

  2007cited by this paper
• Test generation games from formal specifications

  2006cited by this paper
• Modeling layered distributed communication systems

  2005cited by this paper
• INTERFACE-BASED DESIGN

  2005cited by this paper
• Recognizing safety and liveness

  2005cited by this paper
• SoftContract: an assertion-based software development process that enables design-by-contract

  2004cited by this paper
• The Spec# Programming System: An Overview

  2004cited by this paper
• Formal Techniques for Networked and Distributed Systems - FORTE 2003

  2003cited by this paper
• An overview of JML tools and applications

  2003cited by this paper
• Documenting software architectures: views and beyond

  2002cited by this paper
• Specification and Development of Interactive Systems

  2001cited by this paper
• Concurrency Verification: Introduction to Compositional and Noncompositional Methods

  2001cited by this paper
• Interface Theories for Component-Based Design

  2001cited by this paper
• On the Competeness of Compositional Reasoning

  2000cited by this paper
• Contract-based component system design

  2000cited by this paper
• Decomposing refinement proofs using assume-guarantee reasoning

  2000cited by this paper
• A Functional Rephrasing of the Assumption/Commitment Specification Style

  1998cited by this paper
• From MSCs to Statecharts

  1998cited by this paper
• An assume-guarantee rule for checking simulation

  1998cited by this paper
• Compositional Refinement of Interactive Systems Modelled by Relations

  1997cited by this paper
• Reactive Modules

  1996cited by this paper
• Composition of Assumption-Commitment Specifications in a UNITY Style

  1994cited by this paper
• A Logical View of Composition

  1993cited by this paper
• Applying 'design by contract'

  1992cited by this paper
• A Method for the Development of Totally Correct Shared-State Parallel Programs

  1991cited by this paper
• P — A logic — a compositional proof system for distributed programs

  1991cited by this paper
• 物件導向軟體之架構(Object-Oriented Software Construction)探討

  1989cited by this paper
• Some Comments on the Assumption-Commitment Framework for Compositional Verification of Distributed Programs

  1989cited by this paper
• Compositionality, Concurrency and Partial Correctness

  1989cited by this paper
• A Proof Technique for Rely/Guarantee Properties

  1985cited by this paper
• Specification and Design of (Parallel) Programs

  1983cited by this paper
• Proofs of Networks of Processes

  1981cited by this paper
• An axiomatic proof technique for parallel programs I

  1976cited by this paper
• An axiomatic basis for computer programming

  1969cited by this paper

• What Does It Take to Get Guarantees? Systematizing Assumptions in Cyber-Physical Systems

  2025cites this paper
• Specifying and Composing Layered Architectures

  2024influential citation
• Time, causality, and realizability: Engineering interactive, distributed software systems

  2024cites this paper
• Specification and verification of concurrent systems by causality and realizability

  2023cites this paper
• Refining the Safety-Liveness Classification of Temporal Properties According to Realizability

  2021cites this paper
• Towards Compositional Verification for Modular Robotic Systems

  2020cites this paper
• Seamless Model-Based System Development: Foundations - (Extended Abstract)

  2019cites this paper
• APML: An Architecture Proof Modeling Language

  2019cites this paper
• On Architecture Specification

  2018cites this paper
• The Leading Role of Software and Systems Architecture in the Age of Digitization

  2018cites this paper
• The Essence of Software Engineering

  2018cites this paper