A contract-based approach to adaptivity
type: Item
instance of: scholarly article
title: A contract-based approach to adaptivity
zbMATH Open document ID: 1213.68208
author: Andreas Schroeder
author: Sebastian S. Bauer
author: Martin Wirsing
published in: The Journal of Logic and Algebraic Programming
publication date: 2011-06-07T00:00:00Z
Mathematics Subject Classification ID: 68N30
Mathematics Subject Classification ID: 03B44
Mathematics Subject Classification ID: 68T05
zbMATH DE Number: 5904560
zbMATH Keywords: component-based software engineering
zbMATH Keywords: reconfiguration
zbMATH Keywords: assume-guarantee contracts
zbMATH Keywords: real-time temporal logic
zbMATH Keywords: pervasive computing
MaRDI profile type: Publication
full work available at URL: j.jlap.2010.09.001
OpenAlex ID: W1988066482
cites work: A theory of timed automata
cites work: The benefits of relaxing punctuality
cites work: Real-time logics: Complexity and expressiveness
cites work: A really temporal logic
cites work: Multiple Viewpoint Contract-Based Specification and Design
cites work: A calculus of open modules: call-by-need strategy and confluence
cites work: Q4723289
cites work: Proofs of Networks of Processes
cites work: Axioms for real-time logics
DOI: 10.1016/J.JLAP.2010.09.001
description: scientific article; zbMATH DE number 5904560