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.
Sample 1
AutoNDA by SimpleDocs

Related to The Overture Platform

  • Trading Platform You agree and acknowledge that:

  • Use of the Platform 5.1. The Client agrees that he:

  • 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 Lenders by posting the Communications on Debt Domain, Intralinks, Syndtrak or a substantially similar electronic transmission system (the “Platform”).

  • Joint Network Implementation and Grooming Process Upon request of either Party, the Parties shall jointly develop an implementation and grooming process (the “Joint Grooming Process” or “Joint Process”) which may define and detail, inter alia:

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

  • Innovative Scheduling Schedules which are inconsistent with the Collective Agreement provisions may be developed in order to improve quality of working life, support continuity of resident care, ensure adequate staffing resources, and support cost-efficiency. The parties agree that such innovative schedules may be determined locally by the Home and the Union subject to the following principles:

  • Authorized User Overview and Mini-Bid Process Project Based IT Consulting Services Contracts enable Authorized Users to use a competitive Mini-bid Process to acquire Services on an as-needed basis, for qualified IT Projects. Project Based IT Consulting Services may include, but will not be limited to projects requiring: analysis, data classification, design, development, testing, quality assurance, security and associated training for Information Technology based applications. See section 1.3 Out of Scope Work for a listing of projects expressly excluded from the scope of this Contract. An Authorized User Agreement for Project Based IT Consulting Services will be governed first by the terms and conditions specified in the OGS Centralized Contract and second by terms and conditions added to the Authorized User Statement of Work. Additional terms and conditions shall not conflict with or modify the terms and conditions of the OGS Centralized Contract. NYS Executive Agencies must adhere to all internal processes and approvals including, as required, approval from NYS Office of Information Technology Services. Other Authorized Users must adhere to their own internal processes and approvals. In accordance with Appendix B, section 28, Modification of Contract Terms, an Authorized User may add additional required terms and conditions to this Mini-Bid and resultant Authorized User Agreement only if such terms and conditions (1) are more favorable to the Authorized User and (2) do not conflict with or supersede the OGS Centralized Contract terms and conditions. Examples of additional terms and conditions include: • Expedited delivery timeframe; • Additional incentives, such as discount for expedited payment/Procurement Card use; and • Any additional requirements imposed by the funding source or Federal law.

  • 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.

  • 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.

  • The Web Services E-Verify Employer Agent agrees to, consistent with applicable laws, regulations, and policies, commit sufficient personnel and resources to meet the requirements of this MOU.

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