ASIOS: A Tool for the Interactive Transformation of Algebraic Specifications Into Object-oriented Specifications.

TitleASIOS: A Tool for the Interactive Transformation of Algebraic Specifications Into Object-oriented Specifications.
Publication TypeJournal Article
Year of Publication2007
AuthorsDö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}
}