Statecharts
Mostrando 13-24 de 25 artigos, teses e dissertações.
-
13. Geração de casos de teste para sistemas especificados em statecharts / Generation of test cases for systems specifield in statecharts
Devido à necessidade cada vez maior de automação presente em sistemas modernos, em diversas áreas inclusive críticas, atividades de teste se tornam cada vez mais imprescindíveis. A automação da geração de casos de testes é de alguma forma facilitada se o sistema em questão for representado por uma técnica formal que possa ser tratada computacion
Publicado em: 2005
-
14. Geração de casos de teste para sistemas especificados em statecharts / Generation of test cases for systems specifield in statecharts
Devido à necessidade cada vez maior de automação presente em sistemas modernos, em diversas áreas inclusive críticas, atividades de teste se tornam cada vez mais imprescindíveis. A automação da geração de casos de testes é de alguma forma facilitada se o sistema em questão for representado por uma técnica formal que possa ser tratada computacion
Publicado em: 2005
-
15. Distribution manager of the Xchart runtime environment in J2EE / Gerente de distribuição do ambiente Xchart em J2EE : sistemas reativos distribuidos na tecnologia Xchart
The aim of the current project is the development of the Distribution Manager of the Xchart runtime environment. The Xchart environment as defined by the Xchart technology is composed by a set of tools that supports the development of dialogue managers of user interfaces. The specification of these dialogue managers is modular and describes the concurrent ex
Publicado em: 2005
-
16. StateWebCharts : a formal notation for navigation modelling of Web applications / StateWebCharts : une notation formelle pour la modélisation de la navigation des applications Web
In spite of the apparent facility of build Web pages given by current visual environments, the development over the Word Wide Web is complex due to many factors such as the evolving nature of applications, the multidisciplinary nature of development team, the competitive points of views for the application and complexity of user requirements, and the unreali
Publicado em: 2004
-
17. Um modelo de hipertexto para apoio ao ensino mediado pela Web / A hypertext model to support Web-mediated teaching
There is an increasing demand for hypermedia applications based on the WWW (World Wide Web), known as Web Information Systems (WIS). These applications present specific requirements in addition to those of traditional software systems, thus fostering the need for investigating suitable models to support their development. In particular, systems for Distance
Publicado em: 2003
-
18. Validação de especificações de sistemas reativos: Definição e análise de critérios de teste. / Validation of the reactive systems specifications: definition and analysis of the testing criteria.
Reactive Systems are applied to several human activities and as failures in these systems may cause human or economical losses, it is required the use of high-quality software development processes that would lead to the production of high-quality products. This thesis investigates criteria for testing of Reactive Systemsbehavior specifications, specified ei
Publicado em: 2000
-
19. PROTEUM - RS/ST: uma ferramenta para apoiar a validação de especificações statecharts baseada na análise de mutantes.
Atividades de teste no desenvolvimento de sistemas Reativos são de grande relevância, bem como a disponibilidade de ferramentas que apóiem essas atividades, pois falhas nesses sistemas podem causar graves conseqüências econômicas e/ou sociais. A Análise de Mutantes tem sido explorada no teste de especificações do aspecto comportamental de Sistemas R
Publicado em: 1999
-
20. Statecharts: their use in specifying and dealing with performance models.
O objetivo do trabalho à mostrar que a ferramenta de especificaÃÃo Statecharts, criada para representar o comportamento de sistemas complexos que reagem a eventos, pode tambÃm ser utilizada para representar o comportamento dos modelos de desempenho. Um sistema complexo dado serà modelado usando as caracterÃsticas de Statecharts e atravÃs de uma reaÃ�
Publicado em: 1999
-
21. A method for object-oriented reverse engineering. / Um método para engenharia reversa orientada a objetos.
A method composed of four steps to conduct object oriented reverse engineering in systems developed using non object oriented technology is presented. This comprehensive, detailed method showing how to do reverse engineering is an advance to the state of the art as there are no published methods hitherto at this level of detail. The documentation produced by
Publicado em: 1996
-
22. Um ambiente de edição e simulação de estado-gramas
A Graphic Editor of Statecharts is presented. Statecharts are an extension of conventional state diagrams where the concepts of hierarchy, concurrency and communication have been added. We present a particular graphic interface which supports the specification of reactive systems by means of the statechart notation. At the end of an editting session we offer
Publicado em: 1992
-
23. Um processo de sintese de sistemas reativos
A Program generator appropriate to implement the complex reactive systems control is presented. This generation process consists in a synthesis of reactive systems from a statecharts-based specification. Statecharts are a broad extension of conventional state diagrams supporting the notion of hierarchy, concurrency and communication. This tool behaves like a
Publicado em: 1991
-
24. Computational insights into Caenorhabditis elegans vulval development
Studies of Caenorhabditis elegans vulval development provide a paradigm for pattern formation during animal development. The fates of the six vulval precursor cells are specified by the combined action of an inductive signal that activates the EGF receptor mitogen-activated PK signaling pathway (specifying a primary fate) and a lateral signal mediated by LIN
National Academy of Sciences.