Andere Kunden interessierten sich auch für
![Toepassing van de automaattheorie op economische systemen]( "Toepassing van de automaattheorie op economische systemen")
Toepassing van de automaattheorie op economische systemen44,99 €![Logische Zeit @ Arbeit für die Modellierung und Analyse eingebetteter Systeme]( "Logische Zeit @ Arbeit für die Modellierung und Analyse eingebetteter Systeme")
Logische Zeit @ Arbeit für die Modellierung und Analyse eingebetteter Systeme37,90 €![Systemen voor prestatiebeoordeling voor bouwingenieurs en -managers]( "Systemen voor prestatiebeoordeling voor bouwingenieurs en -managers")
Systemen voor prestatiebeoordeling voor bouwingenieurs en -managers32,99 €![Numerieke modellering en controle van het gietproces van de gietvorm]( "Numerieke modellering en controle van het gietproces van de gietvorm")
Numerieke modellering en controle van het gietproces van de gietvorm25,99 €![Anatomie van de vraag in het internationaal toerisme]( "Anatomie van de vraag in het internationaal toerisme")
Anatomie van de vraag in het internationaal toerisme51,99 €![Evaluatie van de aanpassing van zirkoniumoxide kernen vervaardigd door CAD / CAM-systemen]( "Evaluatie van de aanpassing van zirkoniumoxide kernen vervaardigd door CAD / CAM-systemen")
Evaluatie van de aanpassing van zirkoniumoxide kernen vervaardigd door CAD / CAM-systemen32,99 €![De impact van ERP-investeringen op de prestaties van de organisatie]( "De impact van ERP-investeringen op de prestaties van de organisatie")
De impact van ERP-investeringen op de prestaties van de organisatie32,99 €
Logische tijd is een ontspannen vorm van tijd die wordt bevorderd door synchrone talen die functioneel, elastisch (kan worden geabstraheerd of verfijnd) en veelvormig zijn. Al deze eigenschappen maken de logische tijd ook in de ontwerptijd adequaat, terwijl precieze fysieke tijdsaantekeningen alleen in latere na-synthesestadia van belang zouden moeten zijn. De Clock Constraint Specification Language (CCSL) is een concrete taal gewijd aan het modelleren en analyseren van logische tijdseigenschappen. CCSL werd in eerste instantie gedefinieerd als een begeleider van het tijdsmodel van het UML-profiel voor MARTE. Het is nu een volwaardige domeinspecifieke modelleertaal geworden voor het vastleggen van causale, chronologische en tijdsgebonden relaties. Het zou een aanvulling moeten zijn op andere syntactische modellen om hun onderliggende rekenmodel vast te leggen. Dit boek begint met het beschrijven van de historische modellen van gelijktijdigheid die de bouw van CCSL hebben geïnspireerd. Vervolgens wordt CCSL geïntroduceerd en gebruikt om bibliotheken te bouwen die gewijd zijn aan twee opkomende standaardmodellen uit de automotive (East-ADL) en de avionic (AADL) domeinen. Tot slot wordt een op waarnemers gebaseerde techniek gepresenteerd om Esterel- en VHDL-implementaties te verifiëren aan de hand van CCSL-specificaties.