FB 3

AG BKB > Publikationen > Suche >

Deutsch
English

Suche nach Veröffentlichungen - Detailansicht

Art der Veröffentlichung:	Artikel in Sammlung
Autor:	T. Mossakowski, D. Sannella, A. Tarlecki
Herausgeber:	Jose Luiz Fiadeiro
Titel:	A simple refinement language for CASL
Buch / Sammlungs-Titel:	WADT 2004
Band:	3423
Seite(n):	162 – 185
Serie / Reihe:	Lecture Notes in Computer Science
Erscheinungsjahr:	2005
Verleger:	Springer, Berlin
Abstract / Kurzbeschreibung:	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
Letzte Aktualisierung:	31. 01. 2006

Zurück zum Suchergebnis

Autor: Automatisch generierte Seite

AG BKB

Zuletzt geändert am: 9. Mai 2023