A Simple Refinement Language for Casl

Till Mossakowski, Donald Sannella, Andrzej Tarlecki

Research output: Chapter in Book/Report/Conference proceedingConference contribution


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
PublisherSpringer Berlin Heidelberg
Number of pages24
Publication statusPublished - 2004

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Berlin Heidelberg
ISSN (Print)0302-9743


Dive into the research topics of 'A Simple Refinement Language for Casl'. Together they form a unique fingerprint.

Cite this