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 material change in its accounting principles, practices or methods, other than as may be required by GAAP or any Governmental Entity.

  • 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.

  • Prohibited Methods and Procedures The Contractor and its agents, subcontractors, employees, and representatives, in the course of the performance of Products and Services under this Agreement, shall not specify, recommend, use, or permit the use of any system, method, plan, design, process, procedure, patent, or copyright which, if used, infringes upon a proprietary interest or necessitates the payment of any royalty, fee, or commission. The Contractor shall not use or permit the solicitation for or securing of any agreement or employment in connection with this Agreement upon an agreement or arrangement for payment, either directly or indirectly, of a commission, percentage, brokerage, or contingent fee. If Federal funds are used to pay the Contractor under this Agreement, no part of the money appropriated by any enactment of Congress shall, in the absence of express authorization by Congress, be used directly or indirectly to pay for any personal service, advertisement, telegram, telephone, letter, printed or written matter, or other device, intended or designed to influence in any manner a member of Congress, to favor or oppose, by vote or otherwise, any legislation or appropriation by Congress, whether before or after the introduction of any xxxx or resolution proposing such legislation or appropriation; but this shall not prevent officers or employees of the United States or of its departments or agencies from communicating to members of Congress on the request of any member or to Congress, through the proper official channels, requests for legislation or appropriations which they deem necessary for the efficient conduct of the public business. 18 U.S.C. § 1913 (2002).

  • Formal Discipline Continued unsatisfactory behaviors, or committing offenses of such serious nature that requires immediate expulsion from work, are subject to the formal discipline process. Formal discipline may consist of any one or combination of the following:

  • 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.

  • NETWORK INTERCONNECTION METHODS 64.1 This Section sets forth the terms and conditions for Network Interconnection Methods (NIMs) provided between CenturyLink and CLEC for the Interconnection Facilities established between the Parties’ networks. Additionally, this Section describes the physical architecture for the Interconnection of the Parties’ facilities and equipment required for the transmission and routing of Local Traffic, ISP-Bound Traffic, IntraLATA LEC Toll Traffic, VoIP-PSTN Traffic, Transit Traffic and Jointly Provided Switched Access Service Traffic.

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