Framework Reuse
Mostrando 13-24 de 54 artigos, teses e dissertações.
-
13. A prototype implementation of a distributed satisfiability modulo theories solver in the ToolBus framework
An increasing number of verification tools (e.g., software model-checkers) require the use of Satisfiability Modulo Theories (SMT) solvers to implement the back-ends for the automatic analysis of specifications and properties. The most prominent approach to build SMT solvers consists in integrating an efficient Boolean solver with decision procedures capable
Journal of the Brazilian Computer Society. Publicado em: 2008-03
-
14. Adaptability, reusability and variability in software systems for space on-board computing.
Software industry is currently moving towards automation of business processes and applications increasing architectural complexity and the dynamics of requirements change. This work proposes a novel software development process, called SPAREv that includes all todays critical innovations on four areas: Model-Driven Development (MDD); Systematic Reuse; Devel
Publicado em: 2008
-
15. Métodos empíricos para validação da reuse description language em instanciação de frameworks
Toda a instanciação de frameworks segue um processo, seja ele manual ou automatizado. Em um processo manual, um arquiteto ou desenvolvedor segue uma seqüencia de passos aleatórios com o objetivo de criar uma instância de determinado framework. Em um processo automatizado o arquiteto ou desenvolvedor utiliza uma ou mais ferramentas que sigam passos bem d
Publicado em: 2008
-
16. ADESCOU : Uma Abordagem para o desenvolvimento de software para computação ubíqua
This dissertation presents an approach to the software development in the Ubiquitous Computing, which instantiates the Rational Unified Process (RUP), based on Ontologies, Semantic Web Services, and Software Agents. Ontologies are employed to improve the description of the use context, enabling the applications to be context-aware. Semantic Web Services are
Publicado em: 2008
-
17. Sistemas de Ensino na WEB Baseados em Padrões Pedagógicos dando ênfase na Aprendizagem Significativa. / A web teaching system, based in pedagogical patterns giving emphasis in meaningful learning.
As Tecnologias da Informação e Comunicação (TICs) apresentam diversos cenários de aplicação no contexto educacional, criando a necessidade de modelos que permitam adaptar esses recursos tecnológicos numa prática pedagógica de ensino e aprendizagem. O uso da tecnologia na Educação a Distância (EAD) permite ao aluno ter uma flexibilidade com rela�
Publicado em: 2008
-
18. Aplicando senso comum na edição de objetos de aprendizagem
To prepare quality learning material that can provide meaningful learning, considering the students previous knowledge, the place where they live in and the culture they acquire along their lives, i.e. their common sense, is still a great challenge for learning process. Considering the context of e-learning, focusing on Distance Learning (DL), this challenge
Publicado em: 2008
-
19. UM ARCABOUCO PARA APLICAÇÕES DE ACESSO A SERVIÇOS DE MONITORAMENTO MULTI-DOMÍNIO / A FRAMEWORK FOR ACCESS APPLICATIONS TO MULTI-DOMAIN MONITORING SERVICES
Network performance measurements that cross different administrative domains are difficult to be obtained, due to use policy issues, security, etc. For these reasons, some national networks started efforts to allow the access to these types of measures, among them the Internet2, Géant2 and RNP. Given these efforts, it was created a document that defined and
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 19/12/2007
-
20. An integrated role-based approach for modeling, designing and implementing multi-agent systems
To facilitate the development of multi-agent systems and improve the reusability, robustness and feasibility of these systems, we have developed a role-based agent development framework (RADE). In this paper, we present an integrated approach for modeling, designing and implementing multi-agent systems using RADE. We describe the design of agents and motivat
Journal of the Brazilian Computer Society. Publicado em: 2007-12
-
21. G-FRAMEWORKS: UMA ABORDAGEM PARA A REUTILIZAÇÃO DE LEIS DE INTERAÇÃO EM SISTEMAS MULTIAGENTES ABERTOS / G-FRAMEWORKS: AN APPROACH TO PROMOTE THE REUSE OF INTERACTION LAWS IN OPEN MULTI-AGENTS SYSTEMS
One of the challenges of software development is to produce applications that are designed to evolve, reducing maintenance efforts. Many techniques developed to govern the interaction laws in open multi- agent systems were proposed, but the flexibility and reuse concerns of interaction laws were not systemically fulfilled by them. The technology of g- framew
Publicado em: 2007
-
22. AFR : uma abordagem para a sistematização do reúso de frameworks orientados a aspectos
Frameworks orientados a objetos são muito utilizados atualmente pela sua capacidade de gerar sistemas inteiros de forma muito rápida, por um processo de reúso também chamado de instanciação. Esse processo geralmente não é trivial, sendo necessária a sua documentação para a correta criação de aplicações. A programação orientada a aspectos int
Publicado em: 2007
-
23. Linha de produtos de software no processo de geração de sistemas Web de apoio a gestão de fomento de projetos
Currently, one of the public administration challenges is meet more eciently, fast and satisfactory rising and dierentiated demands stemming of society. Governments have been pressured to provide more eciency in the implementation of public resource, greater eectiveness in the expected results of services and social programs, and providing information and se
Publicado em: 2007
-
24. Application of model weaving in model transformation in MDA. / Aplicação da técnica de tecelagem de modelos na transformação de modelos na MDA.
One of the main activities of the model-centric approaches of software development, as for example the Model Driven Architecture (MDA), is the process of model transformation. Usually, a preliminary step for model transformation is the mapping of source metamodel elements into target metamodel elements. This work presents an application of a technique for mo
Publicado em: 2007