Horizontal refinements Clause Samples

Horizontal refinements. Some systems are too large and complex to have their formal modelling (the abstract model) done in just one step, and must have it done in successive steps. That is where enters the idea of horizontal refinements (or superposition). The idea consists in starting with an abstract model that only considers part of the requirements, and introducing new requirements through successive refinements, adding new variables, strengthening pre-conditions, adding invariants, actions or operations. 110 ▇▇▇▇▇▇ ▇ ▇▇▇▇▇ ▇▇ The person doing the modelling process has to explore the requirements docu- ment (in the methodology presented in this paper, the WRSPM model) and gradually take from it the elements to be formalized, taking care to correctly define the archi- tecture that supports the incremental addition of information and to define a good order to add this requirements, so abstraction disparities are not faced (like a very concrete requirement being added in a highly abstract level). Another issue is to guarantee completeness with the previous model (WRSPM): the horizontal refine- ments process must last until all the requirements and definitions have been taken into account, and only when this is complete, can the designer start the process of vertical refinements, pushing the model into more concrete levels through design decisions until a level concrete enough to generate code is reached.
View Source

Related to Horizontal refinements

  • Underground Facilities All underground pipelines, conduits, ducts, cables, wires, manholes, vaults, tanks, tunnels, or other such facilities or attachments, and any encasements containing such facilities, including without limitation those that convey electricity, gases, steam, liquid petroleum products, telephone or other communications, cable television, water, wastewater, storm water, other liquids or chemicals, or traffic or other control systems.

  • Underground Storage Tanks In accordance with the requirements of Section 3(g) of the D.C. Underground Storage Tank Management Act of 1990, as amended by the District of Columbia Underground Storage Tank Management Act of 1990 Amendment Act of 1992 (D.C. Code § 8-113.01, et seq.) (collectively, the “UST Act”) and the applicable D.C. Underground Storage Tank Regulations, 20 DCMR Chapter 56 (the “UST Regulations”), District hereby informs the Developer that it has no knowledge of the existence or removal during its ownership of the Property of any “underground storage tanks” (as defined in the UST Act). Information pertaining to underground storage tanks and underground storage tank removals of which the D.C. Government has received notification is on file with the District Department of the Environment, Underground Storage Tank Branch, ▇▇ ▇ ▇▇▇▇▇▇, ▇.▇., ▇▇▇▇▇ ▇▇▇▇▇, ▇▇▇▇▇▇▇▇▇▇, ▇.▇., ▇▇▇▇▇, telephone (▇▇▇) ▇▇▇-▇▇▇▇. District’s knowledge for purposes of this Section shall mean and be limited to the actual knowledge of ▇▇▇▇▇▇ ▇▇▇▇▇, Property Acquisition and Disposition Division of the Department of Housing and Community Development, telephone no. (▇▇▇) ▇▇▇-▇▇▇▇. The foregoing is set forth pursuant to requirements contained in the UST Act and UST Regulations and does not constitute a representation or warranty by District.

  • Pipelines Developer shall have no interest in the pipeline gathering system, which gathering system shall remain the sole property of Operator or its Affiliates and shall be maintained at their sole cost and expense.

  • UNDERGROUND LOCATIONS Prior to the Company commencing any work the Customer must advise the Company of the precise location of all underground services on the site and clearly ▇▇▇▇ the location. The underground mains and services the Customer must identify include, but are not limited to, telephone cables, fibre optic cables, electrical services, gas services, sewer services, pumping services, sewer connections, sewer sludge mains, water mains, irrigations pipes, oil pumping mains and any other services that may be on site. Whilst the Company will take all care to avoid damage to any underground services the Customer agrees to indemnify the Company in respect of all any liability claims, loss, damage, cost and fines as a result of damage to services not precisely located and notified pursuant to this clause.

  • Underground Tanks If underground or other storage tanks storing Hazardous Materials located on the Premises or the Project are used by Tenant or are hereafter placed on the Premises or the Project by Tenant, Tenant shall install, use, monitor, operate, maintain, upgrade and manage such storage tanks, maintain appropriate records, obtain and maintain appropriate insurance, implement reporting procedures, properly close any underground storage tanks, and take or cause to be taken all other actions necessary or required under applicable state and federal Legal Requirements, as such now exists or may hereafter be adopted or amended in connection with the installation, use, maintenance, management, operation, upgrading and closure of such storage tanks.