Modüler Kontratlar Örnek Maddeleri

Modüler Kontratlar. Kontratları oluştururken modüler bir yaklaşım izlemek kodların karışıklığını azaltıp, okunabilirliğini arttırır. Bu du- rumda hataların ve açıkların daha kolay bir şekilde bulunmasını sağlar. Eğer her modülün nasıl davranacağını izole bir şekilde tanımlar ve kontrol ederseniz, sadece bütün kontratta olup biten yerine o kontratlar arasındaki ilişkileri ince- leyebilirsiniz. Aşağıdaki örnekte kontrat adresler arasında gönderilenin beklenen şekilde olup olmadığını görmek için Balances library kütüphanesinin move metodunu kullanır. Balances kütüphanesinin asla nefatif bir bakiye çıkar- madığı ya da bütün bakiyelerin toplamından overflow yaratmayacağı kolaylıkla doğrulanabilir ve bu durum kontratın yaşam süresi boyunca değişmez. pragma solidity >=0.5.0 <0.9.0; library Balances { function move(mapping(address => uint256) storage balances, address from, address to, ˓→ uint amount) internal { require(balances[from] >= amount); require(balances[to] + amount >= balances[to]); balances[from] -= amount; balances[to] += amount; } } contract Token { mapping(address => uint256) balances; using Balances for *; mapping(address => mapping (address => uint256)) allowed; event Transfer(address from, address to, uint amount); event Approval(address owner, address xxxxxxx, uint amount); function transfer(address to, uint amount) external returns (bool success) { balances.move(msg.sender, to, amount); emit Transfer(msg.sender, to, amount); return true; } function transferFrom(address from, address to, uint amount) external returns (bool␣ ˓→success) { require(allowed[from][msg.sender] >= amount); allowed[from][msg.sender] -= amount; balances.move(from, to, amount); emit Transfer(from, to, amount);

Related to Modüler Kontratlar

  • İLETİŞİM KURULACAK KİŞİ (bu teklif için) Adı Soyadı

  • ÜCRETLERİN GEÇERLİLİK SÜRESİ VE DEĞİŞİKLİK BİLDİRİMLERİ Ücret artışları sözleşme değişikliği niteliğinde olduğundan, 5464 sayılı Kanun düzenlemeleri gereğince hesap özeti ile tarafınıza bildirilecektir. Bu değişiklikler bildirimin yapıldığı döneme ilişkin son ödeme tarihinden itibaren hüküm ifade eder. Bildirimin ait olduğu döneme ilişkin son ödeme tarihinden sonra kartı kullanılmaya devam etmeniz halinde, Sözleşme'de meydana gelen değişiklikleri kabul ettiğiniz addolunur. İşbu Sözleşme'de yer alan ücretler, Türkiye İstatistik Kurumun'ca bir önceki yıl sonu itibariyle açıklanan yıllık tüketici fiyatları endeks artış oranında artırılabilir. Banka, ücret artışının yürürlüğe gireceği tarihten en az 30 gün önce yazılı olarak, kalıcı veri saklayıcısı yolu ile veya kaydı tutulan telefon vasıtasıyla Müşteri'ye bilgilendirme yapacaktır. Bu bildirim üzerine Müşterinin, kendisine bildirim yapıldığı tarihten itibaren 15 gün sonrasına kadar ürünün veya hizmetin kullanımından vazgeçme hakkı bulunmaktadır. Bu hakkın kullanılması halinde Müşteriden, ücret artışının yürürlüğe girdiği tarihten itibaren ilave ücret tahsil edilmeyecektir. Bu sürenin sonuna kadar vazgeçme hakkının kullanılmaması durumunda ise ücret artışı uygulanacaktır. Banka'nın vazgeçme hakkını kullanan Müşteriye uyuşmazlık konusu ürün veya hizmeti durdurma hakkı mevcuttur.

  • İsteklilerden tekliflerine açıklık getirilmesinin istenilmesi Değerlendirme Komitesinin talebi üzerine Sözleşme Makamı, tekliflerin incelenmesi, karşılaştırılması ve değerlendirilmesinde yararlanmak üzere net olmayan hususlarla ilgili isteklilerden tekliflerini açıklamalarını isteyebilir. Bu açıklama, hiçbir şekilde teklif fiyatında değişiklik yapılması veya ihale dosyasında yer alan şartlara uygun olmayan tekliflerin uygun hale getirilmesi amacıyla istenilemez ve bu sonucu doğuracak şekilde kullanılamaz. Sözleşme Makamının açıklama talebi ve isteklinin bu talebe vereceği cevaplar yazılı olacaktır. Değerlendirme Komitesinin kararı üzerine Sözleşme Makamı, gerekçelerini net bir şekilde belirterek, verilmiş olan bütün teklifleri reddetmekte ve ihaleyi iptal etmekte serbesttir. Sözleşme Makamı bütün tekliflerin reddedilmesi nedeniyle herhangi bir yükümlülük altına girmez. İptal, aşağıdaki durumlarda gerçekleşebilir: Teklif sürecinin başarısız olması, örn. Nitelik açısından ve mali açıdan değerli bir teklif gelmemesi ya da hiçbir teklif gelmemesi; Projenin ekonomik ya da teknik verilerinin temelden değişmesi; Teknik açıdan yeterli olan tüm tekliflerin sözleşme için ayrılan azami bütçeyi aşması (Sözleşme Makamının tekliflerin mali kaynakları aşması halinde aşan tutarı kendi ödemek istemesi durumu hariç); Süreçte bazı usulsüzlükler meydana gelmesi, özelikle bunların adil rekabeti engellemesi; İstisnai haller ya da mücbir sebeplerin, sözleşmenin normal şekilde ifasını imkânsız kılması. İhalenin iptal edilmesi halinde bu durum bütün isteklilere derhal bildirilir. İhale sürecinin iptal edilmesi durumunda, Sözleşme Makamı, tüm teklif sahiplerine durumu bildirecektir. Şayet ihale süreci, herhangi bir teklifin dış zarfı açılmadan iptal edilirse, açılmamış haldeki mühürlü zarflar, teklif sahiplerine iade edilecektir.

  • RİZİKONUN GERÇEKLEŞMESİ 1. Tazminat başvurusu için gereken bilgi ve belgelere ilişkin listeyi, poliçenin hazırlanmasını müteakip sigortacınızdan isteyiniz. 2. Rizikonun gerçekleşmesi durumunda 5 iş günü içinde gerekli bilgi ve belgelerle birlikte ön sayfada adres, telefonları yer alan sigortacıya başvuruda bulununuz. 3. Bildirim esnasında, sigortacı tarafından verilen talimatlar çerçevesinde hareket ediniz. 4. Rizikonun gerçekleşmesi hâlinde, tazminat ödeme borcu sigortacıya aittir.

  • Teslim, muayene ve kabul işlemlerine ilişkin şartlar 20.1. Bu işte kısmi kabul yapılmayacaktır. 20.2. Sözleşme konusu iş tamamlandığında Yüklenici, (işin/ilgili kısmın) teslim alınarak kabul işlemlerinin yapılması için bu talebini içeren bir dilekçe ile İdareye başvuracaktır. Bunun üzerine (yapılan iş/ilgili kısım), her türlü masrafı Yükleniciye ait olmak üzere Diyarbakır İl Milli Eğitim Müdürlüğü Destek Hizmetleri Şube Müdürlüğü adresinde ve başvuru yazısının İdareye ulaştığı tarihten itibaren 10 (On) iş günü içinde teslim alınır. Yüklenici, işin teslimi için sözleşme ve ekleri uyarınca üzerine düşen yükümlülükleri yerine getirmemesi nedeniyle oluşan zarardan sorumludur. Kontrol Teşkilatı ile Yüklenicinin, işin yapılmasına ilişkin olarak hizmetin ifa edildiği dönemler itibariyle birlikte tutacakları kayıtlar, işin o dönem içerisinde yapılan kısmının teslimi anlamına gelir. Ancak Yüklenici kayıt tutmaktan ve/veya tutulan kayıtları imzalamaktan imtina ederse Kontrol Teşkilatının kayıtları esas alınır ve bu kayıtların doğruluğu Yüklenici tarafından kabul edilmiş sayılır." 20.3. Teslim alınan işin muayene ve kabul işlemleri, "Hizmet Alımları Muayene ve Kabul Yönetmeliği" ile Hizmet İşleri Genel Şartnamesinde yer alan hükümlere göre işin kabule elverişli şekilde teslim edildiği tarihten itibaren 10 iş günü içinde yapılarak kesin hesap raporu çıkarılır.

  • Değerlendirme Komitesi notları Komisyon (Komite) üyelerinin doldurması için boş bırakılacaktır. Verilen bilgiler ve dokümanlar teklif edilen modelleri, varsa farklı seçenekleri açık olarak belirtmelidir. Teklif edilen özelliklerle istenen özelliklerin kıyaslaması komite üyeleri tarafından kolaylıkla yapılabilmelidir. Komite üyelerinin verilen teklifleri tam olarak anlamaları gerekmektedir. Yeterli açıklıkta bulunmayan teklifler Değerlendirme Komitesi tarafından reddedilebilir. Fiyat teklifi ayrı zarfa konmalı ve kapalı olarak Teknik Teklif ile birlikte teslim edilmelidir. Söz. Ek-4: Mali Teklif (İhale kapsamında tekliflerin sunulması aşamasında Mali Teklifler ayrı bir zarf içerisinde kapalı olarak sunulacaktır) Sözleşme başlığı : … … … … … … … … … Yayın referansı : … … … … … … … … … Xxxxxxxxxx adı : … … … … … … … … … 4 [Eğitim] [götürü bedel] Söz. Ek-5: Standart Formlar ve Diğer Gerekli Belgeler SOYADI İLK İSİM 2. İSİM 3. İSİM RESMİ ADRESİ POSTA KODU POSTA KUTUSU ŞEHİR ÜLKE T.C. KİMLİK NUMARASI VERGİ NUMARASI VERGİ DAİRESİ KİMLİK BELGESİ TÜRÜ: NÜFUS KAĞIDI EHLİYET PASAPORT KİMLİK BELGESİ NO: DOĞUM TARİHİ X X X X X X X X XXXXX XXXX- XX DOĞUM YERİ- ÜLKE TELEFON FAKS E-POSTA BU “TÜZEL KİŞİLİK BELGESİ” DOLDURULMALI VE KİMLİK BELGESİNİN OKUNUR BİR FOTOKOPİSİYLE BİRLİKTE VERİLMELİDİR. TARİH VE İMZA TÜZEL KİMLİK FORMU (Söz. EK: 5b) TÜRÜ STK (Sivil Toplum Kuruluşu) EVET HAYIR İSİM(LER) KISALTMA RESMİ ADRESİ POSTA KODU POSTA KUTUSU ŞEHİR ÜLKE VERGİ NUMARASI KAYIT YERİ KAYIT TARİHİ G G A Y Y Y Y Y KAYIT NUMARASI TELEFON FAKS E-POSTA Bu “Tüzel kişilik belgesi” doldurulmalı ve aşağıdakilerle birlikte verilmelidir: tüzel kişiliğin kuruluşuna dair karar, kararname veya kanunun bir kopyası eğer bu mümkün olmazsa, tüzel kişiliğin kuruluşunu belirten başka bir resmi doküman TARİH DAMGA YETKİLİ TEMSİLCİNİN ADI VE GÖREVİ İMZA TÜZEL KİMLİK FORMU (Söz. EK: 5b) TÜRÜ STK (Sivil Toplum Kuruluşu) EVET HAYIR İSİM(LER) KISALTMA GENEL MERKEZ RESMİ ADRESİ POSTA KODU POSTA KUTUSU ŞEHİR ÜLKE VERGİ NUMARASI KAYIT YERİ KAYIT TARİHİ G G A Y Y Y Y Y KAYIT NUMARASI TELEFON FAKS E-POSTA BU “TÜZEL KİŞİLİK BELGESİ” DOLDURULMALI VE AŞAĞIDAKİLERLE BİRLİKTE VERİLMELİDİR: SÖZLEŞME TARAFININ İSİM, ADRES VE ULUSAL OTORİTELER TARAFINDAN VERİLEN KAYIT NUMARASINI GÖSTEREN RESMİ DOKÜMANIN BİR KOPYASI (ÖRNEĞİN; RESMİ GAZETE, ŞİRKETLERİN KAYDI VB.) YUKARIDA DEĞİNİLEN RESMİ DOKÜMANDA BELİRTİLMEMİŞSE VE DE MÜMKÜNSE VERGİ KAYDININ BİR KOPYASI TARİH VE İMZA

  • Ödemeler ve geç ödemeye tahakkuk ettirilecek faiz Sözleşme Makamının geç ödeme yapması halinde Yüklenici, geç ödeme için son tarihin sona erdiği ayın ilk gününde uygulanan Türkiye Cumhuriyet Merkez Bankasının uyguladığı reeskont faizine 3 puan ilave ederek hesaplanacak nispette ödeme faizi talep edebilir. Geç ödeme faizi, ödeme son tarihi (dahil) ile Sözleşme Makamının hesabının borçlandırıldığı tarih (hariç) arasında geçen süre için geçerli olacaktır.

  • İşin yapılacağı yerin görülmesi 12.1. İşin yapılacağı yeri ve çevresini görmek, inceleme yapmak, teklifini hazırlamak ve taahhüde girmek için gerekli olabilecek tüm bilgileri temin etmek isteklinin sorumluluğundadır. İşyeri ve çevresinin görülmesiyle ilgili bütün masraflar istekliye aittir. 12.2. İstekli, işin yapılacağı yeri ve çevresini görmekle; işyerinin şekline ve mahiyetine, iklim şartlarına, işin gerçekleştirilebilmesi için yapılması gerekli çalışmaların ve kullanılacak malzemelerin miktar ve türü ile işyerine ulaşım ve şantiye kurmak için gerekli hususlarda maliyet ve zaman bakımından bilgi edinmiş; teklifini etkileyebilecek riskler, olağanüstü durumlar ve benzeri diğer unsurlara ilişkin gerekli her türlü bilgiyi almış sayılır. 12.3. İstekli veya temsilcilerinin işin yapılacağı yeri görmek istemesi halinde, işin gerçekleştirileceği binaya ve/veya araziye girilmesi için gerekli izinler İdare tarafından verilecektir. 12.4. Tekliflerin değerlendirilmesinde, isteklinin işin yapılacağı yeri incelediği ve teklifini buna göre hazırladığı kabul edilir.

  • Fesih Halinde Yapılacak İşlemler 36.6.1. Sözleşmenin 36.1, 36.2, 36.3, 36.5 maddelerine göre feshi halinde yükleniciler hakkında 1 (bir) yıldan az olmamak üzere 2 (iki) yıla kadar süreyle ihalelere katılmaktan yasaklama cezası verilir. Ayrıca sözleşmenin feshi nedeni ile idarenin uğradığı zarar ve ziyan yükleniciye tazmin ettirilir. Geri kalan işlerinin başka bir yükleniciye tamamlattırılmasından dolayı yüklenici hiçbir hak iddiasında bulunamaz. Yasaklama kararı Kamu İhale Kurumuna bildirilir. 36.6.2. Sözleşmenin feshi halinde, Yüklenici İşyerini terk eder. İdare tarafından istenilen malzemeleri, araçları, tüm evrak ve belgeleri, İş için yaptırdığı tasarım ve çizimleri, İdareye yazılı bir tutanakla teslim eder. Yüklenici, İşyerinin korunması ve alınması gereken güvenlik önlemleri konularında İdarenin vermiş olduğu makul talimatları derhal yerine getirir. Sözleşmenin feshi halinde, İdarenin İşi başka bir yükleniciye tamamlatması halinde, Yüklenicinin belgelerini kullanabilir. Bu durumda, Yüklenici herhangi bir hak iddia edemez. 36.6.3. İdare, Yüklenicinin İşyerindeki montaj malzemeleri ile geçici tesislerin teslim edileceği zamanı yazılı olarak bildirir. Bu ihbar üzerine, Yüklenici risk ve masrafları kendisine ait olmak üzere İşyerini terk eder. Yüklenicinin, İdareye ödemesi gereken bir tutar bulunması halinde, İdare söz konusu malzemeler ve geçici tesisleri bu tutarı karşılamak üzere satabilir ve varsa bakiye tutar Yükleniciye ödenir. 36.6.4. Fesih tarihi itibariyle İdare, Yüklenici tarafından yapılan veya teslim edilen mal miktarlarını, hata ve eksiklerinin giderilme masrafları ile Sözleşme gereğince Yükleniciye ödenmesi gereken değerleri tespit eder. 36.6.5. İdare, hata ve eksikler varsa, İdare tarafından yapılacak masraflar belirleninceye kadar Yükleniciye yapacağı ödemeleri durdurma hakkına sahiptir. 36.6.6. Sözleşmede hüküm olmayan hallerde, genel hükümlere göre işlem yapılır. 36.6.7. Sözleşmenin feshedilmesi halinde, Yüklenicinin kesin teminatı ve varsa ek kesin teminatı gelir kaydedilir. Gelir kaydedilen kesin teminat, Yüklenicinin borcuna mahsup edilemez. İdarenin uğradığı zarar ve ziyan yükleniciye tazmin ettirilir.

  • Fiyat farkı ödenmesi ve hesaplanması şartları 14.1. Yüklenici, gerek sözleşme süresi, gerekse uzatılan süre içinde, sözleşmenin tamamen ifasına kadar, vergi, resim, harç ve benzeri mali yükümlülüklerde artışa gidilmesi veya yeni mali yükümlülüklerin ihdası gibi nedenlerle fiyat farkı verilmesi talebinde bulunamaz. 14.2. Bu sözleşme kapsamında yapılacak işler için fiyat farkı hesaplanmayacaktır. Ancak, mücbir sebepler veya idareden kaynaklanan nedenlerle işin bitim tarihinin süre uzatımı verilmek suretiyle uzatılması halinde, yürürlükte bulunan fiyat farkına ilişkin esaslar dikkate alınarak fiyat farkı hesaplanacaktır. 14.3. Sözleşmede yer alan fiyat farkına ilişkin esas ve usullerde sözleşme imzalandıktan sonra değişiklik yapılamaz.