Towards Contract Extension Sample Clauses

Towards Contract Extension. By using COW, we can verify whether a change of pro- gram behavior is correct. However, we think that the ver- ification facility of COW is not necessarily enough to ver- ify the correctness of weaving completely. For instance, although COW is designed to describe a change of pro- gram behavior during weaving, if a developer needs to ver- ify whether a change of program structure during intertype weaving in AspectJ satisfies the intension of the developer, this verification cannot be realized. In addition, the primi- tive predicates shown in Table 1 are not necessarily enough to describe program behavior in every case. To tackle this problem, it is useful to extend the veri- fication facility of COW. We believe that this is possible by extending the primitive predicate set of COW. For in- stance, if COW provides primitive predicates for describing program structure, we think that a developer can verify a change of program structure during intertype weaving. The COW contract verifier that we present in this paper provides a mechanism that enables a developer to extend the primi- tive predicate set in the verifier; we next show that extension mechanism.
Sample 1
AutoNDA by SimpleDocs

Related to Towards Contract Extension

  • Contract Extension The City may, in its sole discretion, unilaterally exercise an option to extend the Contract as described in the Contract Documents. In addition, the City may, in its sole discretion, unilaterally extend the Contract on a month-to-month basis following contract expiration if authorized under Charter section 99 and the Contract Documents. Contractor shall not increase its pricing in excess of the percentage increase described in the Contract.

  • Contract Extensions This Contract may be extended on an annual basis beyond the Initial Term if the Local Board successfully meets the terms of the Contract for at least three or more years as determined by the State Board.

  • Term of Contract; Contract Extension The Contract will be in effect from the Effective Date (15 December 2016) through 31 December 2018. DAS, in its sole discretion, may extend this Contract for additional terms beyond the original term, prior to Termination or expiration, one or more times for a combined total period not to exceed the complete length of the original term.

  • Time Limit Extension The above mentioned time limits may be extended in individual cases, by the written consent of both Parties to this Agreement.

  • Construction Phase Payments 10.3.1 Payments for Construction Phase Services shall be made as provided for in the UGSC and Owner’s Specifications. All payment requests shall be submitted through e- Builder® with a Schedule of Values and include all required attachments. Payment for approved Change Orders shall be made as part of Contractor’s Application for Payment. Failure to submit a Prime Contractor Progress Assessment Report form with each Application for Payment will cause rejection of the application by Owner and its return to Contractor.

  • C4 Contract Price During Extension of the Initial Contract Period C4.1 Subject to the Pricing Schedule and the provision in clause F6 (Variation), the Contract Price shall apply for the Initial Contract Period and following an extension pursuant to clause F8 (Extension of Initial Contract Period), to the date of expiry of the extended period, or such earlier date of termination or partial termination of the agreement in accordance with the Law or the provisions of the Contract. C5 Euro

  • Listing Period Extension The Commission shall be due if the Property is sold, conveyed, exchanged, optioned, or otherwise transferred within _ _ days (“Extension Period”) after the expiration of the Listing Period to anyone with whom the Broker or Agency has negotiated unless the Property is listed, in good faith, with another real estate agency. The term “negotiation” shall include providing information about the Property, showing the Property, or presenting an offer on the Property. All rights under this Section shall terminate upon the expiration of the Extension Period.

  • Construction Phase Fee Contractor’s Construction Phase Fee is the maximum amount payable to Contractor for any cost or profit expectation incurred in the performance of the Work that is not specifically identified as being eligible for reimbursement by Owner elsewhere in this Agreement. References in the UGSC to Contractor’s “overhead” and “profit” mean Contractor’s Construction Phase Fee. The Construction Phase Fee includes, but is not limited to, the following items:

  • Facility Maintenance Seller shall perform, or cause to be performed, all scheduled and unscheduled maintenance required on the Facilities in order to meet the Warranty Specifications and Performance Standards. In that regard, Seller’s responsibilities hereunder shall include, without limitation, promptly correcting any Bloom System or BOF malfunctions, either by (i) recalibrating or resetting the malfunctioning Bloom System or BOF, or (ii) subject to Section 5.7(b), repairing or replacing Bloom System or BOF components which are defective, damaged, worn or otherwise in need of repair or replacement.

  • Payment Does Not Imply Acceptance of Work The granting of any payment by City, or the receipt thereof by Contractor, shall in no way lessen the liability of Contractor to replace unsatisfactory work, equipment, or materials, although the unsatisfactory character of such work, equipment or materials may not have been apparent or detected at the time such payment was made. Materials, equipment, components, or workmanship that do not conform to the requirements of this Agreement may be rejected by City and in such case must be replaced by Contractor without delay.

Time is Money Join Law Insider Premium to draft better contracts faster.