Traceability proposal Sample Clauses

Traceability proposal. A requirement can be linked at any level of the model (not necessarily at the highest level). A requirement can be linked to an axiom, a theorem, an invariant or an event. It is possible to link a requirement to a machine or a context, and then all axioms, theorems, invariants and events of the machine/context are linked to the requirement. Then, it is possible to propagate the requirement through the proof: for instance, if an invariant/theorem A requires the invariant/theorem/axiom B to be proved, and requirement R is linked to B, then we have a traceability relation “R is related to A”. The fact that an invariant A is maintained by an event E, and requirement R is linked to E, should NOT lead to the traceability relation “R is related to A”, otherwise R would be related to all invariants. If an event E1 is refined by E2, and E1 is linked to requirement R, then we have the traceability relation “R is related to E2” Then, the event-B model database could be used to generate automatically traceability tables.
AutoNDA by SimpleDocs

Related to Traceability proposal

  • Cost Proposal After the Approved Working Drawings are approved by Landlord and Tenant, and the Contractor and subcontractors have been selected pursuant to Section 4.1 above, Landlord shall provide Tenant with a cost proposal in accordance with the Approved Working Drawings setting forth the reconciled bids and copies of all sub-bids, which cost proposal shall include, as nearly as possible, the cost of all Tenant Improvement Allowance Items to be incurred in connection with the construction of the Tenant Improvements (the "COST PROPOSAL"). The Cost Proposal shall reflect bids that will be priced by Contractor on an individual item-by-item or trade-by-trade basis. Landlord and Tenant shall work together in good faith in an attempt to agree upon a mutually acceptable Cost Proposal as soon as reasonably possible. Notwithstanding the foregoing, portions of the cost of the Tenant Improvements may be delivered to Tenant as such portions of the Tenant Improvements are priced by Contractor (on an individual item-by-item or trade-by-trade basis), even before the Approved Working Drawings are completed (the "PARTIAL COST PROPOSAL") for purposes of facilitating the early purchase of items and construction of the same. Tenant shall approve and deliver the Cost Proposal to Landlord within seven (7) business days of the receipt of the same, or, as to a Partial Cost Proposal within five (5) business days of receipt of the same, and upon receipt of the same by Landlord, Landlord shall be released by Tenant to purchase the items set forth in the Cost Proposal or Partial Cost Proposal, as the case may be, and to commence the construction relating to such items. If Tenant disapproves the Cost Proposal or Partial Cost Proposal, Tenant shall provide Landlord with a reasonably sufficient explanation, and in such event, Landlord and Tenant shall use good faith, diligent efforts to work with each other and Contractor to address Tenant's reasons for disapproving the Cost Proposal or Partial Cost Proposal, whichever is the case and a new Cost Proposal (or Partial Cost Proposal, as applicable) shall be prepared and the process described in this Section 4.2 shall be repeated. The date by which Tenant must approve and deliver the Cost Proposal or the last Partial Cost Proposal to Landlord, as the case may be, shall be known hereafter as the "COST PROPOSAL DELIVERY DATE". The total of all Partial Cost Proposals, if any, shall be known as the Cost Proposal.

  • Technical Proposal The technical proposal may be presented in free format. It shall not exceed ten pages, not counting the CVs. It shall respect the following page limit and structure: • Technical methodology (max. 7 pages) • Quality management (max. 1 page) • Project management (max. 1 page) • Resource management (proposal (max. 1 page) + CVs of experts)

  • PROPOSAL SUBMISSION 1. Timely Proposal Submittal. Proposals must be submitted as described herein to the Purchasing & Contracting Department (P&C).

  • PROPOSED MOBILITY PROGRAMME The proposed mobility programme includes the indicative start and end months of the agreed study programme that the student will carry out abroad. The Learning Agreement must include all the educational components to be carried out by the student at the receiving institution (in table A) and it must contain as well the group of educational components that will be replaced in his/her degree by the sending institution (in table B) upon successful completion of the study programme abroad. Additional rows can be added as needed to tables A and B. Additional columns can also be added, for example, to specify the study cycle-level of the educational component. The presentation of this document may also be adapted by the institutions according to their specific needs. However, in every case, the two tables A and B must be kept separated, i.e. they cannot be merged. The objective is to make clear that there needs to be no one to one correspondence between the courses followed abroad and the ones replaced at the sending institutions. The aim is rather that a group of learning outcomes achieved abroad replaces a group of learning outcomes at the sending institution, without having a one to one correspondence between particular modules or courses. A normal academic year of full-time study is normally made up of educational components totalling 60 ECTS* credits. It is recommended that for mobility periods shorter than a full academic year, the educational components selected should equate to a roughly proportionate number of credits. In case the student follows additional educational components beyond those required for his/her degree programme, these additional credits must also be listed in the study programme outlined in table A. When mobility windows are embedded in the curriculum, it will be enough to fill in table B with a single line as described below: Component code (if any) Component title (as indicated in the course catalogue) at the sending institution Semester [autumn / spring] [or term] Number of ECTS* credits Mobility window … Total: 30 Otherwise, the group of components will be included in Table B as follows: Component code (if any) Component title (as indicated in the course catalogue) at the sending institution Semester [autumn / spring] [or term] Number of ECTS* credits Course x … 10 Module y … 10 Laboratory work … 10 Total: 30 The sending institution must fully recognise the number of ECTS* credits contained in table A if there are no changes to the study programme abroad and the student successfully completes it. Any exception to this rule should be clearly stated in an annex of the Learning Agreement and agreed by all parties. Example of justification for non-recognition: the student has already accumulated the number of credits required for his/her degree and does not need some of the credits gained abroad. Since the recognition will be granted to a group of components and it does not need to be based on a one to one correspondence between single educational components, the sending institution must foresee which provisions will apply if the student does not successfully complete some of the educational components from his study programme abroad. A web link towards these provisions should be provided in the Learning Agreement. The student will commit to reach a certain level of language competence in the main language of instruction by the start of the study period. The level of the student will be assessed after his/her selection with the Erasmus+ online assessment tool when available (the results will be sent to the sending institution) or else by any other mean to be decided by the sending institution. A recommended level has been agreed between the sending and receiving institutions in the inter-institutional agreement. In case the student would not already have this level when he/she signs the Learning Agreement, he/she commits to reach it with the support to be provided by the sending or receiving institution (either with courses that can be funded by the organisational support grant or with the Erasmus+ online tutored courses). All parties must sign the document; however, it is not compulsory to circulate papers with original signatures, scanned copies of signatures or digital signatures may be accepted, depending on the national legislation. * In countries where the "ECTS" system it is not in place, in particular for institutions located in partner countries not participating in the Bologna process, "ECTS" needs to be replaced in all tables by the name of the equivalent system that is used and a weblink to an explanation to the system should be added. CHANGES TO THE ORIGINAL LEARNING AGREEMENT The section to be completed during the mobility is needed only if changes have to be introduced into the original Learning Agreement. In that case, the section to be completed before the mobility should be kept unchanged and changes should be described in this section. Changes to the mobility study programme should be exceptional, as the three parties have already agreed on a group of educational components that will be taken abroad, in the light of the course catalogue that the receiving institution has committed to publish well in advance of the mobility periods and to update regularly as ECHE holder. However, introducing changes might be unavoidable due to, for example, timetable conflicts. Other reasons for a change can be the request for an extension of the duration of the mobility programme abroad. Such a request can be made by the student at the latest one month before the foreseen end date. These changes to the mobility study programme should be agreed by all parties within four to seven weeks (after the start of each semester). Any party can request changes within the first two to five-week period after regular classes/educational components have started for a given semester. The exact deadline has to be decided by the institutions. The shorter the planned mobility period, the shorter should be the window for changes. All these changes have to be agreed by the three parties within a two-week period following the request. In case of changes due to an extension of the duration of the mobility period, changes should be made as timely as possible as well. Changes to the study programme abroad should be listed in table C and, once they are agreed by all parties, the sending institution commits to fully recognise the number of ECTS credits as presented in table C. Any exception to this rule should be documented in an annex of the Learning Agreement and agreed by all parties. Only if the changes described in table C affect the group of educational components in the student's degree (table B) that will be replaced at the sending institution upon successful completion of the study programme abroad, a revised version should be inserted and labelled as "Table D: Revised group of educational components in the student's degree that will be replaced at sending institution". Additional rows and columns can be added as needed to tables C and D. All parties must confirm that the proposed amendments to the Learning Agreement are approved. For this specific section, original or scanned signatures are not mandatory and an approval by email may be enough. The procedure has to be decided by the sending institution, depending on the national legislation.

  • Technical Proposals Technical proposal information will be streamlined, e.g., the Government anticipates written proposals consisting of thirty (30) pages or less stating compliance or exception to requirements, risks, assumptions and conflict of interest issues. Proposals shall not merely restate PWS/SOO requirements. Written technical proposals shall normally address: * Technical Approach and descriptive narrative of the contractor's understanding of the requested effort * PWS in response to a SOO * Integrated Master Plan (if applicable) * Integrated Master Schedule (if applicable) * Key Personnel Assigned * Quantities/Hours of Personnel by Labor Categories and narrative justification (if applicable) * Other Direct Costs (ODCs) (materials and supplies, travel, training, etc.(quantities and types only)) * Period of Performance * Government-Furnished Equipment (GFE)/Government-Furnished Information (GFI) * Security (including clearance level) * Teaming Arrangement (including subcontracting; identify new ACAs) * Small Business Plan (if a large business) * Other Pertinent Data, such as assumptions made.

  • Request for Proposal Once the project development stage and joint scope meeting have produced a County approved Detailed Scope of Work, the County will issue a Request for Proposal (RFP) to the Contractor. The RFP will include the Scope of Work approved by the County and other pertinent information with regards to scheduling, submittals, shop drawings and sketch requirements. The Contractor agrees to prepare and submit a JOC Task Order Proposal of Work.

  • Constructability Program 5.2.1 Implement and conduct a constructability program to identify and document Project cost and schedule savings opportunities. The constructability program shall follow accepted industry practices and be reviewed by Owner at design milestones. Whenever the term “value engineering” is used in conjunction with this Agreement or the Project, it has its commonly accepted meaning within the construction industry and does not imply the practice of professional engineering without a license. If any value engineering activities constitute the professional practice of engineering, then such activities shall be performed by an engineer licensed in Texas.

  • Action Item Task MSU Status Comments I.1 The University will employ and empower a Clery Act compliance professional (CCP). The CCP must report to a Vice President (VP) or equivalent. The CCP must not be employed in or under the sole authority of the Office of the General Counsel (OGC). Implemented The Office of Audit, Risk and Compliance (OARC) hired a qualified candidate who began work in February 2020.

  • BID SUBMISSION All Bids are to be packaged, sealed and submitted to the location stated in the Bid Specifications. Bidders are solely responsible for timely delivery of their Bids to the location set forth in the Bid Specifications prior to the stated Bid opening date/time. A Bid return envelope, if provided with the Bid Specifications, should be used with the Bid sealed inside. If the Bid response does not fit into the envelope, the Bid envelope should be attached to the outside of the sealed box or package with the Bid inside. If using a commercial delivery company that requires use of their shipping package or envelope, Bidder’s sealed Bid, labeled as detailed below, should be placed within the shipper’s sealed envelope to ensure that the Bid is not prematurely opened. All Bids must have a label on the outside of the package or shipping container outlining the following information: “BID ENCLOSED (bold print, all capitals) • Group Number • IFB or RFP Number • Bid Submission date and time” In the event that a Bidder fails to provide such information on the return Bid envelope or shipping material, the receiving entity reserves the right to open the shipping package or envelope to determine the proper Bid number or Product group, and the date and time of Bid opening. Bidder shall have no claim against the receiving entity arising from such opening and such opening shall not affect the validity of the Bid or the procurement. Notwithstanding the receiving agency’s right to open a Bid to ascertain the foregoing information, Bidder assumes all risk of late delivery associated with the Bid not being identified, packaged or labeled in accordance with the foregoing requirements. All Bids must be signed by a person authorized to commit the Bidder to the terms of the Bid Documents and the content of the Bid (offer).

  • Proposed Corrective Action Plan Simultaneously with the submission of the Audit, the Recipient will submit to OCR for its review and approval a proposed Corrective Action Plan to address all inaccessible content and functionality identified during the Recipient’s Audit. The proposed Corrective Action Plan will set out a detailed schedule for: (1) addressing problems, taking into account identified priorities, with all corrective actions to be completed within 18 months of the date OCR approved the Corrective Action Plan; (2) setting up systems of accountability and verifying claims of accessibility by vendors or open sources; and setting up a system of testing and accountability to maintain the accessibility of all online content and functionality on an ongoing basis.

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