Buscar
Mostrando ítems 1-10 de 36
A REACHABILITY TREE FOR STATECHARTS AND ANALYSIS OF SOME PROPERTIES
(Butterworth-heinemann Ltd, 1994-10-01)
Statecharts are an extension to finite state machines with capability for expressing hierarchical decomposition and parallelism. They also have a mechanism called history, to remember the last visit to a superstate. An ...
A REACHABILITY TREE FOR STATECHARTS AND ANALYSIS OF SOME PROPERTIES
(Butterworth-heinemann Ltd, 1994-10-01)
Statecharts are an extension to finite state machines with capability for expressing hierarchical decomposition and parallelism. They also have a mechanism called history, to remember the last visit to a superstate. An ...
Behavioral refinements of UML-statecharts
(UR. FI – INCO., 2010)
In [SV08] we have proposed a formalism for specifying the behavior of software product lines using UML-statecharts. Using an order relation among statecharts which represents when a statechart has a more complex structure ...
A REACHABILITY TREE FOR STATECHARTS AND ANALYSIS OF SOME PROPERTIES
(Butterworth-heinemann Ltd, 2014)
Uma investigação sobre o uso da UML Statechart para representar o comportamento de aplicações modeladas em Matlab/Simulink
(Universidade Federal de São CarlosBRUFSCarPrograma de Pós-Graduação em Ciência da Computação - PPGCC, 2011-12-13)
Embedded systems (ES) has become more important to everyday life due to technology advance and increasing application field. Engineers start ES development using tools like Matlab/Simulink. Usually, Simulink models are low ...
Estratégia para introdução de requisitos da norma UL1998 em modelos UML Statechart de sistemas embarcados
(Universidade Federal de São CarlosUFSCarPrograma de Pós-Graduação em Ciência da Computação - PPGCCCâmpus São Carlos, 2016-03-08)
Context: Operating in different contexts and segments, embedded systems (ESs) are increasingly present in everyday society. The ESs usually operate invisibly to the user but, even so, possible software failures cease to ...
Regras de Mapeamento e Heurísticas: uma estratégia para criar casos de teste a partir de C&L
(Universidade Federal de PernambucoUFPEBrasilPrograma de Pos Graduacao em Ciencia da Computacao, 2017)
HYBRID MODELING OF OPEN LOOP DC-DC CONVERTERS
(Universidad de TarapacáFacultad de Ingeniería, 2003)
Towards an automatic model transformation mechanism from UML state machines to DEVS models
(Centro Latinoamericano de Estudios en Informática, 2015)