| German |
| has gloss | deu: Design by contract (kurz DbC; englisch Entwurf gemäß Vertrag) oder Programming by Contract ist ein Konzept aus dem Bereich der Softwareentwicklung. Ziel ist das reibungslose Zusammenspiel einzelner Programmmodule durch die Definition formaler „Verträge“ zur Verwendung von Schnittstellen, die über deren statische Definition hinausgehen. Entwickelt und eingeführt wurde es von Bertrand Meyer mit der Entwicklung der Programmiersprache Eiffel. |
| lexicalization | deu: Design by contract |
| Esperanto |
| has gloss | epo: Perkontrakta programado estas paradigmo kiu permesas fari komputilajn programojn pli sekuraj dank'al aldono de reguloj. |
| lexicalization | epo: Perkontrakta programado |
| Finnish |
| has gloss | fin: Sopimuspohjainen ohjelmointi on tietokoneohjelmistojen suunnittelutapa. Sen mukaan ohjelmistosuunnittelijoiden tulisi määritellä muodolliset, täsmälliset ja tarkistettavat rajapintamääritykset ohjelmistokomponenteille. Nämä määritykset laajentavat tavallisten abstraktien tietotyyppien määritelmää alkuehdoilla, loppuehdoilla ja invarianteilla. Näitä määrityksiä kutsutaan ”sopimuksiksi” konseptin käyttämän liike-elämän sopimusten ehtojen ja velvollisuuksien metaforan mukaan. |
| lexicalization | fin: Sopimuspohjainen ohjelmointi |
| French |
| has gloss | fra: La programmation par contrat est un paradigme de programmation dans lequel le déroulement des traitements est régi par des règles. Ces règles, appelées des assertions, forment un contrat qui précise les responsabilités entre le client et le fournisseur dun morceau de code logiciel. Cest une méthode de programmation semi-formelle dont le but principal est de réduire le nombre de bugs dans les programmes. |
| lexicalization | fra: programmation par contrat |
| Italian |
| has gloss | ita: Design by contract or DBC (in italiano, progettazione per contratto) è una metodologia per progettare il software. Prescrive che i progettisti di software debbano definire specifiche precise e verificabili delle interfacce dei componenti software, basandosi sulla teoria dei tipi di dati astratti e sulla metafora di un contratto legale. |
| lexicalization | ita: Design by contract |
| Japanese |
| has gloss | jpn: 契約プログラミング（けいやく— ;Programming By Contract）または契約による設計（Design By Contract）とは、プログラムコードの中にプログラムが満たすべき仕様についての記述を盛り込む事で設計の安全性を高める技法。プログラミング言語Eiffelで初めて導入された。"Design by Contract" の頭文字からとった DbC (でぃーびーしー) でよばれることが多い。 |
| lexicalization | jpn: 契約プログラミング |
| Polish |
| has gloss | pol: Programowanie kontraktowe (ang. Design by contract, DbC) – w programowaniu, metoda organizowania kodu źródłowego programu w taki sposób, aby wynikało z niego nie tylko jak program ma działać, ale też w jaki sposób zweryfikować poprawność działania konkretnych elementów programu (funkcje, struktury, klasy, moduły, itp.). Programowanie kontraktowe jest związane z programowaniem obiektowym. |
| lexicalization | pol: Programowanie kontraktowe |
| Portuguese |
| has gloss | por: Programação por contrato do inglês Design by contract(DbC) é um abordagem de desenvolvimento de software que prescreve que os desenvolvedores devem definir Métodos formais, especificações de interface precisas e verificáveis dos componentes de desenvolvimento de software, que acarreta na definição de Tipo Abstrato de Dados com pre-condições, pos-condições e constantes. Estas especificações são definidas como um "contrato", de acordo com os próprios conceitos de condições e obrigações dos contratos de negócio. |
| lexicalization | por: Programação por contrato |
| Russian |
| has gloss | rus: Контрактное программирование (Design by Contract (DbC), или Programming by Contract) — это метод проектирования программного обеспечения. Он предполагает, что проектировщик должен определить формальные, точные и верифицируемые спецификации интерфейсов для компонентов системы. Метод основан на идее абстрактных типов данных и является концептуальной метафорой контракта в бизнесе. Можно сказать, что это развитие теории абстрактных типов данных. |
| lexicalization | rus: Контрактное программирование |
| Slovak |
| has gloss | slk: Design by contract (DBC/DbC) alebo programming by contract (doslova približne "kontraktové programovanie"), je dizajnová metodológia pre vývoj počítačového softvéru. Vývojárom ukladá za povinnosť špecifikovať jasné rozhrania systémových komponentov na základe teórie abstraktných dátových typov a konceptuálnej metafory, ktorá vychádza z definície obchodného kontraktu - dohody. |
| lexicalization | slk: Design by contract |
| Castilian |
| has gloss | spa: Diseño por Contrato es una metodología para el diseño e implementación de aplicaciones y componentes popularizada por el lenguaje de programación Eiffel. Consiste en considerar los elementos de diseño como participantes de una relación similar al contrato de negocios. Así, se pueden diseñar los componentes asumiendo que se cumplirán ciertas condiciones de entrada (pre-condiciones), mientras que se deberán garantizar ciertas condiciones de salida (post-condiciones), así como la invariante de clase (propiedades que se mantienen invariantes a pesar del procesamiento realizado por el componente). |
| lexicalization | spa: Diseno por Contrato |
| lexicalization | spa: Diseño por Contrato |