Statecharts
Mostrando 1-12 de 25 artigos, teses e dissertações.
-
1. Tratamento de memória em modelos Markovianos especificados em Statecharts: abordagens por simulação e analítica
Statecharts representam graficamente sistemas reativos que respondem aos estímulos externos ou internos e mudam estados de um dado sistema. Statecharts estendem diagramas de estado com hierarquia, paralelismo e interdependência. Devido às suas características, eles foram adaptados para representar e tratar analiticamente modelos de desempenho (sistemas r
Gest. Prod.. Publicado em: 2012-12
-
2. SOLIMVA: A methodology for generating model-based test cases from natural language requirements and detecting incompleteness in software specifications / SOLIMVA: Uma metodologia para geração de casos de testes baseados em modelos a partir de requisitos em linguagem natural e detecção de não completude em especificações de software
Em maior ou menor extensão, a Linguagem Natural (LN) é ainda amplamente usada para elaborar especificações de requisitos de software ou outros artefatos criados para a documentação de requisitos. Entretanto, fornecimentos elaborados em LN apresentam ambiguidade, inconsistência e não completude. Esta tese de doutorado apresenta uma metodologia, SOLIMV
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 12/12/2011
-
3. DIAGRAM EDITOR DRIVEN BY METAMODELS / EDITOR DE DIAGRAMAS DIRIGIDO POR METAMODELOS
O uso de editores de diagramas tem se mostrado muito útil para a elaboração de soluções de design na área de Interação Humano-Computador. Eles facilitam o uso da linguagem e o controle sobre os seus elementos, evitando que o usuário utilize itens lexicais que não pertençam ao vocabulário da linguagem. Esses elementos estão definidos em um metamo
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 26/08/2011
-
4. Abordagem híbrida baseada em statecharts para verificação de sistema anti-skid de aeronaves.
O objetivo desse trabalho é utilizar uma abordagem híbrida baseada nas ferramentas Simulink e Stateflow para verificar contra um conjunto de requisitos de engenharia o modelo de um sistema de controle de freios de aplicação aeronáutica do tipo anti-blocante, ou simplesmente anti-skid. Sistemas híbridos no contexto dessa tese são sistemas dinâmicos ca
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 02/06/2010
-
5. Abordagem híbrida baseada em statecharts para verificação de sistema anti-skid de aeronaves.
O objetivo desse trabalho é utilizar uma abordagem híbrida baseada nas ferramentas Simulink e Stateflow para verificar contra um conjunto de requisitos de engenharia o modelo de um sistema de controle de freios de aplicação aeronáutica do tipo anti-blocante, ou simplesmente anti-skid. Sistemas híbridos no contexto dessa tese são sistemas dinâmicos ca
Publicado em: 2010
-
6. Test case generation for space area systems using test criteria for finite state machines / Geração de casos de teste para sistemas da área espacial usando critérios de teste para máquinas de estados finitos
Test case generation based on Finite State Machines (FSM) has been addressed for quite some time. Model-Based Testing has drawn attention from researchers and practitioners in test area. Several test criteria have been proposed in the literature in order to validate systems built according to some modeling formal technique, for example, the FSM. Through MEF
Publicado em: 2010
-
7. Metodologia para modelagem, validação e programação de controladores lógicos industriais usando statecharts básicos
Com o advento da informática industrial muitos esforços têm sido realizados para o desenvolvimento de notações e semânticas usadas para classificar e descrever diferentes tipos de sistemas, sobretudo na fase de modelagem. Tais esforços fornecem a infraestrutura necessária para a solução de alguns problemas reais de engenharia e a construção de si
Publicado em: 2009
-
8. Uma proposta de modelagem conceitual de sistemas dirigida por comportamento / A proposal of behavior-driven systems conceptual modeling
A Modelagem Orientada a Objetos (MOO) é o processo de construção de modelos de sistemas através da identificação e definição de um conjunto de objetos relacionados, que comportam-se e colaboram entre si conforme os requisitos estabelecidos para o sistema. Esta definição inclui os três aspectos ortogonais, ou dimensões, deste tipo de modelagem: a
Publicado em: 2009
-
9. WEB-PerformCharts: gerando casos de testes via web a partir de especificações em statecharts / WEB-PerformCharts: a web-based test case generator from statecharts modeling
Distributed development of software is an increasing approach where teams spread over a country or even over the world can work together in order to develop the product. Web appears as a valuable resource enabling the cooperative development of software by professionals geographically distant from each other. This dissertation proposes a web-based tool, WEBP
Publicado em: 2008
-
10. WEB-PerformCharts: a web-based test case generator from statecharts modeling / WEB-PerformCharts: gerando casos de testes via web a partir de especificações em statecharts
O desenvolvimento distribuído de software é uma realidade cada vez mais comum onde equipes espalhadas por um país ou mesmo pelo mundo podem trabalhar juntas no desenvolvimento de um produto. Nesse sentido, a utilização da internet é o recurso o qual possibilita o trabalho cooperativo entre profissionais geograficamente distantes. A presente dissertaç�
Publicado em: 2008
-
11. J-sdl: um framework para a simulação de especificações em sdl e geração automática de casos de teste
- The objective of tests in software is to detect faults before it can be released. Methods exist to generate test cases as long as the software behavior is represented as a Finite State Machine (FSM), for example: T, UIO, D e Switch Cover. Due to some limitations in FSM, it is necessary to investigate specification techniques that enable explicit representa
Publicado em: 2008
-
12. Modeli: um ambiente de geração de material didático na Web baseado na AIM-CID
Nos últimos anos, a área de educação vem passando por mudanças importantes em relação à introdução das tecnologias de informação e comunicação no processo de ensino e de aprendizagem. Como resultado dessas mudanças e dos esforços para aproveitar os benefícios dessas tecnologias, diversos sistemas ou ambientes virtuais de apoio à educação
Publicado em: 2008