First refinement Sample Clauses

First refinement. Refinement_Plan_Requirement_1 : A relation (Train_occupancy) defines the cells occupied by each train. Refinement_Plan_Requirement_2 : A train may Appear/dissapear from Train_occupancy only if the train is located on the garage zone. Refinement_Plan_Requirement_3 : A train can change its location (by modifying Train_occupancy). Refinement_Plan_Requirement_4 : no collision: Two different trains cannot occupy the same cells at the same time.
View Source
First refinement. Two requirements describe how to model the train occupancy on the track, and how to define the "no collision" (also called safe train separation in the SRS) requirement: These two requirements are modelized as invariants:
View Source

Related to First refinement

  • Fabrication Making up data or results and recording or reporting them.

  • Access Toll Connecting Trunk Group Architecture 9.2.1 If WCS chooses to subtend a Verizon access Tandem, WCS’s NPA/NXX must be assigned by WCS to subtend the same Verizon access Tandem that a Verizon NPA/NXX serving the same Rate Center Area subtends as identified in the LERG. 9.2.2 WCS shall establish Access Toll Connecting Trunks pursuant to applicable access Tariffs by which it will provide Switched Exchange Access Services to Interexchange Carriers to enable such Interexchange Carriers to originate and terminate traffic to and from WCS’s Customers. 9.2.3 The Access Toll Connecting Trunks shall be two-way trunks. Such trunks shall connect the End Office WCS utilizes to provide Telephone Exchange Service and Switched Exchange Access to its Customers in a given LATA to the access Tandem(s) Verizon utilizes to provide Exchange Access in such LATA. 9.2.4 Access Toll Connecting Trunks shall be used solely for the transmission and routing of Exchange Access to allow WCS’s Customers to connect to or be connected to the interexchange trunks of any Interexchange Carrier which is connected to a Verizon access Tandem.

  • Dark Fiber Transport Dark Fiber Transport is defined as Dedicated Transport that consists of unactivated optical interoffice transmission facilities without attached signal regeneration, multiplexing, aggregation or other electronics. Except as set forth in Section 6.9.1 below, BellSouth shall not be required to provide access to Dark Fiber Transport Entrance Facilities pursuant to this Agreement.

  • Summer Session A. All ASEs employed in the Summer Session shall receive the same general range adjustment as ASEs received in the preceding Fall term. B. The following articles apply to ASEs who are employed in the summer session: Recognition, Wages (range adjustment only), DCP, Travel, Health and Safety, Leaves, Holidays, Duration, Workspace and Instructional Support, Parking, Grievance and Arbitration, Waiver, Management and Academic Rights, No Strikes, Non-Discrimination, Union Access and Rights, Union Security, Discipline and Dismissal, Emergency Layoff, Employment Files and Evaluations, Definitions, Severability, Labor-Management Meetings, and Classifications. C. The remainder of the articles in the agreement does not apply to ASEs who are employed in the summer session. D. The topic of Summer Session, and effects of changes on terms and conditions of employment for ASEs employed in Summer Session, shall be reopened for bargaining commencing no later than January 2, 2001.

  • Business Combination Marketing Agreement The Company and the Representative have entered into a separate business combination marketing agreement substantially in the form filed as an exhibit to the Registration Statement (the “Business Combination Marketing Agreement”).