Proceedings : shortening the path from specification to prototype (IEEE Computer Society, 1995)