Desenvolvimento De Software A Processos E Matodos
Mostrando 1-12 de 12 artigos, teses e dissertações.
-
1. Contratos formais para derivaÃÃo e verificaÃÃo de componentes paralelos. / Formal Contracts for Derivation and Verification of Parallel Componentes
A aplicaÃÃo de nuvens computacionais para oferecer serviÃos de ComputaÃÃo de Alto Desempenho (CAD) à um assunto bastante discutido no meio acadÃmico e industrial. Esta dissertaÃÃo està inserida no contexto do projeto de uma nuvem computacional para o desenvolvimento e execuÃÃo de aplicaÃÃes de CAD baseadas em componentes paralelos, doravante de
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 20/09/2012
-
2. Um processo para gestÃo de contratos de aquisiÃÃo de serviÃos de desenvolvimento de software na administraÃÃo pÃblica
A aquisiÃÃo de serviÃos de Tecnologia da InformaÃÃo (TI) pela AdministraÃÃo PÃblica (AP) se faz necessÃria para a melhoria do atendimento à sociedade e ao cidadÃo. Nos serviÃos de desenvolvimento de software sÃo necessÃrios mÃtodos de gerenciamento de seus processos. Para o setor pÃblico tambÃm se faz necessÃrio o atendimento a requisitos l
Publicado em: 2009
-
3. Mapeando CSP em UML-RT
A integraÃÃo de mÃtodos formais com notaÃÃes semi-formais visuais à uma tendÃncia em engenharia de software. MÃtodos formais apresentam uma semÃntica precisa e permitem verificaÃÃo de propriedades. No entanto, nÃo sÃo considerados intuitivos. Por outro lado, notaÃÃes semi-formais visuais, como UML, sÃo facilmente integradas no processo de des
Publicado em: 2008
-
4. U-TROPOS: uma proposta de processo unificado para apoiar o desenvolvimento de software orientado a agentes
Atualmente existe muita expectativa em relaÃÃo à tecnologia de agentes, que surge como um paradigma promissor para a engenharia de sistemas de software. Agentes sÃo importantes e Ãteis porque permitem um tratamento adequado do fluxo de controle de sistemas altamente distribuÃdos, oferecem um mecanismo que facilita o surgimento de comportamento emergent
Publicado em: 2008
-
5. Proevaluator: a software process evaluation tool / Proevaluator : Uma ferramenta para avaliaÃÃo de processos de software
No final da dÃcada de 60, foi identificado um fenÃmeno no desenvolvimento de software batizado de âCrise do Softwareâ. Grandes empresas e ÃrgÃos governamentais amargavam uma sÃrie de prejuÃzos na produÃÃo de sistemas informatizados, que na maioria das vezes, nÃo satisfaziam suas necessidades. Tudo porque o desenvolvimento de software era realizado
Publicado em: 2007
-
6. MIDAI: um mÃtodo para identificaÃÃo e definiÃÃo de aspectos iniciais.
A OrientaÃÃo a Aspectos - OA constitui um dos mais recentes paradigmas, capaz de reduzir ainda mais a complexidade do desenvolvimento de software, e trouxe novos desafios para a comunidade cientÃfica e tecnolÃgica de Engenharia de Software. Um desses desafios chamado Aspectos Iniciais - AI baseia-se na falta de uma sistemÃtica apropriada para auxiliar p
Publicado em: 2007
-
7. DiÃlogo e autoria: do desenvolvimento ao uso de sistemas de informaÃÃo / Dialogue and authorship: from development to use of information systems
Neste trabalho, propomos uma nova metÃfora para estudos sobre IHC (InteraÃÃo Humano-Computador) acerca dos processos de desenvolvimento de software: o dialogismo. Resgatamos do cÃrculo de Bakhtin a noÃÃo de autoria como acontecimento discursivo. Seu funcionamento complexo à fundado em prÃticas sÃcio-culturais e histÃricas, alÃm de ser parcialmente
Publicado em: 2007
-
8. MODELOG : model-oriented development with executable logical object generation
UML (Unified Modeling Language) transpÃs sua proposta inicial de servir como notaÃÃo visual para construir rascunhos de modelos de alto nÃvel para software orientado a objetos. Uma sÃrie de extensÃes para a linguagem e o escopo de suas aplicaÃÃes foram propostas com forte sinergia entre si, tais como OCL, XMI, ASL, MOF, perfis UML e diferentes propos
Publicado em: 2007
-
9. DefiniÃao e implementacÃo do sistema de tipos da linguagem Circus
A busca constante pelo desenvolvimento de sistemas de software com qualidade vem despertando o interesse das grandes empresas na aplicaÃÃo de tÃcnicas formais. Dentre as linguagens formais, existem aquelas prÃprias para a modelagem de dados complexos, tal como Z, e outras prÃprias para a modelagem de comunicaÃÃo e concorrÃncia, tal como CSP. Circus �
Publicado em: 2006
-
10. Uma estrutura para o plano de codificaÃÃo e testes no desenvolvimento evolutivo de software orientado a objetos.
Nos processos de desenvolvimento evolutivo de software orientado a objetos, tem-se dado pouca importÃncia ao controle da execuÃÃo das atividades de codificaÃÃo e testes. Nesses processos falta um planejamento adequado para a conduÃÃo dessas atividades. Este trabalho de pesquisa propÃe uma estrutura de plano de codificaÃÃo e testes em que a ordem de
Publicado em: 2004
-
11. DefiniÃÃo de um processo de mediÃÃo e anÃlise com base nos requisitos do CMMI
AtravÃs da utilizaÃÃo de mÃtricas, as atividades da engenharia de software podem ser quantificadas e calculadas como em outras Ãreas de engenharia. Embora sistemas de software sejam mais complicados de se medir, nÃo sÃo impossÃveis. A dificuldade em se alcanÃar a qualidade e o controle do desenvolvimento de software, haja vista que à um problema me
Publicado em: 2004
-
12. An Aspect-oriented Implementation Method
First, I thanks to God for giving me strength to keep going since undergraduate. To my mother and father that despite being 1000 km far from me had always supported me and my family in all the ways they could and I needed. To my daughter, Heloisa, my wife, Fernanda, my brothers AndrÂe and Ricardo, and my sister-in-law, Vanessa. To my advisor, for being so c
Publicado em: 2004