Formal Methods Sample Clauses

Formal Methods. C. When a formal procurement method is required, the following competitive sealed bid or an Invitation for Bid (IFB) or a Competitive Proposal in the form of a Request for Proposal (RFP) procedures will apply. • An announcement of an IFB or an RFP will be placed in the newspaper/media, IPS Web site, other Internet source to publicize the intent of the school food authority (SFA) to purchase needed items. The advertisement for bids/proposals or legal notice will be run for length of time. • An advertisement is required for all purchases over the districts small purchase threshold of actual amount of the SFA’s small purchase threshold. The announcement advertisement or legal notice will contain a: * General description of items to be purchased. * Deadline for submission of questions and the date written responses will be provided, including addenda to bid specifications, terms, and conditions as needed. * Date of prebid meeting, if provided, and if attendance is a requirement for bid award. * Deadline for submission of sealed bids or proposals. * Address of location where complete specifications and bid forms may be obtained. • In an IFB or RFP, each vendor will be given an opportunity to bid on the same specifications. • The developer of written specifications or descriptions for procurements will be PROHIBITED from submitting bids or proposals for such products or services. • The IFB or RFP will clearly define the purchase conditions. The following list includes requirements, not exclusive, to be addressed in the procurement document. * Contract period * SFA is responsible for all contracts awarded (statement) * Date, time, and location of bid opening * How vendor is to be informed of bid acceptance or rejection * Delivery schedule * Set forth requirements (terms and conditions) which bidder must fulfill in order for bid to be evaluated * Benefits to which the SFA will be entitled if the contractor cannot or will not perform as required * Statement assuring positive efforts will be made to involve small, minority, and women-owned businesses * Statement regarding the return of purchase incentives, discounts, rebates, and credits to the SFA’s nonprofit Child Nutrition (CN) account
Sample 1Sample 2
AutoNDA by SimpleDocs
Formal Methods. A. In the advent a request for data is received which is not covered by the material available from the Standard Discounted Products, the requestor will complete a Special Product Request Form (Form 2). The party may then comply with the special request and may charge the requestor a reasonable fee. The party may require payment prior to complying with the special request.
Sample 1
Formal Methods. Second World Congress, Eindhoven, The Netherlands, November 2-6, 2009. Proceedings, Lecture Notes in Computer Science, pages 810–813. Springer, November 2009. [6] A. Cavalcanti, X. Xxxxxxx, and X. Xxxxxxxx. A Refinement Strategy for Circus. Formal Aspects of Computing, 15(2):146–181, November 2003. [7] A. Cavalcanti, X. Xxxxxxxx, and X. Xxxxxx. Behavioural Models for FMI Co-simulations. In Proceeings of ICTAC 2016, volume 9965 of Lecture Notes in Computer Science, pages 255–273. Springer, October 2016. [8] W.-X. xx Xxxxxx and X. Xxxxxxxxxx. Data Refinement: Model-Oriented Proof Methods and Their Comparison. Cambridge University Press, New York, NY, USA, 1st edition, 2008. [9] X. Xxxxx, X. Xxxxxx, X. Xx Xxxxxxxxxx, and X. Xxxxxxxxxx. Explicit Semantic Adaptation of Hybrid Formalisms for FMI Co-Simulation. In Proceedings of the Symposium on Theory of Modeling & Simulation: DEVS Integrative M & S Symposium, DEVS ’15, pages 99–106. Society for Computer Simulation International, 2015. [10] X. Xxxxxx et al. Determinate Composition of FMUs for Co-simulation. In Proceedings of EMSOFT 2013, pages 2:1–2:12. IEEE Press, Septem- ber 2013. [11] X. Xxxxxxxxx et al. The Functional Mockup Interface for Tool indepen- dent Exchange of Simulation Models. In Proceedings of the 8th Interna- tional Modelica Conference, pages 105–114, March 2011.‌ [12] Y. A. Xxxxxxx, X. Xxxxxxxxx, and X. Xxxxxxx. Simulating Rhapsody SysML Blocks in Hybrid Models with FMI. In Proceedings of the 10th International Modelica Conference, pages 43–52, March 2014. [13] X. Xxxxxx, X. Xxxxxx, X. Xxxxxxxxxx, and X. Xxxxxxxx. Towards a UTP Semantics for Modelica. In Proceedings of UTP 2016, Revised Selected Papers, volume 10134 of Lecture Notes in Computer Science, pages 44– 64. Springer, June 2017. [14] X. Xxxxxx and X. Xxxxxxxx. Towards Verification of Cyber-Physical Sys- tems with UTP and Isabelle/HOL, volume 10160 of Lecture Notes in Computer Science, pages 39–64. Springer, 2017.
Sample 1

