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} }