Behavioural Refinement Sample Clauses

Behavioural Refinement. Behaviour refinement details the mode view on a system. One case is changing a mode assumption or guarantee or both. It is postulated mode as- sumption cannot be strengthened during refinement. This is based on understanding that an assumption is a requirement of a mode to its environment. As a system developer cannot assume control over the environment of a modelled system, a stronger requirement to an environment may not be realisable. On the other hand, a weaker requirement to an environment means that a system is more robust as it would remain operational in a wider range of environments. Symmetrically, a mode guarantee cannot be weakened as a mode guarantee is understood as a contract of a mode with the rest of a system and the system environment. In other words, weakening a mode guarantee could violate expectations of another system part. The following condition summarises this refinement rule: A(v)/G(v, vj) ± Aj(u)/Gj(u, uj), be expressed on new variables (variables for u that are not mapped onto abstract variables v). Formally, this is possible by refining an implicit skip mode false/true. This is the weakest form of a mode and it can be refined into any other mode.
Sample 1
AutoNDA by SimpleDocs

Related to Behavioural Refinement

  • Project Management Plan 1 3.4.1 Developer is responsible for all quality assurance and quality control 2 activities necessary to manage the Work, including the Utility Adjustment Work.

  • STAFF ORIENTATION 4101 The Employer shall provide an appropriate orientation program for nurses newly employed. The orientation program shall include such essential information as policies, nursing procedures, the location of supplies and equipment, fire, safety and disaster plans. Where necessary, orientation shall be provided for nurses moving to a new area of practice. 4102 The Employer shall provide a program of inservice education for nurses pertinent to patient care. 4103 The Employer shall provide, access to reference materials as is required in relation to maintaining current knowledge of general nursing care. APPENDIX "A" - SALARIES A1. Effective April 1, 2013 - Monthly salaries include a 2% general increase. - Hourly salary is calculated as (monthly salary x 12) ÷ annual hours. Nurse Classification Annual Hours Start Year 1 Year 2 Year 3 Year 4 Year 5 Year 6 20 Year 1 Licensed Practical Nurse 2015 Hourly 25.198 26.022 26.836 27.825 28.732 29.745 30.804 31.420 Monthly 4,231.164 4,369.528 4,506.212 4,672.281 4,824.582 4,994.681 5,172.505 5,275.942 Annual 50,773.970 52,434.330 54,074.540 56,067.375 57,894.980 59,936.175 62,070.060 63,311.300 Nurse II 2015 Hourly 32.917 34.066 35.218 36.419 37.593 38.811 39.587 Monthly 5,527.313 5,720.249 5,913.689 6,115.357 6,312.491 6,517.014 6,647.317 Annual 66,327.755 68,642.990 70,964.270 73,384.285 75,749.895 78,204.165 79,767.805 Nurse II (20 Year Scale) 2015 Hourly 33.575 34.747 35.923 37.148 38.345 39.587 Monthly 5,637.802 5,834.600 6,032.070 6,237.768 6,438.765 6,647.317 Annual 67,653.625 70,015.205 72,384.845 74,853.220 77,265.175 79,767.805 Nurse III 2015 Hourly 34.168 35.321 36.523 37.697 38.787 39.975 41.201 42.025 Monthly 5,737.377 5,930.985 6,132.820 6,329.955 6,512.984 6,712.469 6,918.335 7,056.698 Annual 68,848.520 71,171.815 73,593.845 75,959.455 78,155.805 80,549.625 83,020.015 84,680.375 Nurse III (20 Year Scale) 2015 Hourly 34.851 36.027 37.254 38.451 39.563 40.775 42.025 Monthly 5,852.064 6,049.534 6,255.568 6,456.564 6,643.287 6,846.802 7,056.698 Annual 70,224.765 72,594.405 75,066.810 77,478.765 79,719.445 82,161.625 84,680.375 Nurse IV 2015 Hourly 35.340 36.649 37.959 39.387 41.024 42.612 44.273 45.158 Monthly 5,934.175 6,153.978 6,373.949 6,613.734 6,888.613 7,155.265 7,434.175 7,582.781 Annual 71,210.100 73,847.735 76,487.385 79,364.805 82,663.360 85,863.180 89,210.095 90,993.370 Nurse IV (20 Year Scale) 2015 Hourly 36.047 37.382 38.718 40.175 41.844 43.464 45.158 Monthly 6,052.892 6,277.061 6,501.398 6,746.052 7,026.305 7,298.330 7,582.781 Annual 72,634.705 75,324.730 78,016.770 80,952.625 84,315.660 87,579.960 90,993.370 Nurse V 2015 Hourly 37.305 38.733 40.369 41.957 43.690 45.388 47.157 48.100 Monthly 6,264.131 6,503.916 6,778.628 7,045.280 7,336.279 7,621.402 7,918.446 8,076.792 Annual 75,169.575 78,046.995 81,343.535 84,543.355 88,035.350 91,456.820 95,021.355 96,921.500 Nurse V (20 Year Scale) 2015 Hourly 38.051 39.508 41.177 42.797 44.564 46.296 48.100 Monthly 6,389.397 6,634.052 6,914.305 7,186.330 7,483.038 7,773.870 8,076.792 Annual 76,672.765 79,608.620 82,971.655 86,235.955 89,796.460 93,286.440 96,921.500 Nurse Practitioner 2015 Hourly 42.515 45.635 47.511 49.385 51.408 52.437 Monthly 7,138.977 7,662.877 7,977.889 8,292.565 8,632.260 8,805.046 Annual 85,667.725 91,954.525 95,734.665 99,510.775 103,587.120 105,660.555 Nurse Practitioner (20 Year Scale) 2015 Hourly 43.365 46.548 48.461 50.373 52.437 Monthly 7,281.706 7,816.185 8,137.410 8,458.466 8,805.046 Annual 87,380.475 93,794.220 97,648.915 101,501.595 105,660.555 Weekend Worker Rates Annual Hours Start Year 1 Year 2 Year 3 Year 4 Year 5 Year 6 20 Year 1 Weekend Worker - Licensed Practical Nurse 2015 Hourly 28.977 29.925 30.861 31.999 33.042 34.206 35.425 36.133 Monthly 4,865.721 5,024.906 5,182.076 5,373.165 5,548.303 5,743.758 5,948.448 6,067.333 Annual 58,388.655 60,298.875 62,184.915 64,477.985 66,579.630 68,925.090 71,381.375 72,807.995 Weekend Worker - Nurse II 2015 Hourly 37.855 39.176 40.501 41.882 43.232 44.633 45.526 Monthly 6,356.485 6,578.303 6,800.793 7,032.686 7,259.373 7,494.625 7,644.574 Annual 76,277.825 78,939.640 81,609.515 84,392.230 87,112.480 89,935.495 91,734.890 Weekend Worker - Nurse II (20 Year Scale) 2015 Hourly 38.612 39.959 41.311 42.720 44.097 45.526 Monthly 6,483.598 6,709.782 6,936.805 7,173.400 7,404.621 7,644.574 Annual 77,803.180 80,517.385 83,241.665 86,080.800 88,855.455 91,734.890 Weekend Worker - Nurse III 2015 Hourly 39.293 40.619 42.002 43.352 44.605 45.971 47.381 48.329 Monthly 6,597.950 6,820.607 7,052.836 7,279.523 7,489.923 7,719.297 7,956.060 8,115.245 Annual 79,175.395 81,847.285 84,634.030 87,354.280 89,879.075 92,631.565 95,472.715 97,382.935 Weekend Worker - Nurse III (20 Year Scale) 2015 Hourly 40.079 41.431 42.842 44.219 45.497 46.891 48.329 Monthly 6,729.932 6,956.955 7,193.886 7,425.107 7,639.705 7,873.780 8,115.245 Annual 80,759.185 83,483.465 86,326.630 89,101.285 91,676.455 94,485.365 97,382.935 Weekend Worker - Nurse IV 2015 Hourly 40.641 42.146 43.653 45.295 47.177 49.003 50.914 51.932 Monthly 6,824.301 7,077.016 7,330.066 7,605.785 7,921.805 8,228.420 8,549.309 8,720.248 Annual 81,891.615 84,924.190 87,960.795 91,269.425 95,061.655 98,741.045 102,591.710 104,642.980 Weekend Worker - Nurse IV (20 Year Scale) 2015 Hourly 41.454 42.989 44.526 46.201 48.121 49.983 51.932 Monthly 6,960.818 7,218.570 7,476.658 7,757.918 8,080.318 8,392.979 8,720.248 Annual 83,529.810 86,622.835 89,719.890 93,095.015 96,963.815 100,715.745 104,642.980 Weekend Worker - Nurse V 2015 Hourly 42.900 44.543 46.425 48.251 50.244 52.196 54.230 55.315 Monthly 7,203.625 7,479.512 7,795.531 8,102.147 8,436.805 8,764.578 9,106.121 9,288.310 Annual 86,443.500 89,754.145 93,546.375 97,225.765 101,241.660 105,174.940 109,273.450 111,459.725 Weekend Worker - Nurse V (20 Year Scale) 2015 Hourly 43.758 45.434 47.353 49.216 51.249 53.240 55.315 Monthly 7,347.698 7,629.126 7,951.358 8,264.187 8,605.561 8,939.883 9,288.310 Annual 88,172.370 91,549.510 95,416.295 99,170.240 103,266.735 107,278.600 111,459.725 1 Eligibility for the 20 Year increment is determined in accordance w ith Article 2105.

  • Accident Prevention Health and Safety Committee The Employer and the Union agree that they mutually to maintain standards of safety and health in the Hospital in order to prevent accidents, injury, and illness. ected or Recognizing its responsibilities under the applicable legislation, the Hospital agrees to accept as a member of its Accident Prevention Health and Safety Committee, at least one (1) representative sel appointed by the Union from amongst Bargaining Unit employees. Such Committee shall identify potential dangers and means of improving health and safety programs, and recommend actions to be taken to improve conditions related to safety and health. The Hospital agrees to co-operate reasonably in providing necessary information to enable the Committee its functions. Meetings shall be held every second month or more frequently at the call of the Chair if required. The Committee shall maintain minutes of meetings and make the Same available for review. Any representative appointed or accordancewith hereof shall serve for a term of one (1) calendar year from the date of appointment which may be renewed for further of one (1) year. Time off for such to attend meetings of the Accident Prevention Health and Safety Committee in accordance with the foregoing shall be granted, and any attending such meetings during their regularly scheduled hours of work shall not lose regular as a result of such The Union agrees to endeavour to obtain the membership in the observation of all safety rules and practices. Safety Shoes The Hospital will provide sixty dollars ($60.00) annually effective April and eighty dollars ($80.00) effective April to each employee who is required by the Hospital, as delineated below, to wear safety footwear during the of his duties. The Hospital will require employees the following functions to wear appropriate Engineering Services; Grounds; Transport; (only where frequently working in storage areas). (as determined by the Hospital) heavy carts on a regular basis, e.g., linen carts, food wagons. ARTICLE BULLETIN BOARDS The Employer shall provide bulletin that all employees will have access to them have the right to post notices of meetings and such other notices as may be of interest to the membership. The wage increase listed on a retroactive to contact,in writing (with a copy to the Union) at their last-known entitle who have left its employ, to advise them of their any retroactive wage adjustment. Any employees who have employees shall have notice from the Hospital in which to claim from the Hospital any adjustment to their remuneration entitlement. The retroactive payments shall be made by separate cheques to the employees so entitled within sixty (60) days from the date of ratification. All other adjustments shall be effective as set out specifically in this Collective Agreement.

  • Prescription Safety Glasses Prescription safety glasses will be furnished by the employer. The employer retains the authority to establish reasonable rules and procedures regarding frequency of issue, replacement of damaged glasses, limits on reimbursement costs and coordination with the employer's vision plan.

  • Study Population ‌ Infants who underwent creation of an enterostomy receiving postoperative care and awaiting enterostomy closure: to be assessed for eligibility: n = 201 to be assigned to the study: n = 106 to be analysed: n = 106 Duration of intervention per patient of the intervention group: 6 weeks between enterostomy creation and enterostomy closure Follow-up per patient: 3 months, 6 months and 12 months post enterostomy closure, following enterostomy closure (12-month follow-up only applicable for patients that are recruited early enough to complete this follow-up within the 48 month of overall study duration).

  • Procurement Planning Prior to the issuance of any invitations to bid for contracts, the proposed procurement plan for the Project shall be furnished to the Association for its review and approval, in accordance with the provisions of paragraph 1 of Appendix 1 to the Guidelines. Procurement of all goods and works shall be undertaken in accordance with such procurement plan as shall have been approved by the Association, and with the provisions of said paragraph 1.

  • Quality Management System Supplier hereby undertakes, warrants and confirms, and will ensue same for its subcontractors, to remain certified in accordance with ISO 9001 standard or equivalent. At any time during the term of this Agreement, the Supplier shall, if so instructed by ISR, provide evidence of such certifications. In any event, Supplier must notify ISR, in writing, in the event said certification is suspended and/or canceled and/or not continued.

  • Workplace Violence Prevention and Crisis Response (applicable to any Party and any subcontractors and sub-grantees whose employees or other service providers deliver social or mental health services directly to individual recipients of such services): Party shall establish a written workplace violence prevention and crisis response policy meeting the requirements of Act 109 (2016), 33 VSA §8201(b), for the benefit of employees delivering direct social or mental health services. Party shall, in preparing its policy, consult with the guidelines promulgated by the U.S. Occupational Safety and Health Administration for Preventing Workplace Violence for Healthcare and Social Services Workers, as those guidelines may from time to time be amended. Party, through its violence protection and crisis response committee, shall evaluate the efficacy of its policy, and update the policy as appropriate, at least annually. The policy and any written evaluations thereof shall be provided to employees delivering direct social or mental health services. Party will ensure that any subcontractor and sub-grantee who hires employees (or contracts with service providers) who deliver social or mental health services directly to individual recipients of such services, complies with all requirements of this Section.

  • Child Safety Never leave a child unsupervised near a pool, not even for a second. During social gatherings at or near the pool, appoint a designated adult to protect young children from pool accidents. Children must be watched closely while swimming. Do not use floatation devices as a substitute for supervision. Toys can entice young children into the pool area. When not in use, clear the pool area of all toys.

  • Procurement Plan 8. The Borrower shall update the Procurement Plan as needed throughout implementation of the Project, and on each anniversary of the Effective Date, the Borrower shall in consultation with ADB determine whether the Procurement Plan needs to be updated. The Borrower shall implement the Procurement Plan in the manner in which it has been approved by ADB.

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