The Overture Platform Sample Clauses

The Overture Platform. ‌ The Overture Platform is a set of components that, together, form a VDM devel- opment environment based on the the Eclipse platform [CMNL12]. The set of Overture components can be split mainly into two groupings: the core libraries and the Eclipse IDE libraries. The core libraries contain all that is needed to read and manipulate VDM models in a programmatic fashion, and the IDE libraries access these to create an IDE in the usual manner, based in Eclipse. There is also a smaller, third set group of components that are meta-components; these include libraries that aid the build process. The most critical of these is ASTCreator, and is mentioned later in this document. The COMPASS CML tool makes heavy reuse of the Overture components, includ- ing the ASTCreator, the VDM typechecker, the VDM proof obligation generator, and some of the IDE components. Among other benefits from reuse, this allows for fixes in the Overture platform to be automatically incorporated into the COM- PASS tool as they become available. The COMPASS CML tool is the first deep extension of the Overture platform, and our efforts to build the COMPASS tool also have the effect of improving the Overture platform. 3 Build Environment‌ This section assumes that all of necessary tools –such as git, maven, eclipse, etc.– have been correctly installed and configured. Also, PROJ refers to the root direc- tory of the compass code repository.
AutoNDA by SimpleDocs

Related to The Overture Platform

  • The Platform THE PLATFORM IS PROVIDED “AS IS” AND “AS AVAILABLE.” THE AGENT PARTIES (AS DEFINED BELOW) DO NOT WARRANT THE ACCURACY OR COMPLETENESS OF THE BORROWER MATERIALS OR THE ADEQUACY OF THE PLATFORM, AND EXPRESSLY DISCLAIM LIABILITY FOR ERRORS IN OR OMISSIONS FROM THE BORROWER MATERIALS. NO WARRANTY OF ANY KIND, EXPRESS, IMPLIED OR STATUTORY, INCLUDING ANY WARRANTY OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE, NON-INFRINGEMENT OF THIRD PARTY RIGHTS OR FREEDOM FROM VIRUSES OR OTHER CODE DEFECTS, IS MADE BY ANY AGENT PARTY IN CONNECTION WITH THE BORROWER MATERIALS OR THE PLATFORM. In no event shall the Administrative Agent or any of its Related Parties (collectively, the “Agent Parties”) have any liability to the Borrower, any Lender, the L/C Issuer or any other Person for losses, claims, damages, liabilities or expenses of any kind (whether in tort, contract or otherwise) arising out of the Borrower’s or the Administrative Agent’s transmission of Borrower Materials through the Internet, except to the extent that such losses, claims, damages, liabilities or expenses are determined by a court of competent jurisdiction by a final and nonappealable judgment to have resulted from the gross negligence or willful misconduct of such Agent Party; provided, however, that in no event shall any Agent Party have any liability to the Borrower, any Lender, the L/C Issuer or any other Person for indirect, special, incidental, consequential or punitive damages (as opposed to direct or actual damages).

  • Trading Platform You agree and acknowledge that:

  • Platform (i) Each Loan Party agrees that the Administrative Agent may, but shall not be obligated to, make the Communications (as defined below) available to the L/C Issuers and the other Lenders by posting the Communications on Debt Domain, Intralinks, Syndtrak or a substantially similar electronic transmission system (the “Platform”).

  • Completeness and Contents of Instructions The Authorized Person shall be responsible for assuring the adequacy and accuracy of Instructions. Particularly, upon any acquisition or disposition or other dealing in the Fund's Investments and upon any delivery and transfer of any Investment or moneys, the person initiating such Instruction shall give the Custodian an Instruction with appropriate detail, including, without limitation:

  • Customer Materials 11.1. The Supplier including any of its employees, agents, consultants, contractors and any third party shall:

  • THIRD-PARTY CONTENT, SERVICES AND WEBSITES 10.1 The Services may enable You to link to, transfer Your Content or Third Party Content to, or otherwise access, third parties’ websites, platforms, content, products, services, and information (“Third Party Services”). Oracle does not control and is not responsible for Third Party Services. You are solely responsible for complying with the terms of access and use of Third Party Services, and if Oracle accesses or uses any Third Party Services on Your behalf to facilitate performance of the Services, You are solely responsible for ensuring that such access and use, including through passwords, credentials or tokens issued or otherwise made available to You, is authorized by the terms of access and use for such services. If You transfer or cause the transfer of Your Content or Third Party Content from the Services to a Third Party Service or other location, that transfer constitutes a distribution by You and not by Oracle.

  • DENIAL OF ACCESS If rent is not paid within days of the monthly due date, Owner may without notice deny the Occupant access to the property located in the self storage facility. Access will be denied to any party other than the tenant unless said party retains gate code and key to lock on Space or has supplied Owner with written authorization from the tenant to enter the Space. Occupant's access to the facility may also be conditioned in any manner deemed reasonably necessary by Owner to maintain order on the premises. Such measures may include, but are not limited to, restricting hours of operation, requiring verification of occupant's identity and inspecting vehicles that enter the premises. Additionally, if Occupant is renting more than one Space at any given time, default on one rented Space shall constitute default on all rented Spaces, entitling Owner to deny access to Occupant to all rented Spaces.

  • Intercept Devices 26.1.1.1 Local and federal law enforcement agencies periodically request information or assistance from local telephone service providers. When either Party receives a request associated with an End User of the other Party, it shall refer such request to the Party that serves such End User, unless the request directs the receiving Party to attach a pen register, trap-and-trace or form of intercept on the Party's facilities, in which case that Party shall comply with any valid request.

  • Company Materials During the term of this Agreement, the Company agrees to furnish the Manager at its principal office all prospectuses, proxy statements, reports to shareholders, sales literature or other material prepared for distribution to shareholders of the Funds or to the public, which refer to the Manager in any way, prior to use thereof and, not to use such material if the Manager reasonably objects in writing within five business days (or such other time as may be mutually agreed) after receipt thereof. In the event of termination of this Agreement, the Company will continue to furnish to the Manager copies of any of the above-mentioned materials which refer in any way to the Manager. The Company shall furnish or otherwise make available to the Manager such other information relating to the business affairs of the Funds as the Manager at any time, or from time to time, reasonably requests in order to discharge its obligations hereunder.

  • Electronic and Information Resources Accessibility and Security Standards a. Applicability: The following Electronic and Information Resources (“EIR”) requirements apply to the Contract because the Grantee performs services that include EIR that the System Agency's employees are required or permitted to access or members of the public are required or permitted to access. This Section does not apply to incidental uses of EIR in the performance of the Agreement, unless the Parties agree that the EIR will become property of the State of Texas or will be used by HHSC’s clients or recipients after completion of the Agreement. Nothing in this section is intended to prescribe the use of particular designs or technologies or to prevent the use of alternative technologies, provided they result in substantially equivalent or greater access to and use of a Product.

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