Theory of descriptionsThe theory of descriptions is the philosopher Bertrand Russell's most significant contribution to the philosophy of language. It is also known as Russell's theory of descriptions (commonly abbreviated as RTD). In short, Russell argued that the syntactic form of descriptions (phrases that took the form of "The aardvark" and "An aardvark") is misleading, as it does not correlate their logical and/or semantic architecture.
Management des opérationsLe management des opérations est un domaine du management dont le but est de superviser la conception et le contrôle du processus de production et la refonte des opérations commerciales dans la production de biens ou de services. Il implique la responsabilité de veiller à ce que les opérations commerciales soient efficaces, étant donné la présence de contraintes en termes d'utilisation de ressources. Ceci est généralement requis si une entreprise veut satisfaire les exigences du client.
Kit de développementUn kit de développement logiciel, aussi appelé trousse de développement logiciel, est un ensemble d'outils logiciels destinés aux développeurs, facilitant le développement d'un logiciel sur une plateforme donnée (par exemple, iOS, Android, BlackBerry 10, Symbian, Bada, Linux, OS X, Microsoft Windows). Un kit de développement logiciel, Software Development Kit (SDK) ou devkit en anglais, est conçu pour : un ou plusieurs langages de programmation; une ou plusieurs cibles (plateforme, jeux vidéo, etc.).
Programmation par contratLa programmation par contrat (en anglais, design by contract ou DBC) 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 d'un morceau de code logiciel. C'est une méthode de programmation semi-formelle dont le but principal est de réduire le nombre de bugs dans les programmes.
Description définieUne description définie est une expression de la forme le X, dans laquelle X est un nom commun ou une locution nominale décrivant un individu ou un objet déterminé, et un seul (par exemple, « le premier singe de l'espace » ou « le 42 président des États-Unis »). À la différence du nom propre, une description définie ne nomme pas un objet, mais affirme, selon Russell, qu'il existe un et un seul objet qui satisfait cette description. Russell a développé l'idée de description définie dans l'article On denoting (1905), en opposition à la philosophie du langage frégéenne.
Programmation pilotée par le comportementLa programmation pilotée par le comportement (en anglais behaviour-driven development ou BDD) est une méthode de programmation agile qui encourage la collaboration entre les développeurs, les ingénieurs qualité et les intervenants non techniques ou commerciaux participant à un projet logiciel. Il encourage les équipes à utiliser la conversation et les exemples concrets pour formaliser une compréhension commune de la façon dont l'application doit se comporter.
Public-domain softwarePublic-domain software is software that has been placed in the public domain, in other words, software for which there is absolutely no ownership such as copyright, trademark, or patent. Software in the public domain can be modified, distributed, or sold even without any attribution by anyone; this is unlike the common case of software under exclusive copyright, where licenses grant limited usage rights.
Object Process MethodologyObject process methodology (OPM) is a conceptual modeling language and methodology for capturing knowledge and designing systems, specified as ISO/PAS 19450. Based on a minimal universal ontology of stateful objects and processes that transform them, OPM can be used to formally specify the function, structure, and behavior of artificial and natural systems in a large variety of domains. OPM was conceived and developed by Dov Dori. The ideas underlying OPM were published for the first time in 1995.
Offer and acceptanceOffer and acceptance are generally recognised as essential requirements for the formation of a contract, and analysis of their operation is a traditional approach in contract law. The offer and acceptance formula, developed in the 19th century, identifies a moment of formation when the parties are . This classical approach to contract formation has been modified by developments in the law of estoppel, misleading conduct, misrepresentation, unjust enrichment, and power of acceptance.
Capability Maturity ModelLe Capability Maturity Model (CMM) (en français : modèle d'évolution des capacités) est une approche interdisciplinaire d'ingénierie des systèmes couvrant les compétences et processus techniques et managériaux. Il vise à rendre prévisibles les délais, coûts et qualité des projets, à l'origine des projets de développement logiciel. Le CMM a été créé à la demande du Département de la Défense des États-Unis par Watts Humphrey, du Software Engineering Institute de l'Université Carnegie-Mellon.
