Analysis and Correctness of Algebraic Graph and Model Transformations

Graph and model transformations play a central role for visual modeling and model-driven software development. Within the last decade, a mathematical theory of algebraic graph and model transformations has been developed for modeling, analysis, and to show the correctness of transformations. Ulrike...

Mô tả đầy đủ

Chi tiết về thư mục

Xuất bản năm:	Springer eBooks.
Tác giả chính:	Golas, Ulrike (Tác giả)
Tác giả của công ty:	SpringerLink (Online service)
Định dạng:	Electronic Resource
Ngôn ngữ:	English
Được phát hành:	Wiesbaden Vieweg+Teubner 2011.
Những chủ đề:	Computer science. Computer Science, general. Electronic books.
Truy cập trực tuyến:	Available for University of the Philippines Diliman via SpringerLink. Click here to access