Feedback to Methods and Tools Sample Clauses

Feedback to Methods and Tools. 7.2.1 UML2B STS documents contain some "automatons" (automaton is the name used for state machines), like the following (actual example): Even if the system documents are not entirely written with automatons, this notation provides a semi-formal way to specify functional behaviour of a system, which is easy to understand by a system engineer, and easy to model in event-B. A small model has been developed, in order to determine the ability of Rodin platform to prove automatically an automaton structure. A simple automaton has been modelized, and proved automatically. Later, it appeared that this automaton has exactly the same structure as the automaton generated by the UML->B plugin, which is very satisfactory: it means that the UML->B plugin produces automatons that are well adapted to SIEMENS TRANSPORTATION SYSTEMS needs, and well adapted to the Rodin platform. In some cases, automatons are described with several levels of abstraction: there is an abstract view of the automaton, and a more precise view, as in the following actual example. In this example, the abstract automaton (top left) has three states. Then, each of these three states is "refined" to add more details. The refinement of automatons is supported by the UML2B tool.
Sample 1
AutoNDA by SimpleDocs

Related to Feedback to Methods and Tools

  • Hand Tools The MOA will provide common hand tools of the trade, which the MOA deems necessary to complete the work assigned. The MOA will not be responsible for hand tools personally owned by an employee and used at the employee’s discretion.

  • Fungible Goods and Materials For purposes of determining whether a good is an originating good:

  • WORK TOOLS 5.01 All Employees must have all the necessary hand tools listed in the Master Agreement (Employee Tool List). Replacement will be the responsibility of the Employee. APPENDIX TO THE ONTARIO PROVINCIAL AGREEMENT OF THE I.C.I. SECTOR OF THE CONSTRUCTION INDUSTRY FOR OSHAWA, LOCAL 1832, TERRITORIAL JURISDICTION AS FOLLOWS: COUNTIES OF DURHAM AND THAT PORTION OF ONTARIO NOT INCLUDED UNDER TORONTO LOCAL 1819 TERRITORIAL JURISDICTION.

  • Use of School Equipment The Association shall have the right to use school facilities and equipment, including duplicating equipment, calculating machines, computers and printers and all types of audiovisual equipment at reasonable times, when such equipment is not otherwise in use.

  • Equipment and Materials Contractor at its sole cost and expense shall provide and furnish all tools, labor, materials, equipment, transportation services and any other items (collectively, "Equipment") which are required or necessary to perform the Services in a manner which is consistent with generally accepted standards of the profession for similar services. Notwithstanding the foregoing, District shall not be responsible for any damages to persons or property as a result of the use, misuse or failure of any Equipment used by Contractor of the Contracted Parties, even if such Equipment is furnished, rented or loaned to Contractor or the Contracted Parties by District. Furthermore, any Equipment or workmanship that does not conform to the regulations of this Agreement may be rejected by District and in such case must be promptly remedied or replaced by Contractor at no additional cost to District and subject to District’s reasonable satisfaction.

  • Licensed Software Computer program(s) provided by Contractor in connection with the Deliverables, subject to Section 14 of this Contract.

  • Licensee Data Licensee acknowledges and agrees that Licensee will be solely responsible for backing-up, and taking all appropriate measures to protect and secure, Licensee Data. Licensee acknowledges that Nuix may make, store and maintain back up copies of Licensee Data, but is not obliged to do so. Nuix will not be liable for any loss or corruption of Licensee Data.

  • EQUIPMENT AND TOOLS 40.01 The Employer will make available all necessary tools and equipment it requires for the performance of work assignments at no cost to the employees. Such tools and equipment will remain the property of the Employer and the employees will be required to take reasonable care of this property and may be required to sign out certain equipment and tools.

  • Required hardware and software The minimum system requirements for using the DocuSign system may change over time. The current system requirements are found here: xxxxx://xxxxxxx.xxxxxxxx.xxx/guides/signer-guide- signing-system-requirements. Acknowledging your access and consent to receive and sign documents electronically To confirm to us that you can access this information electronically, which will be similar to other electronic notices and disclosures that we will provide to you, please confirm that you have read this ERSD, and (i) that you are able to print on paper or electronically save this ERSD for your future reference and access; or (ii) that you are able to email this ERSD to an email address where you will be able to print on paper or save it for your future reference and access. Further, if you consent to receiving notices and disclosures exclusively in electronic format as described herein, then select the check-box next to ‘I agree to use electronic records and signatures’ before clicking ‘CONTINUE’ within the DocuSign system. By selecting the check-box next to ‘I agree to use electronic records and signatures’, you confirm that: • You can access and read this Electronic Record and Signature Disclosure; and • You can print on paper this Electronic Record and Signature Disclosure, or save or send this Electronic Record and Disclosure to a location where you can print it, for future reference and access; and

  • Licensed Materials The materials that are the subject of this Agreement are set forth in Appendix A ("Licensed Materials").

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