Zone piétonnethumb|La rue du Gros-Horloge à Rouen, première voie piétonne de France. thumb|Rue du Petit-Champlain à Québec. Une zone piétonne, zone piétonnière, zone pour piétons, centre piétonnier, plateau piétonnier ou secteur piétonnier d'une ville est un ensemble de rues et de ruelles où la circulation est réservée aux piétons et souvent également aux cyclistes.
Piétonvignette|50px|Piéton en déplacement. Un piéton est une personne se déplaçant à pied, en marchant ou en courant, par opposition à celui qui utilise un véhicule : il s'agit donc d'un mode de transport dit « doux ». Sa vitesse est de l'ordre du mètre par seconde (soit : de 2,5 à pour un randonneur en condition moyenne et de 4 à en milieu urbain dense). Sur terrain plat, en dessous de 4 km/h, on parlera de marche normale de piéton, de 4 à 5 km/h de marche dynamique, entre 5 et 6 km/h de marche rapide et au-dessus de 6 km/h, de marche sportive.
Passage piétondroite|upright=1.5|vignette|Passage piéton à Burnaby en Colombie-Britannique (Canada). Un passage piéton (parfois appelé passage clouté, malgré la disparition des clous) est une partie de la route, aménagée afin de permettre aux piétons de circuler en sécurité sur la chaussée, généralement pour la traverser. Il est conçu pour maintenir les usagers groupés dans un espace visible par les automobilistes et où ils peuvent circuler ou traverser en toute sécurité vis-à-vis du trafic routier.
Type systemIn computer programming, a type system is a logical system comprising a set of rules that assigns a property called a type (for example, integer, floating point, string) to every "term" (a word, phrase, or other set of symbols). Usually the terms are various constructs of a computer program, such as variables, expressions, functions, or modules. A type system dictates the operations that can be performed on a term. For variables, the type system determines the allowed values of that term.
Marche à piedLa marche est un mode de locomotion naturel chez l'homme. Elle consiste en un déplacement en appui alternatif sur les pieds, en position debout et en ayant toujours au moins un point d'appui en contact avec le sol, sinon il s'agit de course. C'est un des principaux modes de déplacement, qui fait partie des modes dits « fatigants », « doux » ou « actifs », comme des moyens de transport tels que la bicyclette, la trottinette ou le patinage à roulettes, par opposition aux modes de transport motorisés parfois dits « passifs ».
Type (informatique)vignette|Présentation des principaux types de données. En programmation informatique, un type de donnée, ou simplement un type, définit la nature des valeurs que peut prendre une donnée, ainsi que les opérateurs qui peuvent lui être appliqués. La plupart des langages de programmation de haut niveau offrent des types de base correspondant aux données qui peuvent être traitées directement — à savoir : sans conversion ou formatage préalable — par le processeur.
Théorie des typesEn mathématiques, logique et informatique, une théorie des types est une classe de systèmes formels, dont certains peuvent servir d'alternatives à la théorie des ensembles comme fondation des mathématiques. Ils ont été historiquement introduits pour résoudre le paradoxe d'un axiome de compréhension non restreint. En théorie des types, il existe des types de base et des constructeurs (comme celui des fonctions ou encore celui du produit cartésien) qui permettent de créer de nouveaux types à partir de types préexistant.
Accessibilité piétonneIn urban planning, walkability is the accessibility of amenities by foot. It is based on the idea that urban spaces should be more than just transport corridors designed for maximum vehicle throughput. Instead, it should be relatively complete livable spaces that serve a variety of uses, users, and transportation modes and reduce the need for cars for travel. The term "walkability" was primarily invented in the 1960s due to Jane Jacobs' revolution in urban studies.
Espace publicvignette|Parc devant le Capitole de l'État du Colorado, espace public. vignette|Rue d'Amsterdam (Pays-Bas). vignette|Place à Hong Kong. L'espace public représente dans les sociétés humaines, en particulier urbaines, l'ensemble des espaces de passage et de rassemblement qui sont à l'usage de tous. Ils appartiennent soit à l'État (domaine public), soit à une entité juridique et morale de droit ou, exceptionnellement, au domaine privé.
Type dépendantEn Informatique et en Logique, un type dépendant est un type qui peut dépendre d'une valeur définie dans le langage typé. Les langages Agda et Gallina (de l'assistant de preuve Coq) sont des exemples de langages à type dépendant. Les types dépendants permettent par exemple de définir le type des listes à n éléments. Voici un exemple en Coq. Inductive Vect (A: Type): nat -> Type := | nil: Vect A 0 | cons (n: nat) (x: A) (t: Vect A n): Vect A (S n).
Exigence (ingénierie)Une est, dans le domaine de l'ingénierie, un besoin, une nécessité, une attente auquel un produit ou un service doit répondre ou une contrainte qu'il doit satisfaire. L'exigence peut être exprimée par une partie prenante (utilisateur, client, commercial, analyste de marchés, gestionnaire de produits, etc.) ou déterminée par les processus d'ingénierie et en particulier les activités d'études. L'approche commune à tous les domaines d'ingénierie est de définir les besoins, d'envisager des solutions, et de livrer la solution la plus appropriée.
Pedestrian scrambleA pedestrian scramble, also known as scramble intersection and scramble corner (Canada), 'X' Crossing (UK), diagonal crossing (US), scramble crossing (Japan), exclusive pedestrian interval, or Barnes Dance, is a type of traffic signal movement that temporarily stops all vehicular traffic, thereby allowing pedestrians to cross an intersection in every direction, including diagonally, at the same time. In Canada and the United States, It was first used in the late 1940s, but it later fell out of favor with traffic engineers there, as it increases delay for pedestrians and drivers.
Étalement urbainalt=|vignette|upright=1.7|Étalement urbain dans la banlieue de Paris en 2005 L’'étalement urbain' est la progression des surfaces urbanisées à la périphérie des villes. Cela concerne l'habitat, en grande partie des maisons individuelles, mais aussi de nombreuses entreprises qui nécessitent de grandes surfaces et parmi elles des centres commerciaux. Dans tous ces lieux desservis par la voiture individuelle, une part importante de l'espace utilisé est attribuée aux voies et aux stationnements enrobés, dont les nuisances ont été relevées.
Relation binaireEn mathématiques, une relation binaire entre deux ensembles E et F (ou simplement relation entre E et F) est définie par un sous-ensemble du produit cartésien E × F, soit une collection de couples dont la première composante est dans E et la seconde dans F. Cette collection est désignée par le graphe de la relation. Les composantes d'un couple appartenant au graphe d'une relation R sont dits en relation par R. Une relation binaire est parfois appelée correspondance entre les deux ensembles.
Géographie urbainealt=photographie d'habitations depuis un toit du Caire.|vignette|Un paysage urbain, au Caire. La géographie urbaine est une branche de la géographie humaine dont l'objet est l'étude géographique du phénomène urbain. C'est donc à la fois l'étude de l'organisation spatiale de la ville et de l'organisation des villes entre elles en réseaux urbains. Elle étudie donc des thèmes comme l'urbanisation, les paysages urbains, les réseaux urbains, la situation, le site d'une ville et la ségrégation des populations en son sein.
Sûreté du typageLa sûreté du typage est un principe permettant d'améliorer la qualité de la programmation. Dans les langages à typage statique, l'un des objectifs est d'intercepter les erreurs de type de données lors de la compilation. Un type peut être vu comme un ensemble de valeurs et un ensemble d'opérateurs. La programmation objet a introduit les notions d'objets, messages, classes, héritage. Il est tentant de faire coller les classes à des types.
Analyse des exigencesEn ingénierie des systèmes et en ingénierie logicielle, l'analyse des exigences comprend les tâches qui ont pour but de déterminer les exigences d'un système nouveau ou à modifier, en prenant en compte le conflit possible entre les exigences de diverses parties prenantes, telles que les utilisateurs. L'analyse des exigences est critique pour le succès d'un projet. Les interviews de parties prenantes sont une méthode communément employée dans l'analyse des exigences.
Business requirementsBusiness requirements, also known as stakeholder requirements specifications (StRS), describe the characteristics of a proposed system from the viewpoint of the system's end user like a CONOPS. Products, systems, software, and processes are ways of how to deliver, satisfy, or meet business requirements. Consequently, business requirements are often discussed in the context of developing or procuring software or other systems. Three main reasons for such discussions: A common practice is to refer to objectives, or expected benefits, as 'business requirements.
Requirements engineeringRequirements engineering (RE) is the process of defining, documenting, and maintaining requirements in the engineering design process. It is a common role in systems engineering and software engineering. The first use of the term requirements engineering was probably in 1964 in the conference paper "Maintenance, Maintainability, and System Requirements Engineering", but it did not come into general use until the late 1990s with the publication of an IEEE Computer Society tutorial in March 1997 and the establishment of a conference series on requirements engineering that has evolved into the International Requirements Engineering Conference.
Relation (mathématiques)Une relation entre objets mathématiques d'un certain domaine est une propriété qu'ont, ou non, entre eux certains de ces objets ; ainsi la relation d'ordre strict, notée « < », définie sur N l'ensemble des entiers naturels : 1 < 2 signifie que 1 est en relation avec 2 par cette relation, et on sait que 1 n'est pas en relation avec 0 par celle-ci. Une relation est très souvent une relation binaire, définie sur un ensemble comme la relation d'ordre strict sur N, ou entre deux ensembles.
