Planned use of Problem Frames in WP1 Sample Clauses

Planned use of Problem Frames in WP1. Up to now we have successfully applied problem frames to model the require- ments of the cruise control system at different abstraction levels. Details of the application can be found in the internal project report on our require- ments engineering methodology. We are currently investigating ways of mapping a hierarchy of problem frame diagrams to a hierarchy of Event-B models. First results of experiments on providing a concrete mapping of problem frame elements to Event-B el- ements are very promising. We successfully modelled a part of the signal evaluation of the cruise control system in Event-B. Interestingly, the hierar- chy defined in the problem diagrams could be directly mapped into a hier- archy of contexts and machines in Event-B. Furthermore, it was relatively straightforward to model requirements using events in Event-B. We plan to investigate further and solve the problem of linking problem frames and Event-B.
AutoNDA by SimpleDocs

Related to Planned use of Problem Frames in WP1

  • Proposed Policies and Procedures Regarding New Online Content and Functionality By October 31, 2017, the School will submit to OCR for its review and approval proposed policies and procedures (“the Plan for New Content”) to ensure that all new, newly-added, or modified online content and functionality will be accessible to people with disabilities as measured by conformance to the Benchmarks for Measuring Accessibility set forth above, except where doing so would impose a fundamental alteration or undue burden. a) When fundamental alteration or undue burden defenses apply, the Plan for New Content will require the School to provide equally effective alternative access. The Plan for New Content will require the School, in providing equally effective alternate access, to take any actions that do not result in a fundamental alteration or undue financial and administrative burdens, but nevertheless ensure that, to the maximum extent possible, individuals with disabilities receive the same benefits or services as their nondisabled peers. To provide equally effective alternate access, alternates are not required to produce the identical result or level of achievement for persons with and without disabilities, but must afford persons with disabilities equal opportunity to obtain the same result, to gain the same benefit, or to reach the same level of achievement, in the most integrated setting appropriate to the person’s needs. b) The Plan for New Content must include sufficient quality assurance procedures, backed by adequate personnel and financial resources, for full implementation. This provision also applies to the School’s online content and functionality developed by, maintained by, or offered through a third-party vendor or by using open sources. c) Within thirty (30) days of receiving OCR’s approval of the Plan for New Content, the School will officially adopt, and fully implement the amended policies and procedures.

  • Contracts Concerning Use of Project The Recipient agrees that during the Agreement Term it will not contract with any Private Person for use of the Project or any portion thereof or the facility or facilities of which the Project is a part for any Private Business Use unless all of the conditions of subparagraph F.3.a., subparagraph F.3.b. or subparagraph F.3.c. are met: a. If the compensation of the Private Person is based entirely on a periodic, fixed fee that contains no incentive adjustments, all of the following conditions must be met: (A) no amount of compensation is based on a share of the net profits; (B) the compensation is reasonable; (C) the term of the contract does not exceed five (5) years (including any renewal option periods provided for in the contract);

  • System Upgrade Facilities and System Deliverability Upgrades Connecting Transmission Owner shall design, procure, construct, install, and own the System Upgrade Facilities and System Deliverability Upgrades described in Appendix A hereto. The responsibility of the Developer for costs related to System Upgrade Facilities and System Deliverability Upgrades shall be determined in accordance with the provisions of Attachment S to the NYISO OATT.

  • Public Posting of Approved Users’ Research Use Statement The PI agrees that information about themselves and the approved research use will be posted publicly on the dbGaP website. The information includes the PI’s name and Requester, project name, Research Use Statement, and a Non-Technical Summary of the Research Use Statement. In addition, and if applicable, this information may include the Cloud Computing Use Statement and name of the CSP or PCS. Citations of publications resulting from the use of controlled-access datasets obtained through this DAR may also be posted on the dbGaP website.

  • SERVICE MONITORING, ANALYSES AND ORACLE SOFTWARE 11.1 We continuously monitor the Services to facilitate Oracle’s operation of the Services; to help resolve Your service requests; to detect and address threats to the functionality, security, integrity, and availability of the Services as well as any content, data, or applications in the Services; and to detect and address illegal acts or violations of the Acceptable Use Policy. Oracle monitoring tools do not collect or store any of Your Content residing in the Services, except as needed for such purposes. Oracle does not monitor, and does not address issues with, non-Oracle software provided by You or any of Your Users that is stored in, or run on or through, the Services. Information collected by Oracle monitoring tools (excluding Your Content) may also be used to assist in managing Oracle’s product and service portfolio, to help Oracle address deficiencies in its product and service offerings, and for license management purposes. 11.2 We may (i) compile statistical and other information related to the performance, operation and use of the Services, and (ii) use data from the Services in aggregated form for security and operations management, to create statistical analyses, and for research and development purposes (clauses i and ii are collectively referred to as “Service Analyses”). We may make Service Analyses publicly available; however, Service Analyses will not incorporate Your Content, Personal Data or Confidential Information in a form that could serve to identify You or any individual. We retain all intellectual property rights in Service Analyses. 11.3 We may provide You with the ability to obtain certain Oracle Software (as defined below) for use with the Services. If we provide Oracle Software to You and do not specify separate terms for such software, then such Oracle Software is provided as part of the Services and You have the non-exclusive, worldwide, limited right to use such Oracle Software, subject to the terms of this Agreement and Your order (except for separately licensed elements of the Oracle Software, which separately licensed elements are governed by the applicable separate terms), solely to facilitate Your use of the Services. You may allow Your Users to use the Oracle Software for this purpose, and You are responsible for their compliance with the license terms. Your right to use any Oracle Software will terminate upon the earlier of our notice (by web posting or otherwise) or the end of the Services associated with the Oracle Software. Notwithstanding the foregoing, if Oracle Software is licensed to You under separate terms, then Your use of such software is governed by the separate terms. Your right to use any part of the Oracle Software that is licensed under the separate terms is not restricted in any way by this Agreement.

  • Procedures for Providing NP Through Full NXX Code Migration Where a Party has activated an entire NXX for a single Customer, or activated at least eighty percent (80%) of an NXX for a single Customer, with the remaining numbers in that NXX either reserved for future use by that Customer or otherwise unused, if such Customer chooses to receive Telephone Exchange Service from the other Party, the first Party shall cooperate with the second Party to have the entire NXX reassigned in the LERG (and associated industry databases, routing tables, etc.) to an End Office operated by the second Party. Such transfer will be accomplished with appropriate coordination between the Parties and subject to appropriate industry lead times for movements of NXXs from one switch to another. Neither Party shall charge the other in connection with this coordinated transfer.

  • Selection of Subcontractors, Procurement of Materials and Leasing of Equipment The contractor shall not discriminate on the grounds of race, color, religion, sex, national origin, age or disability in the selection and retention of subcontractors, including procurement of materials and leases of equipment. The contractor shall take all necessary and reasonable steps to ensure nondiscrimination in the administration of this contract. a. The contractor shall notify all potential subcontractors and suppliers and lessors of their EEO obligations under this contract. b. The contractor will use good faith efforts to ensure subcontractor compliance with their EEO obligations.

  • Use of Project Issuer does hereby covenant and agree that it will not take any action during the term of this Agreement, other than pursuant to Article IX of this Agreement or Article IX of the Indenture, to interfere with Company's ownership of the Project or to prevent Company from having possession, custody, use and enjoyment of the Project.

  • Maintenance and Use of Property Borrower shall cause the Property to be maintained in a good and safe condition and repair. The Improvements and the Personal Property shall not be removed, demolished or materially altered (except for normal replacement of the Personal Property or as permitted in the PETsMART Lease) without the consent of Lender. Except as provided in Section 3.8(f) hereof, Borrower shall promptly repair, replace or rebuild or cause to be repaired, replaced or rebuilt, any part of the Property which may be destroyed by any casualty, or become damaged, worn or dilapidated or which may be affected by any proceeding of the character referred to in Section 3.6 hereof and shall complete and pay for any structure at any time in the process of construction or repair on the Land. Borrower shall not initiate, join in, acquiesce in, or consent to any change in any private restrictive covenant, zoning law or other public or private restriction, limiting or defining the uses which may be made of the Property or any part thereof, provided, that Borrower shall be permitted to enter into easement agreements or grant rights of way so long as such agreements or grants do not reduce the value of the Property or impair its use, and so long as Borrower has delivered to Lender a title endorsement satisfactory to Lender with respect to such agreements and/or rights of way. If under applicable zoning provisions the use of all or any portion of the Property is or shall become a nonconforming use, Borrower will not cause or permit the nonconforming use to be discontinued or the nonconforming Improvement to be abandoned without the express written consent of Lender.

  • Suspension of unsafe Construction Works (i) Upon recommendation of the Authority’s Engineer to this effect, the Authority may by notice require the Contractor to suspend forthwith the whole or any part of the Works if, in the reasonable opinion of the Authority’s Engineer, such work threatens the safety of the Users and pedestrians. (ii) The Contractor shall, pursuant to the notice under Clause 11.17 (i), suspend the Works or any part thereof for such time and in such manner as may be specified by the Authority and thereupon carry out remedial measures to secure the safety of suspended works, the Users and pedestrians. The Contractor may by notice require the Authority’s Engineer to inspect such remedial measures forthwith and make a report to the Authority recommending whether or not the suspension hereunder may be revoked. Upon receiving the recommendations of the Authority’s Engineer, the Authority shall either revoke such suspension or instruct the Contractor to carry out such other and further remedial measures as may be necessary in the reasonable opinion of the Authority, and the procedure set forth in this Clause 11.17 shall be repeated until the suspension hereunder is revoked. (iii) Subject to the provisions of Clause 21.6, all reasonable costs incurred for maintaining and protecting the Works or part thereof during the period of suspension (the “Preservation Costs”), shall be borne by the Contractor; provided that if the suspension has occurred as a result of any breach of this Agreement by the Authority, the Preservation Costs shall be borne by the Authority. (iv) If suspension of Works is for reasons not attributable to the Contractor, the Authority’s Engineer shall determine any Time Extension to which the Contractor is reasonably entitled.

Draft better contracts in just 5 minutes Get the weekly Law Insider newsletter packed with expert videos, webinars, ebooks, and more!