Planned use of Problem Frames in WP1 Sample Clauses

Planned use of Problem Frames in WP1. Up to now we have successfully applied problem frames to model the require- ments of the cruise control system at different abstraction levels. Details of the application can be found in the internal project report on our require- ments engineering methodology. We are currently investigating ways of mapping a hierarchy of problem frame diagrams to a hierarchy of Event-B models. First results of experiments on providing a concrete mapping of problem frame elements to Event-B el- ements are very promising. We successfully modelled a part of the signal evaluation of the cruise control system in Event-B. Interestingly, the hierar- chy defined in the problem diagrams could be directly mapped into a hier- archy of contexts and machines in Event-B. Furthermore, it was relatively straightforward to model requirements using events in Event-B. We plan to investigate further and solve the problem of linking problem frames and Event-B.
Sample 1
AutoNDA by SimpleDocs

Related to Planned use of Problem Frames in WP1

  • We provide Message Boards for the use of Our Website users The Message Boards may not be used to promote Websites or any commercial or business activity. We are not responsible for any of the opinions expressed in the Message Boards. By posting a message to the message board You agree to take full legal responsibility and liability for your comments, including for offensive or defamatory statements. Feedback: Feedback is provided for the purpose of facilitating trading by You on Our Website. Feedback provided on other parties must not contain offensive, defamatory, retaliatory or inappropriate language or content. We may remove any feedback that is considered to be offensive, defamatory, retaliatory or inappropriate. You may only give feedback that relates to a specific transaction. You must not post feedback on a transaction that does not relate to that specific transaction. You must not post feedback about Yourself or include any contact details or Personal Information in Your feedback.

  • Contracts Concerning Use of Project The Recipient agrees that during the Agreement Term it will not contract with any Private Person for use of the Project or any portion thereof or the facility or facilities of which the Project is a part for any Private Business Use unless all of the conditions of subparagraph F.3.a., subparagraph F.3.b. or subparagraph F.3.c. are met:

  • System Upgrade Facilities and System Deliverability Upgrades Connecting Transmission Owner shall design, procure, construct, install, and own the System Upgrade Facilities and System Deliverability Upgrades described in Appendix A hereto. The responsibility of the Developer for costs related to System Upgrade Facilities and System Deliverability Upgrades shall be determined in accordance with the provisions of Attachment S to the NYISO OATT.

  • Public Posting of Approved Users’ Research Use Statement The PI agrees that information about themselves and the approved research use will be posted publicly on the dbGaP website. The information includes the PI’s name and Requester, project name, Research Use Statement, and a Non-Technical Summary of the Research Use Statement. In addition, and if applicable, this information may include the Cloud Computing Use Statement and name of the CSP or PCS. Citations of publications resulting from the use of controlled-access datasets obtained through this DAR may also be posted on the dbGaP website.

  • Technical Standards Applicable to a Wind Generating Plant i. Low Voltage Ride-Through (LVRT) Capability A wind generating plant shall be able to remain online during voltage disturbances up to the time periods and associated voltage levels set forth in the standard below. The LVRT standard provides for a transition period standard and a post-transition period standard.

  • Selection of Subcontractors, Procurement of Materials and Leasing of Equipment The contractor shall not discriminate on the grounds of race, color, religion, sex, national origin, age or disability in the selection and retention of subcontractors, including procurement of materials and leases of equipment. The contractor shall take all necessary and reasonable steps to ensure nondiscrimination in the administration of this contract.

  • Technical Requirements for SCPs/Databases 10.5.3.1 BellSouth shall provide physical access to SCPs through the SS7 network and protocols with TCAP as the application layer protocol.

  • Use of Project Issuer does hereby covenant and agree that it will not take any action during the term of this Agreement, other than pursuant to Article IX of this Agreement or Article IX of the Indenture, to interfere with Company's ownership of the Project or to prevent Company from having possession, custody, use and enjoyment of the Project.

  • Suspension of unsafe Construction Works (i) Upon recommendation of the Authority’s Engineer to this effect, the Authority may by notice require the Contractor to suspend forthwith the whole or any part of the Works if, in the reasonable opinion of the Authority’s Engineer, such work threatens the safety of the Users and pedestrians.

  • RETURN AND DELETION OF CUSTOMER DATA The Braze Services allow import, export, and deletion of Customer Data by authorized users at all times during the term of a customer’s subscription. Following termination or expiration of the Braze Services, Braze shall securely overwrite or delete Customer Data within 60 days following any such termination, in accordance with the Agreement, applicable laws and the Documentation.

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