Preface

José Fiadeiro; Peter Mosses; Fernando Orejas

doi:10.1007/b107129

Preface

José Fiadeiro
, Peter Mosses
, Fernando Orejas

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract

We extend Casl architectural specifications with a simple refinement language that allows the formalization of developments as refinement trees. The essence of the extension is to allow refinements of unit specifications in Casl architectural specifications.

Original language	English
Title of host publication	Recent Trends in Algebraic Development Techniques
Subtitle of host publication	17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004. Revised Selected Papers
Editors	J. L. Fiadeiro, P. D. Mosses, F. Orejas
Publisher	Springer Verlag
Pages	V-VI
Number of pages	2
ISBN (Electronic)	9783540319597
ISBN (Print)	9783540253273
DOIs	https://doi.org/10.1007/b107129
Publication status	Published - 2005
Event	17th International Workshop, WADT 2004 - Barcelona, Spain Duration: 27 Mar 2004 → 29 Mar 2004

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer Verlag
Volume	3423
ISSN (Print)	0302-9743

Conference

Conference	17th International Workshop, WADT 2004
Country/Territory	Spain
City	Barcelona
Period	27/03/04 → 29/03/04

ASJC Scopus subject areas

Theoretical Computer Science
General Computer Science

Access to Document

10.1007/b107129

Cite this

@inproceedings{2a69e8a359fb4909a1e40145c70d9bbf,

title = "Preface",

abstract = "We extend Casl architectural specifications with a simple refinement language that allows the formalization of developments as refinement trees. The essence of the extension is to allow refinements of unit specifications in Casl architectural specifications.",

author = "Jos{\'e} Fiadeiro and Peter Mosses and Fernando Orejas",

year = "2005",

doi = "10.1007/b107129",

language = "English",

isbn = "9783540253273",

series = "Lecture Notes in Computer Science",

publisher = "Springer Verlag",

pages = "V--VI",

editor = "Fiadeiro, \{J. L.\} and Mosses, \{P. D.\} and F. Orejas",

booktitle = "Recent Trends in Algebraic Development Techniques",

address = "Germany",

note = "17th International Workshop, WADT 2004 ; Conference date: 27-03-2004 Through 29-03-2004",

}

Fiadeiro, J, Mosses, P & Orejas, F 2005, Preface. in JL Fiadeiro, PD Mosses & F Orejas (eds), Recent Trends in Algebraic Development Techniques: 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004. Revised Selected Papers. Lecture Notes in Computer Science, vol. 3423, Springer Verlag, pp. V-VI, 17th International Workshop, WADT 2004, Barcelona, Spain, 27/03/04. https://doi.org/10.1007/b107129

Preface. / Fiadeiro, José; Mosses, Peter; Orejas, Fernando.
Recent Trends in Algebraic Development Techniques: 17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004. Revised Selected Papers. ed. / J. L. Fiadeiro; P. D. Mosses; F. Orejas. Springer Verlag, 2005. p. V-VI (Lecture Notes in Computer Science; Vol. 3423).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Preface

AU - Fiadeiro, José

AU - Mosses, Peter

AU - Orejas, Fernando

PY - 2005

Y1 - 2005

N2 - We extend Casl architectural specifications with a simple refinement language that allows the formalization of developments as refinement trees. The essence of the extension is to allow refinements of unit specifications in Casl architectural specifications.

AB - We extend Casl architectural specifications with a simple refinement language that allows the formalization of developments as refinement trees. The essence of the extension is to allow refinements of unit specifications in Casl architectural specifications.

UR - https://www.scopus.com/pages/publications/24344502323

U2 - 10.1007/b107129

DO - 10.1007/b107129

M3 - Conference contribution

SN - 9783540253273

T3 - Lecture Notes in Computer Science

SP - V-VI

BT - Recent Trends in Algebraic Development Techniques

A2 - Fiadeiro, J. L.

A2 - Mosses, P. D.

A2 - Orejas, F.

PB - Springer Verlag

T2 - 17th International Workshop, WADT 2004

Y2 - 27 March 2004 through 29 March 2004

ER -

Preface

Abstract

Publication series

Conference

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this