COMS W3156: Software Engineering, Fall 2001 Lecture #9: Classical specification, service discovery Janak J Parekh [email protected].