Towards an assume-guarantee theory for adaptable systems

Inverardi, Paola; Pelliccione, Patrizio; Tivoli, Massimo

doi:10.1109/SEAMS.2009.5069079

Record: found
Abstract: not found
Conference Proceedings: not found

Towards an assume-guarantee theory for adaptable systems

proceedings-article

Author(s): Paola Inverardi , Patrizio Pelliccione , Massimo Tivoli

Publication date (Print): May 2009

Publisher: IEEE

Conference name: 2009 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)

Conference date: June 18, 2009 - June 19, 2009

Read this article at

ScienceOpenPublisher

Bookmark

There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Author and article information

Conference

Publisher: IEEE

Publication date: May 2009

Publication date (Print): May 2009

Pages: 106-115

Article

DOI: 10.1109/SEAMS.2009.5069079

SO-VID: 5305d75a-7b37-4d05-81a4-c7310512bd71

Conference name: 2009 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems (SEAMS)

Conference location: Vancouver, BC, Canada

Conference date: June 18, 2009 - June 19, 2009

History

Data availability:

Towards an assume-guarantee theory for adaptable systems

Read this article at

Related collections

Socioecological systems

Author and article information

Conference

Article

History

Comments

Comment on this article

Similar content 5,026

Cited by 2