Tool-related metrics Sample Clauses

Tool-related metrics. The evolution of the tool stability and maturity can be estimated from customer feedback and from the quality of the support e.g. the delay between user request for assistance and the answer from the project team (or community in the case of an open-source project). Direct feedback can be collected among targeted users. Alternately, project tracking facilities can also be used to monitor feature requests and bug reporting/resolution. In the scope of RODIN both methods can be used:  Requirements can be collected through questionnaire of dedicated sessions; such are monitored by WP13 in the scope of the assessment of the tooling WP.  The RODIN open-source project infrastructure located at: xxxx://xxxxxxxxxxx.xxx/projects/rodin-b-sharp° contains a number of forums for reporting and discussing various modules of the tool: core, plugin, prover. Sourceforge provides tools for monitoring those. F igure 9. Evolution of bug opened & closed per month in 2008. D Specific product metrics for formal models So far we have found very few metrics over formal models. They mainly target Z specifications [Spi92]. Specific metrics have been proposed to measure the complexity of Z models [Wu04]. The metric is based on count and weighted counts over the structure of schema inclusion and referencing and on count of the number of methods per schema. This metrics is quite similar to the classical metrics applied on object-oriented software. Alpha-metric have also been applied on specifications [Kok2k]. It has been shown that:
AutoNDA by SimpleDocs

