MENÜ MENÜ
  • Sie verwenden einen veralteten Webbrowser, weshalb es zu Problemen mit der Darstellung kommen kann. Bei Problemen mit der Bestellabgabe können Sie gerne auch telefonisch bestellen unter: 01805 / 30 99 99 (0,14 €/Min., Mobil max. 0,42 €/Min.)

Langage de spécification par propriétés (Cours + TD)

Ouni:Langage de spécification par propr
Autor: Bouraoui Ouni
Verfügbarkeit: Auf Lager.
Artikelnummer: 1005666
ISBN / EAN: 9783639503180

Verfügbarkeit: sofort lieferbar

49,90
Inkl. MwSt. , zzgl. Versandkosten

Zusatzinformation

  • Autor:
  • Verlag: Éditions universitaires européennes
  • ISBN / EAN: 9783639503180
  • Bindung: Taschenbuch

Produktbeschreibung

PSL permet d'instancier d'une classe de langage informatique ayant pour but la description et la vérification formelle d'un système électronique. PSL est une représentation textuelle des propriétés temporelles des propriétés d'une conception. En comparant avec d'autres langages de programmation classiques, la syntaxe et la sémantique du PSL inclut notations des couches, dont chaque couche à sa propre syntaxe. L'objectif de ce livre est d'aider le lecteur à se familiariser au langage PSL. Ce livre est décomposé en deux parties. La première partie détaille les notions générales du langage PSL à savoir les couches et les instructions PSL. On a réservé un chapitre pour chaque couche. Chaque chapitre est bien équipé par des exemples ainsi que de chronogrammes "waves " de simulation. La deuxième partie "partie applicative" est réservée aux exercices. Cette partie à pour a pour objectif : -Adapter à coder en langage PSL -Ajouter les regèles de vérification -Simuler le code -Extraire les fautes éventuelles de conception -Voir les sources de ces fautes -Corriger les fautes éventuelles de conception

0 Kundenmeinungen

Bitte schreiben Sie uns Ihre Meinung zu: Langage de spécification par propriétés (Cours + TD)

  • Wenn Sie dieses Eingabefeld sehen sollten, lassen Sie es leer!

Sie könnten auch an folgenden Produkten interessiert sein