ASIOS: A Tool for the Interactive Transformation of Algebraic Specifications Into Object-oriented Specifications.
| Title | ASIOS: A Tool for the Interactive Transformation of Algebraic Specifications Into Object-oriented Specifications. |
| Publication Type | Journal Article |
| Year of Publication | 2007 |
| Authors | Dölle, B |
Bibtex:
@article {536,
title = {ASIOS: A Tool for the Interactive Transformation of Algebraic Specifications Into Object-oriented Specifications.},
year = {2007},
note = {Proceedings of the 2007 IEEE International Conference on Electro/Information Technology (EIT 2007). Chicago, Illinois, May 17-20, 2007. Los Alamitos, CA: IEEE Computer Society 2007, 248-253 [ISBN 1-4244-0931-1]},
author = {B. D{\"o}lle}
}