Related to Formal Methods

  • Methods i. Brief description of the method used.

  • Accounting Methods Implement or adopt any change in its accounting principles, practices or methods, other than as may be required by GAAP.

  • Construction Methods No four course of brick-work, with three joints, shall exceed in height, when built, one inch more than the same bricks piles upon one another without mortar. The bricks are to be well soaked in water before use on works, in proper through so as to be thoroughly wet when layed. The Cessation of the bubbles through the water is an irldication of saturation being complete. For ensuring thorough soaking of the bricks every one or two bricklayers or more as necessary, shall be provided with tubs for use The wall of structures shall be carried up regularly in all cases 1` when the nature of the work will admit of it not leaving any part 915mm (3 feet) lower than another. Horizontal courses shalI be straight, level and even and faces of walls smooth and plumb. A straight edge and a plumb- xxx shall be used for constant checking during progress of the work. No brick-bats shall be permitted to be used except when necessary for obtaining the dimension of the different course or for obtaining the specified bond. All unfinished work must be raked back in course unless otherwise directed arid when new work is to be jointed to it the surface of unfinished work must be cleaned and wetted. The bricks shall be laid by placing sufficient mortar on the wall and forcing every brick into it in such a manner as to completely fill every joint with moratar whether at the bottom, side or end of the brick. The mortar to be used shall be that specified for the relevant schedule items and shall comply with the specification for the mortar specified. The bound used shall be English and shall be carried throughout the work. At all angles forming the junction of any two walls, the bricks shall, at each alternate course be carried into each of the respective walls, so as to thoroughly unite the work. V'Jhen the faces are to be plastered, the joints shall be well raked out before any plaster is laid on should the plaster from want of proper joint ranking detach and 7 fall off from the brick work, the contractor shall strip off the plaster bodily to the extent ordered by Superintending Engineer and shall re-do the work properly at his own expense. All requisite scaffolding shall be provided at the contractor's expense and shall be double i.e., must it have two sets of upright supports Care must be taken to ensure the safety of the work people and the contractor must comply with such instructions as the Superintending Engineer may issue to ensure such safety. The contractor will be entirely responsible for any damage or injuries to person or property resulting from ill-erected scaffolding, defective ladders, or otherwise arising out of his default in this respect. The brick work for the retaining wall shall proceed side by side with the depositing and compacting of earth between the retaining walls. At no time shall the brick-work be constructed more than 405mm (1'-4") above Y the compacted earth. In the retaining wall weep-holes shall be provided at suitable intervals as instructed during execution, with the inner surface of the weep-holed plastered 20mm (3/4") thick in cement mortar 1:4 crouched rock of grades in different layer shall be provided at the inner end of the weep-holes to prevent the choking of the weep-holes to have full drainage. No extra payment will be made for this and no deductions will be made for this in the brick-work.

  • Particular Methods of Procurement of Goods and Works International Competitive Bidding. Goods and works shall be procured under contracts awarded on the basis of International Competitive Bidding.

  • Alternative Resolution Methods Any time during the grievance process, by mutual consent, the parties may use alternative methods to resolve the dispute. If the parties agree to use alternative methods, the time frames in this Article are suspended. If the selected alternative method does not result in a resolution, the Union may return to the grievance process and the time frames resume. Any expenses and fees of alternative methods will be shared equally by the parties.

  • Payment Methods A. Except as otherwise provided by this Contract, the payment method will be one or more of the following:

  • Payment for Labor and Materials The Contractor agrees and binds itself to pay for all labor done, and for all the materials used in the construction of the work to be completed pursuant to this contract.

  • Other Methods of Procurement of Goods and Works The following table specifies the methods of procurement, other than International Competitive Bidding, which may be used for goods and works. The Procurement Plan shall specify the circumstances under which such methods may be used: Procurement Method

  • Time and Method of Payment Except as otherwise provided in Section 4.02, all amounts payable to any Funding Agent or Investor hereunder or with respect to the Series 2020-1 Class A-1 Advance Notes shall be made to the Administrative Agent for the benefit of the applicable Person, by wire transfer of immediately available funds in Dollars not later than 1:00 p.m. (New York City time) on the date due. The Administrative Agent will promptly, and in any event by 5:00 p.m. (New York City time) on the same Business Day as its receipt or deemed receipt of the same, distribute to the applicable Funding Agent for the benefit of the applicable Person, or upon the order of the applicable Funding Agent for the benefit of the applicable Person, its pro rata share (or other applicable share as provided herein) of such payment by wire transfer in like funds as received. Except as otherwise provided in Section 2.07 and Section 4.02, all amounts payable to the Swingline Lender or the L/C Provider hereunder or with respect to the Swingline Loans and L/C Obligations shall be made to or upon the order of the Swingline Lender or the L/C Provider, respectively, by wire transfer of immediately available funds in Dollars not later than 1:00 p.m. (New York City time) on the date due. Any funds received after that time will be deemed to have been received on the next Business Day. The Issuer’s obligations hereunder in respect of any amounts payable to any Investor shall be discharged to the extent funds are disbursed by the Issuer to the Administrative Agent as provided herein or by the Trustee or Paying Agent in accordance with Section 4.02 whether or not such funds are properly applied by the Administrative Agent or by the Trustee or Paying Agent. The Administrative Agent’s obligations hereunder in respect of any amounts payable to any Investor shall be discharged to the extent funds are disbursed by the Administrative Agent to the applicable Funding Agent as provided herein whether or not such funds are properly applied by such Funding Agent.

  • Particular Methods of Procurement of Goods Works and Services (other than Consultants’ Services)

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