FB 3

Group BKB > Publications > Search >

Deutsch
English

Publications Search - Details

Publication type:	Article in Collection
Author:	T. Mossakowski, D. Sannella, A. Tarlecki
Editor:	Jose Luiz Fiadeiro
Title:	A simple refinement language for CASL
Book / Collection title:	WADT 2004
Volume:	3423
Page(s):	162 – 185
Series:	Lecture Notes in Computer Science
Year published:	2005
Publisher:	Springer, Berlin
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.
ISBN:	3-540-25327-0
Internet:	http://www.springerlink.com/(bt4qw245oavupgzdxw3zpuul)/app/home/contribution.asp?referrer=parent&backto=searchcitationsresults,2,3;
PDF Version:	http://www.informatik.uni-bremen.de/~till/papers/CASLrefinement.pdf
PostScript Version:	http://www.informatik.uni-bremen.de/~till/papers/CASLrefinement.ps
Status:	Reviewed
Last updated:	31. 01. 2006

Back to result list

Author: Automatically generated page

Group BKB

Last updated: May 9, 2023