Universität Bremen  
  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   impressum