Uml Process
Mostrando 13-24 de 73 artigos, teses e dissertações.
-
13. Processo de desenvolvimento de planos automáticos para operação de satélites baseado na UML / Development process for automatically generated plans for satellites control based on UML
Um processo de desenvolvimento de planos de operação para satélites artificiais dividido em atividades com etapas muito bem definidas em termos de objetivos a alcançar e artefatos de software a gerar, podendo para isso adotar até mesmo técnicas de modelagem largamente utilizadas em sistemas comerciais, como a Linguagem de Modelagem Unificada (UML), é
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 25/08/2011
-
14. Obtenção de modelos executáveis de processo de software a partir da aplicação das regras de transformação entre modelos / Obtaining executable models of software process based on the application of transformation rules between models
Identificar um modelo de processo de software, que possa melhorar a qualidade e a produtividade do desenvolvimento de software em uma organização, não é uma tarefa simples e direta, já que a realização de experimentos em computação é uma tarefa que consome muito tempo, gerando muitas despesas. A computação pode fazer uso de processos de simulaç�
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 04/02/2011
-
15. Identifying extensions required by RUP (Rational Unified Process) to comply with CMM (Capability Maturity Model) levels 2 and 3
This paper describes an assessment of the Rational Unified Process (RUP) based on the Capability Maturity Model (CMM). For each key practice (KP) identified in each key process area (KPA) of CMM levels 2 and 3, the Rational Unified Process was assessed to determine whether it satisfied the KP or not. For each KPA, the percentage of the key practices supporte
Publicado em: 2011
-
16. Suporte automatizado para construção de modelos conceituais bem fundamentados
The adoption of ontologically well founded languages for building ontologies has acquiring more adopters, however its widespread use stumble on using difficulties by inexperienced modelers. This dissertation proposes a methodological guide to support the building of domain ontologies using the ontologically well founded language OntoUML. This guide through t
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 27/08/2010
-
17. Modelagem de processos de negócio: um comparativo entre BPMN e UML
Levando em consideração que toda organização possui um propósito, o qual envolve a prestação de serviços ou produção de mercadorias é necessário entender e estabelecer o conjunto de atividades necessárias para cumprir esta meta. Este conjunto de atividades é chamado de processo. A modelagem de processos mostra-se como oportunidade para melhorar
Publicado em: 2010
-
18. Enzimas pectinolíticas : seleção de linhagens fúngicas produtoras, caracterização e aplicação em processos da indústria de alimentos
In this work, fungus samples isolated from decomposing vegetables were tested with respect to their capacity of producing pectinases to be applied to the enzymatic treatment of apple and bilberry juices. Taking in account the secretion of endo-polygalacturonase (endo-PG), two isolates which were identified and named Aspergillus niger LB23 e Aspergillus fumig
Publicado em: 2010
-
19. Estudo e simulação de técnicas de controle de tráfego de grupo de elevadores usando automação industrial
Grupos de elevadores são normalmente encontrados em edifícios comerciais e seu controle pode ser feito de diversas formas, incluindo desde o simples atendimento da chamada de pavimento pelo elevador que esteja mais próximo até a seleção, por meio da avaliação de múltiplos critérios, daquele que apresente a maior aptidão para atender à chamada. Ne
Publicado em: 2010
-
20. Formalização de workflow nets utilizando lógica linear: análise qualitativa e quantitativa
This work presents a method for qualitative and quantitative analysis of WorkFlow nets based on the proof trees of linear logic, and an approach for the verification of workflow specifications in UML through the transformation of UML Activity Diagrams into WorkFlow nets. The qualitative analysis is concerned with the proof of soundness correctness criterion
Publicado em: 2009
-
21. Guides for CCS to UML-RT and UML-RT to CCS conversions.
CCS (Communicating and Concurrent Systems) is the process algebra to specify and verify concurrent and communicating systems. This work proposes a transformation guide of the CCS equations into to the UML-RT (Unified Modeling Language for Real-Time) model and a transformation guide of the UML-RT model into a set of CCS equations. The UML-RT model is a softwa
Publicado em: 2009
-
22. Uma abordagem arquitetural para o desenvolvimento rigoroso de sistemas confiáveis baseados em componentes / A rigorous architectural approach to development component-based software systems
The incorporation of fault tolerance into systems normally increases their complexity, which consequently makes their analysis more difficult. Moreover, the use of exception handling mechanisms to develop robust software systems in a non-systematic manner can be a source of many design faults. This thesis presents a rigorous and architecture-centric developm
Publicado em: 2009
-
23. Modelagem e anÃlise de especificaÃÃes de sistemas de tempo-real crÃticos com restriÃÃes de energia
Requirements analysis is a critical task in any Embedded Real-Time System (ERTS) project. Normally, these systems have stringent timing constraints that must be satisÂed for the correct functioning, since violation might be catastrophic, such as loss of human lives or large amount of Ânancial resources. In addition, there are systems where energy is anothe
Publicado em: 2009
-
24. A contribution to the minimization of the number of stubs during integration test of aspect-oriented programs / Uma contribuição para a minimização do número de stubs no teste de integração de programas orientados a aspectos
Aspect-oriented programming is an approach that uses principles of separation of concerns to improve the sofware modularization. Testing of aspect-oriented programs is a new challenge related to this approach. Two aspects and classes test order strategies to support integration testing of aspect-oriented programs are proposed in this thesis. The objective of
Publicado em: 2009