Preface

José Fiadeiro, Peter Mosses, Fernando Orejas

Research output: Chapter in Book/Report/Conference proceedingConference 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 languageEnglish
Title of host publicationRecent Trends in Algebraic Development Techniques
Subtitle of host publication17th International Workshop, WADT 2004, Barcelona, Spain, March 27-29, 2004. Revised Selected Papers
EditorsJ. L. Fiadeiro, P. D. Mosses, F. Orejas
PublisherSpringer Verlag
PagesV-VI
Number of pages2
ISBN (Electronic)9783540319597
ISBN (Print)9783540253273
DOIs
Publication statusPublished - 2005
Event17th International Workshop, WADT 2004 - Barcelona, Spain
Duration: 27 Mar 200429 Mar 2004

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Verlag
Volume3423
ISSN (Print)0302-9743

Conference

Conference17th International Workshop, WADT 2004
CountrySpain
CityBarcelona
Period27/03/0429/03/04

Fingerprint Dive into the research topics of 'Preface'. Together they form a unique fingerprint.

Cite this