Insbesondere wurde dabei ermittelt, welche Sprachen eine systemunabhängige Komponentenbeschreibung erlauben.
Ein formales Modell zur Beschreibung des Komponentenverhaltens wurde entwickelt, welches durch eine einfache Transformation auf eine Kripke-Struktur abgebildet werden kann.
Dies ergibt eine formale Basis mit Schlussregeln zur Herleitung von Systemeigenschaften aus Komponenteneigenschaften.
www11.informatik.uni-erlangen.deIn particular, it was investigated whether the languages considered allow a system-independent component description.
A formal model for describing component behaviour was successively developed, allowing to be mapped to a Kripke structure by simple transformation.
This yields a formal basis with deduction rules for the derivation of system properties from component properties.
www11.informatik.uni-erlangen.deOvde možete ostaviti obaveštenje o greškama u ovom unosu ili predloge za poboljšanja:
Kako funkcioniše izvoz u trener vokabulara?
Lista sa vokabularom nalazi se samo u veb-brauzeru. Nakon izvoza vokabulara u trener, ona će biti svuda dostupna.