Specification by refinement and agreement: Designing agent interactions using landmarks and contracts

H. Weigand; V. Dignum; J.J.C. Meyer; F. Dignum

Specification by refinement and agreement: Designing agent interactions using landmarks and contracts

H. Weigand, V. Dignum, J.J.C. Meyer, F. Dignum

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Scientific › peer-review

Original language	English
Title of host publication	Engineering Societies in the Agents World III
Subtitle of host publication	Third International Workshop (ESAW 2002)
Editors	P. Petta, R. Tolksdorf, F. Zambonelli
Place of Publication	Berlin
Publisher	Springer Verlag
Pages	257-269
ISBN (Print)	3540140093
Publication status	Published - 2003

Publication series

Name	LNCS
Number	2577

Cite this

Weigand, H., Dignum, V., Meyer, J. J. C., & Dignum, F. (2003). Specification by refinement and agreement: Designing agent interactions using landmarks and contracts. In P. Petta, R. Tolksdorf, & F. Zambonelli (Eds.), Engineering Societies in the Agents World III: Third International Workshop (ESAW 2002) (pp. 257-269). (LNCS; No. 2577). Springer Verlag.

@inbook{5bfc8246325a433dbb30d3dcd6e3b531,

title = "Specification by refinement and agreement: Designing agent interactions using landmarks and contracts",

author = "H. Weigand and V. Dignum and J.J.C. Meyer and F. Dignum",

year = "2003",

language = "English",

isbn = "3540140093",

series = "LNCS",

publisher = "Springer Verlag",

number = "2577",

pages = "257--269",

editor = "P. Petta and R. Tolksdorf and F. Zambonelli",

booktitle = "Engineering Societies in the Agents World III",

address = "Germany",

}

Specification by refinement and agreement : Designing agent interactions using landmarks and contracts. / Weigand, H.; Dignum, V.; Meyer, J.J.C.; Dignum, F.

Engineering Societies in the Agents World III: Third International Workshop (ESAW 2002). ed. / P. Petta; R. Tolksdorf; F. Zambonelli. Berlin : Springer Verlag, 2003. p. 257-269 (LNCS; No. 2577).

Research output: Chapter in Book/Report/Conference proceeding › Chapter › Scientific › peer-review

TY - CHAP

T1 - Specification by refinement and agreement

T2 - Designing agent interactions using landmarks and contracts

AU - Weigand, H.

AU - Dignum, V.

AU - Meyer, J.J.C.

AU - Dignum, F.

PY - 2003

Y1 - 2003

M3 - Chapter

SN - 3540140093

T3 - LNCS

SP - 257

EP - 269

BT - Engineering Societies in the Agents World III

A2 - Petta, P.

A2 - Tolksdorf, R.

A2 - Zambonelli, F.

PB - Springer Verlag

CY - Berlin

ER -