CrocoPat 2.1 Introduction and Reference Manual
编程语言
2007-05-23 v1 离散数学
数据结构与算法
软件工程
摘要
CrocoPat is an efficient, powerful and easy-to-use tool for manipulating relations of arbitrary arity, including directed graphs. This manual provides an introduction to and a reference for CrocoPat and its programming language RML. It includes several application examples, in particular from the analysis of structural models of software systems.
引用
@article{arxiv.cs/0409009,
title = {CrocoPat 2.1 Introduction and Reference Manual},
author = {Dirk Beyer and Andreas Noack},
journal= {arXiv preprint arXiv:cs/0409009},
year = {2007}
}
备注
19 pages + cover, 2 eps figures, uses llncs.cls and cs_techrpt_cover.sty, for downloading the source code, binaries, and RML examples, see http://www.software-systemtechnik.de/CrocoPat/