@inproceedings{89966f7704004f37888947a0717f9fdd,
title = "Storing and retrieving software components: a refinement based system",
abstract = "Software reuse poses a number of challenges, ranging from managerial to technical -- not least of these is the problem of storing and retrieving software components in a time efficient manner. This paper presents the design and implementation of an automated software repository, where software components can be automatically stored and retrieved. this repository is based on a formal representation of programs and their specifications, as well as a refinement ordering of these specifications.",
author = "A. Mili and R. Mili",
year = "1994",
language = "English (US)",
isbn = "081865855X",
series = "Proceedings - International Conference on Software Engineering",
publisher = "Publ by IEEE",
pages = "91--100",
booktitle = "Proceedings - International Conference on Software Engineering",
note = "Proceedings of the 16th International Conference on Software Engineering ; Conference date: 16-05-1994 Through 21-05-1994",
}