Cadre d'architectureUn cadre d'architecture est une spécification sur la façon d'organiser et de présenter une architecture de systèmes ou l'architecture informatique d'un organisme. Étant donné que les disciplines de l'architecture de systèmes et de l'architecture informatique sont très larges, et que la taille de ces systèmes peut être très grande, il peut en résulter des modèles très complexes. Afin de gérer cette complexité, il est avantageux de définir un cadre d'architecture par un ensemble standard de catégories de modèles (appelés “vues”) qui ont chacun un objectif spécifique.
Langage de spécificationUn langage de spécification est un Langage formel en Informatique utilisé pendant l'analyse systémique, l'analyse des exigences et la conception des systèmes pour décrire un système à un niveau beaucoup plus élevé qu'un langage de programmation, qui est utilisé pour produire un code exécutable pour un système. Les langages de spécification ne sont généralement pas exécutés directement. Ils sont destinés à décrire le quoi, pas le comment. En effet, il est considéré comme une erreur si une spécification d'exigence est encombrée de détail d'implémentation non nécessaire.
Logique non classiqueEn logique mathématique, les logiques non classiques sont des logiques formelles qui diffèrent de façon significative de la logique classique. L'adjectif « classique » a un sens normatif autrement dit , il qualifie ce qui est habituel. Les logiques classiques adoptent effectivement des principes usuels comme le tiers exclu, le principe d'explosion, le raisonnement par l'absurde, l'usage de tables de vérité, etc. Dans les logiques non classiques, on étudie des variations, par exemple en supprimant des principes, ou en ayant plus de deux valeurs de vérité.
Architecture description languageArchitecture description languages (ADLs) are used in several disciplines: system engineering, software engineering, and enterprise modelling and engineering. The system engineering community uses an architecture description language as a language and/or a conceptual model to describe and represent system architectures. The software engineering community uses an architecture description language as a computer language to create a description of a software architecture.
Architecture victorienneL'expression architecture victorienne renvoie à un grand nombre de styles architecturaux pratiqués au cours de l'ère victorienne (1837-1901). Style Queen Anne Néoclassicisme ( Neoclassical architecture) Néorenaissance (Tudor Revival, Jacobethan) Style néogothique (Gothic revival) Néoroman Style italianisant (Italianate architecture, Liberty ) Style Second Empire Painted Ladies Greek Revival C'est l'une des disciplines des arts décoratifs victoriens.
Architecture georgiennevignette|droite|Une maison de style georgien à Salisbury. Mot qui vient des quatre premiers monarques anglais de la Maison de Hanovre (George , George II, George III et George IV) qui régnèrent d' à , le terme architecture georgienne fait référence au style architectural des pays anglophones entre 1720 et 1840. vignette|droite|Un ancien Guildhall construit entre 1807 et 1811 à Dunfermline (Écosse). Le style georgien succède au style baroque anglais de Sir Christopher Wren, Sir John Vanbrugh, Thomas Archer, William Talman et Nicholas Hawksmoor.
Intersection (mathématiques)Dans la théorie des ensembles, l'intersection est une opération ensembliste qui porte le même nom que son résultat, à savoir l'ensemble des éléments appartenant à la fois aux deux opérandes : l'intersection de deux ensembles A et B est l'ensemble, noté , dit « A inter B », qui contient tous les éléments appartenant à la fois à A et à B, et seulement ceux-là. A et B sont disjoints si et seulement si est l'ensemble vide ∅. A est inclus dans B si et seulement si .
Geometry of interactionThe Geometry of Interaction (GoI) was introduced by Jean-Yves Girard shortly after his work on linear logic. In linear logic, proofs can be seen as various kinds of networks as opposed to the flat tree structures of sequent calculus. To distinguish the real proof nets from all the possible networks, Girard devised a criterion involving trips in the network. Trips can in fact be seen as some kind of operator acting on the proof.
Langage LadderLadder Diagram (LD) ou Langage Ladder ou schéma à contacts est un langage graphique très populaire auprès des automaticiens pour programmer les automates programmables industriels. Il ressemble un peu aux schémas électriques, et est facilement compréhensible. Ladder est le mot anglais pour échelle. L'idée initiale du Ladder est la représentation de fonction logique sous la forme de schémas électriques. Cette représentation est originellement matérielle : quand l'automate programmable industriel n'existait pas, les fonctions étaient réalisées par des câblages.
Histoire de l'architecture ottomanelien=//upload.wikimedia.org/wikipedia/commons/thumb/1/14/Exterior_of_Sultan_Ahmed_I_Mosque%2C_%28old_name_P1020390.jpg%29.jpg/300px-Exterior_of_Sultan_Ahmed_I_Mosque%2C_%28old_name_P1020390.jpg%29.jpg|vignette|300x300px| Mosquée bleue à Istanbul, un exemple du style classique de l'architecture ottomane, montrant l'influence byzantine. L'histoire de l'architecture ottomane relate l'évolution historique de l'architecture de l'empire ottoman, lequel a émergé dans le nord-ouest de l'Anatolie au XIIIe siècle.
