A Simple Refinement Language for Casl

Till Mossakowski, Donald Sannella, Andrzej Tarlecki

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

Publication series

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

Fingerprint

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

Cite this