SCCharts - Language and Interactive Incremental Compilation

SCCharts - Language and Interactive Incremental Compilation
9,99€
  • Pagination : 484
  • EAN : 9783746083575
  • Protection numérique : Pas de protection

ebook

Achat immédiat, sans abonnement.

Le saviez vous ?

Lisez votre e-book sur ordinateur, tablette et mobile grâce aux applications :


Vivlio et Cultura
partenaires pour vos
lectures numériques
Tout est synchronisé
grâce à votre compte
Cultura
Une aide en ligne pour
vous accompagner

Coups de cœur Cultura

Tous les passeurs de culture peuvent partager leurs découvertes !
Tu as aimé ce produit ? Partage dès maintenant ton coup de coeur :

loader
loader
loader
loader
loader
loader
loader
loader

description

descriptif du fournisseur
Safety-critical systems are a subclass of reactive systems, a dominating class of computer systems. Such systems control airbags in cars, flaps of aircrafts, or pace makers. Software for these systems must be reliable. Hence, a language and tooling is needed that allows to build and maintain reliable software models. Furthermore, a reliable compiler is required to obtain decent machine-understandable and executable code from highly abstract models. This thesis presents SCCharts, a Statecharts-based visual and synchronous modeling language for specifying and designing safety-critical software systems and for deriving their implementations. http://www.sccharts.com
 
SCCharts - Language and Interactive Incremental Compilation

SCCharts - Language and Interactive Incremental Compilation


On vous recommande avec votre achat
SCCharts - Language and Interactive Incremental Compilation

SCCharts - Language and Interactive Incremental Compilation

9,99
+