Design by contractDesign by contract (DbC), also known as contract programming, programming by contract and design-by-contract programming, is an approach for designing software. It prescribes that software designers should define formal, precise and verifiable interface specifications for software components, which extend the ordinary definition of abstract data types with preconditions, postconditions and invariants. These specifications are referred to as "contracts", in accordance with a conceptual metaphor with the conditions and obligations of business contracts.
InventionAn invention is a unique or novel device, method, composition, idea or process. An invention may be an improvement upon a machine, product, or process for increasing efficiency or lowering cost. It may also be an entirely new concept. If an idea is unique enough either as a stand alone invention or as a significant improvement over the work of others, it can be patented. A patent, if granted, gives the inventor a proprietary interest in the patent over a specific period of time, which can be licensed for financial gain.
Scala (programming language)Scala (ˈskɑːlə ) is a strong statically typed high-level general-purpose programming language that supports both object-oriented programming and functional programming. Designed to be concise, many of Scala's design decisions are aimed to address criticisms of Java. Scala source code can be compiled to Java bytecode and run on a Java virtual machine (JVM). Scala can also be compiled to JavaScript to run in a browser, or directly to a native executable.
European Patent ConventionThe European Patent Convention (EPC), also known as the Convention on the Grant of European Patents of 5 October 1973, is a multilateral treaty instituting the European Patent Organisation and providing an autonomous legal system according to which European patents are granted. The term European patent is used to refer to patents granted under the European Patent Convention.
GermanyGermany, officially the Federal Republic of Germany, is a country in Central Europe. It is the second-most populous country in Europe after Russia, and the most populous member state of the European Union. Germany is situated between the Baltic and North seas to the north, and the Alps to the south. Its 16 constituent states are bordered by Denmark to the north, Poland and the Czech Republic to the east, Austria and Switzerland to the south, and France, Luxembourg, Belgium, and the Netherlands to the west.
West GermanyWest Germany (Westdeutschland) is the colloquial English term used to indicate the Federal Republic of Germany (FRG; Bundesrepublik Deutschland ˈbʊndəsʁepuˌbliːk ˈdɔʏtʃlant) between its formation on 23 May 1949 and the German reunification through the accession of East Germany on 3 October 1990. During the Cold War, the western portion of Germany and the associated territory of West Berlin were parts of the Western Bloc.
South KoreaSouth Korea, officially the Republic of Korea (ROK), is a country in East Asia. It constitutes the southern part of the Korean Peninsula and borders North Korea along the Korean Demilitarized Zone. The country's western border is formed by the Yellow Sea, while its eastern border is defined by the Sea of Japan. South Korea claims to be the sole legitimate government of the entire peninsula and adjacent islands. It has a population of 51.96 million, of which roughly half live in the Seoul Capital Area, the fourth most populous metropolitan area in the world.
Patent claimIn a patent or patent application, the claims define in technical terms the extent, i.e. the scope, of the protection conferred by a patent, or the protection sought in a patent application. In other words, the purpose of the claims is to define which subject-matter is protected by the patent (or sought to be protected by the patent application). This is termed as the "notice function" of a patent claim—to warn others of what they must not do if they are to avoid infringement liability.
Sufficiency of disclosureSufficiency of disclosure or enablement is a patent law requirement that a patent application disclose a claimed invention in sufficient detail so that the person skilled in the art could carry out that claimed invention. The requirement is fundamental to patent law: a monopoly is granted for a given period of time in exchange for a disclosure to the public how to make or practice the invention. The disclosure requirement lies at the heart and origin of patent law.
Vehicular automationVehicular automation involves the use of mechatronics, artificial intelligence, and multi-agent systems to assist the operator of a vehicle (car, aircraft, watercraft, or otherwise). These features and the vehicles employing them may be labeled as intelligent or smart. A vehicle using automation for difficult tasks, especially navigation, to ease but not entirely replace human input, may be referred to as semi-autonomous, whereas a vehicle relying solely on automation is called robotic or autonomous.
Turks in GermanyTurks in Germany, also referred to as German Turks and Turkish Germans (Türken in Deutschland/Deutschtürken; Almanya'da yaşayan Türkler/Almanya Türkleri), are ethnic Turkish people living in Germany. These terms are also used to refer to German-born individuals who are of full or partial Turkish ancestry. Whilst the majority of Turks arrived or originate from Turkey, there are also significant ethnic Turkish communities living in Germany who come from (or descend from) Southeastern Europe (i.e.
Inventive step and non-obviousnessThe inventive step and non-obviousness reflect a general patentability requirement present in most patent laws, according to which an invention should be sufficiently inventive—i.e., non-obvious—in order to be patented. In other words, "[the] nonobviousness principle asks whether the invention is an adequate distance beyond or above the state of the art". The expression "inventive step" is predominantly used in Europe, while the expression "non-obviousness" is predominantly used in United States patent law.
