Duration calculus semantics for statecharts

Statecharts and Duration Calculus are two formalisms used in the development of reactive systems. Statecharts provide a powerful visual formalism to specify systems. Duration Calculus is a formal logic to specify and reason about temporal requeriments. In this work, we propose a description of state...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Sánchez, Marisa, Fillottrani, Pablo Rubén, Felder, Miguel
Formato: Objeto de conferencia
Lenguaje:Inglés
Publicado: 2002
Materias:
Ciencias Informáticas
Semantics
Theory of Computation
statecharts semantics
Duration Calculus
Statemate
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/23089
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata

Ejemplares similares

Ejemplares similares