Software Architecture Specification
Mostrando 1-12 de 22 artigos, teses e dissertações.
-
1. GingaForAll: linha de Produtos do Middleware Ginga
Many challenges have been imposed on the middleware to support applications for digital TV because of the heterogeneity and resource constraints of execution platforms. In this scenario, the middleware must be highly configurable so that it can be customized to meet the requirements of applications and underlying platforms. This work aims to present the Ging
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 16/12/2010
-
2. 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
-
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. MDAONTO: um processo MDA de desenvolvimento de software com foco em ontologias
Model Driven Architecture (MDA) software development standard follows a set of guidelines, which can promote substantial benefits in design of a new system. In this sense, using tools of this paradigm and the automated generation code, in several programming languages, it is possible to augment productivity, lower cost and increase quality. Despite these ben
Publicado em: 2009
-
5. A software infrastructure to support component based software architecture construction / Uma infra-estrutura de software para apoiar a construção de arquiteturas de software baseadas em componentes
Component-based development (CBD) and architecture-centric development are two complementary approaches for developing software systems. CBD is based on the construction of systems using the integration of reusable software components. Software architecture centric development complements the CBD paradigm because it is responsible for the component integrati
Publicado em: 2007
-
6. 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
-
7. Transformação de modelos orientados a objetos em modelos de banco de dados objeto-relacional
In general, software systems implemented based on Object Oriented (OO) concepts persist their information in Relational Database (RDB) and more recently in Object Relational Database (ORDB), which support the OO paradigm concepts. Therefore, it is common to use OO Models for software system requirements specification whose information are persisted in ORDB.
Publicado em: 2007
-
8. Behavioural specification of middleware systems
The number of open specifications of middleware systems and middleware services is increasing. Despite their complexity, they are traditionally described through APIs (the operation signatures) and informal prose (the behaviour). This fact often leads to ambiguities, whilst making difficult a better understanding of what is actually described. In this paper,
Journal of the Brazilian Computer Society. Publicado em: 2006-09
-
9. InstantFAQ: uma ferramenta WEB para gestão de FAQ construida segundo a abordagem ADCOMP
The positive influence of the Web has motivated a demand of applications that combine navigation and interativity. These applications are each time more complex and need methods and technologies that aim at a development with quality and low cost. In this perspective, techniques of reuse combined with methods and technologies of the Component-Based Software
Publicado em: 2006
-
10. Um método para modelagem de controle de AMS usando redes de Petri virtuais / A modeling method for AMS control using virtual Petri Nets
An Automated Manufacturing System (AMS) is a production system where a discrete number of raws is processed and assembled by controlled machines and/or robots. Controlling AMS is a complex task, due to the several sub-systems that compose it and the need for attending strategic production issues and market. The AMS control complexity increases with the neces
Publicado em: 2006
-
11. LINDAX: UMA LINGUAGEM DE DESCRIÇÃO DE SISTEMAS DE COMUNICAÇÃO ADAPTÁVEIS / LINDAX.: A LANGUAGE FOR DESCRIBING ADAPTABLE COMMUNICATION SYSTEMS
It is increasingly noticeable, in the current telecommunications market, a trend towards using communication systems that allow rapid and cheap deployment of new services. In pursuit of network architectures that keep up with such trend, significant research has been carried out on programmable networks. This field is set to gain further impetus from develop
Publicado em: 2005
-
12. MERUSA: architecture oriented safety and usability requirements specification methodology. / MERUSA: metodologia de especificação de requisitos de usabilidade e segurança orientada para arquitetura.
Esta tese objetiva propor uma metodologia de especificação de requisitos de usabilidade e segurança orientada para arquitetura (MERUSA) aplicável a sistemas digitais de automação distribuídos e abertos. A estratégia utilizada para atingir esse objetivo consiste no desenvolvimento de uma metodologia focalizada nos processos de elicitação e análise
Publicado em: 2005