An algebraic approach for codesign

Marc Aiguier; Stefan Béroff; Pierre Yves Schobbens

doi:10.1007/978-3-540-31862-0_30

An algebraic approach for codesign

Marc Aiguier, Stefan Béroff, Pierre Yves Schobbens

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

Résumé

This paper gives an answer to Cospecification. Our contribution to cospecification is twofold: allowing both to abstractly specify systems without a priori on partitioning step, and achieve a posteriori partial correctness proofs of C programs (software parts) and VHDL programs (hardware parts) with respect to specifications.

langue originale	Anglais
titre	Theoretical Aspects of Computing - ICTAC 2004
Sous-titre	First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers
rédacteurs en chef	Zhiming Liu, Keijiro Araki
Editeur	Springer
Pages	415-430
Nombre de pages	16
ISBN (Electronique)	978-3-540-31862-0
ISBN (imprimé)	978-3-540-25304-4
Les DOIs	https://doi.org/10.1007/978-3-540-31862-0_30
Etat de la publication	Publié - 19 sept. 2005
Evénement	First International Colloquium on Theoretical Aspects of Computing - ICTAC 2004 - Guiyang, Chine Durée: 20 sept. 2004 → 24 sept. 2004

Série de publications

Nom	Lecture Notes in Computer Science
Editeur	Springer Verlag
ISSN (imprimé)	0302-9743
ISSN (Electronique)	1611-3349

Une conférence

Une conférence	First International Colloquium on Theoretical Aspects of Computing - ICTAC 2004
Pays/Territoire	Chine
La ville	Guiyang
période	20/09/04 → 24/09/04

Accès au document

10.1007/978-3-540-31862-0_30

Autres fichiers et liens

Link to publication in Scopus

Contient cette citation

@inproceedings{b7533126fdc54f76a94c9444631280a3,

title = "An algebraic approach for codesign",

abstract = "This paper gives an answer to Cospecification. Our contribution to cospecification is twofold: allowing both to abstractly specify systems without a priori on partitioning step, and achieve a posteriori partial correctness proofs of C programs (software parts) and VHDL programs (hardware parts) with respect to specifications.",

author = "Marc Aiguier and Stefan B{\'e}roff and Schobbens, {Pierre Yves}",

year = "2005",

month = sep,

day = "19",

doi = "10.1007/978-3-540-31862-0_30",

language = "English",

isbn = "978-3-540-25304-4",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "415--430",

editor = "Zhiming Liu and Keijiro Araki",

booktitle = "Theoretical Aspects of Computing - ICTAC 2004",

note = "First International Colloquium on Theoretical Aspects of Computing - ICTAC 2004 ; Conference date: 20-09-2004 Through 24-09-2004",

}

Aiguier, M, Béroff, S & Schobbens, PY 2005, An algebraic approach for codesign. Dans Z Liu & K Araki (eds), Theoretical Aspects of Computing - ICTAC 2004 : First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers. Lecture Notes in Computer Science, Springer, p. 415-430, First International Colloquium on Theoretical Aspects of Computing - ICTAC 2004, Guiyang, Chine, 20/09/04. https://doi.org/10.1007/978-3-540-31862-0_30

An algebraic approach for codesign. / Aiguier, Marc; Béroff, Stefan; Schobbens, Pierre Yves.
Theoretical Aspects of Computing - ICTAC 2004 : First International Colloquium Guiyand, China, September 20-24, 2004, Revised Selected Papers. Ed. / Zhiming Liu; Keijiro Araki. Springer, 2005. p. 415-430 (Lecture Notes in Computer Science).

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférence › Article dans les actes d'une conférence/un colloque

TY - GEN

T1 - An algebraic approach for codesign

AU - Aiguier, Marc

AU - Béroff, Stefan

AU - Schobbens, Pierre Yves

PY - 2005/9/19

Y1 - 2005/9/19

N2 - This paper gives an answer to Cospecification. Our contribution to cospecification is twofold: allowing both to abstractly specify systems without a priori on partitioning step, and achieve a posteriori partial correctness proofs of C programs (software parts) and VHDL programs (hardware parts) with respect to specifications.

AB - This paper gives an answer to Cospecification. Our contribution to cospecification is twofold: allowing both to abstractly specify systems without a priori on partitioning step, and achieve a posteriori partial correctness proofs of C programs (software parts) and VHDL programs (hardware parts) with respect to specifications.

UR - http://www.scopus.com/inward/record.url?scp=24644490767&partnerID=8YFLogxK

U2 - 10.1007/978-3-540-31862-0_30

DO - 10.1007/978-3-540-31862-0_30

M3 - Conference contribution

AN - SCOPUS:24644490767

SN - 978-3-540-25304-4

T3 - Lecture Notes in Computer Science

SP - 415

EP - 430

BT - Theoretical Aspects of Computing - ICTAC 2004

A2 - Liu, Zhiming

A2 - Araki, Keijiro

PB - Springer

T2 - First International Colloquium on Theoretical Aspects of Computing - ICTAC 2004

Y2 - 20 September 2004 through 24 September 2004

ER -

An algebraic approach for codesign

Résumé

Série de publications

Une conférence

Accès au document

Autres fichiers et liens

Empreinte digitale

Contient cette citation