NICE TO SEE YOU BACK - DTU Informatics

2. Domain Entities 2.3. Parts2.3.3. Shared Attributes and Properties2.3.3.1. Attribute Naming:111• We think of the bus time table of a bus– to be that subset of thebus management system bus time table– which corresponds to the bus’ line number.• By saying that bus time tables– “corresponds” to well-defined subsets of– the bus management system bus time tablewe mean the following– The value of the bus bus time table– must at every time– be equal to the corresponding bus line entry in thebus management system bus time table.A Precursor for Requirements Engineering 111 c○ Dines Bjørner 2012, DTU Informatics, Techn.Univ.of Denmark – July 20, 2012: 12:33