On the Semantics of Componentware: a Coalgebraic Perspective

Luís Soares Barbosa, Sun Meng, Bernhard Aichernig, Nuno Rodrigues

Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in Buch/Bericht

Originalsprache	englisch
Titel	Mathematical Frameworks for Component Software: Models for Analysis and Synthesis
Herausgeber (Verlag)	World Scientific
Seiten	69-118
Band	2
Auflage	1
ISBN (Print)	981-270-017-X
Publikationsstatus	Veröffentlicht - 2006

Name	Series on Component-Based Software Development
Herausgeber (Verlag)	World Scientific

Formale Methoden
Lucas, P., Lorber, F. L., Jöbstl, E. & Aichernig, B.
1/01/95 → …
Projekt: Arbeitsgebiet

Dieses zitieren

On the Semantics of Componentware: a Coalgebraic Perspective. / Barbosa, Luís Soares; Meng, Sun; Aichernig, Bernhard et al.
Mathematical Frameworks for Component Software: Models for Analysis and Synthesis. Band 2 1. Aufl. World Scientific, 2006. S. 69-118 (Series on Component-Based Software Development).

Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in Buch/Bericht

@inbook{da9d3edd123649b8891a4b7655f19d68,

title = "On the Semantics of Componentware: a Coalgebraic Perspective",

author = "Barbosa, {Lu{\'i}s Soares} and Sun Meng and Bernhard Aichernig and Nuno Rodrigues",

year = "2006",

language = "English",

isbn = "981-270-017-X",

volume = "2",

series = "Series on Component-Based Software Development",

publisher = "World Scientific",

pages = "69--118",

booktitle = "Mathematical Frameworks for Component Software: Models for Analysis and Synthesis",

address = "United States",

edition = "1",

}

TY - CHAP

T1 - On the Semantics of Componentware: a Coalgebraic Perspective

AU - Barbosa, Luís Soares

AU - Meng, Sun

AU - Aichernig, Bernhard

AU - Rodrigues, Nuno

PY - 2006

Y1 - 2006

M3 - Chapter

SN - 981-270-017-X

VL - 2

T3 - Series on Component-Based Software Development

SP - 69

EP - 118

BT - Mathematical Frameworks for Component Software: Models for Analysis and Synthesis

PB - World Scientific

ER -