This book introduces SpecDB, an intelligent database created to represent and host software speci...