Related to Tool-related metrics

  • ASSISTANCE IN RELATED PROCUREMENTS 5.1 Where a Relevant Supplier is bidding to provide New Goods and/or Services in circumstances where the Supplier or an Affiliate of the Supplier is already providing (or due to provide) Legacy Goods and/or Services to a Contracting Body, the Supplier shall promptly provide the relevant Contracting Body and/or the Relevant Supplier with all reasonable information and assistance as may be required from time to time to enable the relevant Contracting Body and/or the Relevant Supplier, as appropriate, to:

  • Agreement with Respect to Continuation of Group Health Plan Coverage for Former Employees of the Failed Bank (a) The Assuming Institution agrees to assist the Receiver, as provided in this Section 4.12, in offering individuals who were employees or former employees of the Failed Bank, or any of its Subsidiaries, and who, immediately prior to Bank Closing, were receiving, or were eligible to receive, health insurance coverage or health insurance continuation coverage from the Failed Bank ("Eligible Individuals"), the opportunity to obtain health insurance coverage in the Corporation's FIA Continuation Coverage Plan which provides for health insurance continuation coverage to such Eligible Individuals who are qualified beneficiaries of the Failed Bank as defined in Section 607 of the Employee Retirement Income Security Act of 1974, as amended (respectively, "qualified beneficiaries" and "ERISA"). The Assuming Institution shall consult with the Receiver and not later than five (5) Business Days after Bank Closing shall provide written notice to the Receiver of the number (if available), identity (if available) and addresses (if available) of the Eligible Individuals who are qualified beneficiaries of the Failed Bank and for whom a "qualifying event" (as defined in Section 603 of ERISA) has occurred and with respect to whom the Failed Bank's obligations under Part 6 of Subtitle B of Title I of ERISA have not been satisfied in full, and such other information as the Receiver may reasonably require. The Receiver shall cooperate with the Assuming Institution in order to permit it to prepare such notice and shall provide to the Assuming Institution such data in its possession as may be reasonably required for purposes of preparing such notice.

  • Award of Related Contracts City may undertake or award supplemental or successor contracts for work related to this Contract. The Contractor shall cooperate fully with other contractors and City in all such cases.

  • Interstate Educational Personnel Contracts 1. The designated state official of a party state may make 1 or more contracts on behalf of his state with 1 or more other party states providing for the acceptance of educational personnel. Any such contract for the period of its duration shall be applicable to and binding on the states whose designated state officials enter into it, and the subdivisions of those states, with the same force and effect as if incorporated in this agreement. A designated state official may enter into a contract pursuant to this article only with states in which he finds that there are programs of education, certification standards or other acceptable qualifications that assure preparation or qualification of educational personnel on a basis sufficiently comparable, even though not identical to that prevailing in his own state.

  • Educational Incentive Program 15.2.1 A regular monthly classified unit member covered by this Agreement shall be granted a one-step increase (up to a step maximum of step G for Office/Technical unit members) on the first (1st) of the month following verification of satisfactory completion (grade of “C” or above) of twelve (12) semester units of credit from an accredited institution. Courses must have been enrolled in and credits must have been earned subsequent to the unit member's employment with the District. Official transcripts verifying a grade of “C” or above will be considered proof of satisfactory completion, in addition to the Educational Incentive Program Request for Salary Advancement Form, shall be provided by the eligible unit member and forwarded to the Office of Human Resources. Units of credit obtained prior to promotion must be applied toward step movement within sixty (60) calendar days of effective promotion date. The unit member shall ensure that the Compensation department is aware of these additional credits within this sixty (60) day period.

  • Local Authority Central Spend Equivalent Funding representing a proportion of the LA Education Budget money which the LA would be able to retain, from the non- delegated elements of the Schools Budget and the relevant items in the LA Budget, if the Academy were a maintained school. The proportion which this funding will represent will be based on the elements of the LA's Section 251 Budget Return which are relevant to that Academy.

  • Coronavirus-Related Distributions (CRDs If you qualify, you may withdraw up to $100,000 in aggregate from your IRAs and eligible retirement plans as a CRD, without paying the 10 percent early distribution penalty tax. You are a qualified individual if you (or your spouse or dependent) is diagnosed with the COVID-19 disease or the SARS-CoV-2 virus in an approved test; or if you have experienced adverse financial consequences as a result of being quarantined, being furloughed or laid off or having work hours reduced due to such virus or disease, being unable to work due to lack of child care due to such virus or disease, closing or reduced hours of a business owned or operated by you due to such virus or disease, or other factors as determined by the IRS. A CRD must be made on or after January 1, 2020, and before December 31, 2020. CRDs will be taxed ratably over a three-year period, unless you elect otherwise, and may be repaid over three years beginning with the day following the day a CRD is made. Repayments may be made to an eligible retirement plan or IRA. An eligible retirement plan is defined as a qualified retirement plan, 403(a) annuity, 403(b) tax-sheltered annuity, 457(b) eligible governmental deferred compensation plan, or an IRA. FINANCIAL DISCLOSURE

  • Surgery Services and Mastectomy Related Treatment This plan provides benefits for mastectomy surgery and mastectomy-related services in accordance with the Women’s Health and Cancer Rights Act of 1998 and Rhode Island General Law 27-20-29 et seq. For the member receiving mastectomy-related benefits, coverage will be provided in a manner determined in consultation with the attending physician, physician assistant, or an advance practice registered nurse and the patient, for: • all stages of reconstruction of the breast on which the mastectomy was performed; • surgery and reconstruction of the other breast to produce a symmetrical appearance; • prostheses; and • treatment of physical complications at all stages of the mastectomy, including lymphedema. See the Summary of Medical Benefits for the amount you pay.

  • Group Health Benefit Plans, Carrier and Premiums 7.1.1 When enrolment and other requirements for group participation in various plans have been met, the Employer will sponsor such plans to the portion agreed upon and such sponsorship shall not exceed that which is authorized or accepted by the benefit agency.

  • Special Rules Regarding Related Entities and Branches That Are Nonparticipating Financial Institutions If a Finnish Financial Institution, that otherwise meets the requirements described in paragraph 1 of this Article or is described in paragraph 3 or 4 of this Article, has a Related Entity or branch that operates in a jurisdiction that prevents such Related Entity or branch from fulfilling the requirements of a participating FFI or deemed-compliant FFI for purposes of section 1471 of the U.S. Internal Revenue Code or has a Related Entity or branch that is treated as a Nonparticipating Financial Institution solely due to the expiration of the transitional rule for limited FFIs and limited branches under relevant U.S. Treasury Regulations, such Finnish Financial Institution shall continue to be in compliance with the terms of this Agreement and shall continue to be treated as a deemed- compliant FFI or exempt beneficial owner, as appropriate, for purposes of section 1471 of the U.S. Internal Revenue Code, provided that:

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