Publication

Visual Programming of Fault-Tolerant Distributed Applications

Concepts associés (14)

Graph Chatbot

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Connectez-vous pour utiliser Chat avec Graph Search

Visual Basic .NET

Visual Basic .NET est un langage de programmation à la syntaxe similaire à celle de Visual Basic 6. VB.NET permet de développer en .NET via Visual Studio, sur les systèmes d'exploitation Windows (98, 2000, XP, Vista, 7, 8, 8.1, 10 et 11). Comme tout autre langage de la plateforme .NET, VB.NET est compilé vers le langage intermédiaire CIL. vignette|Capture d'écran de MonoDevelop L'IDE commun et incontournable de tous les langages .NET est Visual Studio.

Formal specification

In computer science, formal specifications are mathematically based techniques whose purpose are to help with the implementation of systems and software. They are used to describe a system, to analyze its behavior, and to aid in its design by verifying key properties of interest through rigorous and effective reasoning tools. These specifications are formal in the sense that they have a syntax, their semantics fall within one domain, and they are able to be used to infer useful information.

Vérification de modèles

thumb|308x308px|Principe du model checking. En informatique, la vérification de modèles, ou model checking en anglais, est le problème suivant : vérifier si le modèle d'un système (souvent informatique ou électronique) satisfait une propriété. Par exemple, on souhaite vérifier qu'un programme ne se bloque pas, qu'une variable n'est jamais nulle, etc. Généralement, la propriété est écrite dans un langage, souvent en logique temporelle. La vérification est généralement faite de manière automatique.

Microsoft Visual Studio Express

Microsoft Visual Studio Express est un ensemble d'environnements de développement intégrés gratuits, développé par Microsoft. Il s'agit d'une version allégée de Microsoft Visual Studio. L'idée de ces éditions « express » est, selon Microsoft, de fournir un environnement de développement facile à utiliser et à apprendre pour des jeunes ou des passionnés. La première version de Visual Studio Express (2005) est sortie le et était supposée n'être gratuite que pour un an (mis à part SQL Server 2005 Express Edition).