Communicating Sequential Processes
Mostrando 1-9 de 9 artigos, teses e dissertações.
-
1. Estendendo CRefine para o suporte de táticas de refinamento
A utilização de aplicações de software cada vez mais complexas está exigindo um maior investimento no desenvolvimento de sistemas, garantindo uma melhor qualidade das aplicações. Diante desse contexto, novas técnicas estão sendo utilizadas na área de Engenharia de Software, tornado o processo de desenvolvimento mais eficaz. Destacam- se, co
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 07/10/2011
-
2. Um sistema de apoio a gerencia de redes locais
O fluxo de informações na sociedade moderna a crescente e mais intenso a cada dia. Cada vez mais as ferramentas de tratamento da informação ou seja, os computadores, necessitam interconexão de forma a proporcionar acesso a dados importantes e serviços especializados. Neste contexto, as redes de computadores agem como catalizadores do processo de dissem
Publicado em: 2010
-
3. Model checking underwater vehicles control architectures: a formal specification based approach. / Checagem de arquiteturas de controle de veículos submarinos: uma abordagem baseada em especificações formais.
The development of control architectures for Underwater Vehicles is a complex task. These control architectures might be chracterised by the following attributes: real-time, multitasking, concurrency, and distributed over communication networks. In this scenario, we have multiple processes running in parallel, possibly distributed, and engaging in communicat
Publicado em: 2009
-
4. Multi-SincronizaÃÃo em menssage sequence charts
Message Sequence Charts (MSC) is a visual trace language, extensively used in academy and industry, to describe the communication behavior of system components and their environment. The MSC syntax and semantics are now a standard defined by the International Telecommunication Union (ITU). The motivation for this work has originated from an eort to model sce
Publicado em: 2008
-
5. GeraÃÃo mecanizada de abstraÃÃes seguras para especificaÃÃes CSP
Com a crescente demanda por diminuiÃÃo de custos no desenvolvimento de software, hà a necessidade de que os programas possam ser construÃdos de acordo com uma especificaÃÃo concordante com os requisitos do cliente. Nesse sentido, a especificaÃÃo formal pode ser utilizada para representar os requisitos do sistema.Uma vez que a especificaÃÃo formal f
Publicado em: 2008
-
6. Um framework para coordenação do tratamento de exceções em sistemas tolerantes a falhas / A framework for exception handling coordination in fault-tolerant systems
The widespread scale adoption of computer networks and database management systems has contributed to the arising of complex information systems. Nowadays, these systems have become essential aspects in the everyday life, supporting business processes and indispensable enterprise services to society such as banking automation and telephony. The usage of comp
Publicado em: 2007
-
7. NLForSpec: Uma Ferramenta para GeraÃÃo de EspecificaÃÃes Formais a partir de Casos de Teste em Linguagem Natural
This work describes the NLForSpec, a Natural Language Processing tool to translate software test cases descriptions in English into a formal representation. NLForSpec is part of a larger project (CIn-Motorola BTC Test Research Project), which aims to automate test case generation, selection and evaluation for mobile phone applications. One of the projects ma
Publicado em: 2006
-
8. GeraÃÃo automÃtica de casos de teste CSP orientada por propÃsitos
O processo de desenvolvimento de software està sujeito a inserÃÃo de erros diversos cuja presenÃa compromete a qualidade final dos produtos de software. Teste à uma atividade dinÃmica e bastante custosa dentro das vÃrias empregadas pela Garantia da Qualidade de Software. O objetivo de teste à demonstrar que um comportamento especÃfico (cenÃrio) de
Publicado em: 2006
-
9. Proposta e implementação de um sistema de processamento paralelo para dinâmica molecular. / Proposal and implementation of a parallel processing system for molecular dynamics.
A method for parallelization of molecular dynamics simulations in distributed memory machines operating under the message-passing paradigm is proposed. Even though the analysis and implementation presented in this work were primarily restricted to the system model known as microcanonical emsemble of Lennard--Jones particles. the obtained system can easily be
Publicado em: 1993